形式化複習六—Liner Arithmetics線性算術

一、syntax 舉個栗子 二、Fourier-Motzkin variable elimination 傅里葉莫特金算法 傅里葉算法對於小規模等式/不等式比較有效 高中時，針對等式的變量消去，比如二元一次方程組，我們採用高斯消去，即變量替換 爲了解決不等式問題，我們採用傅里葉算法 我們首先將不等式的符號方式一致，然後尋找一個變量，這個變量的正出現和負出現同時存在，我們採用兩兩相加進行消除 一般的

>>阅读原文<<