一、syntax
举个栗子
二、Fourier-Motzkin variable elimination 傅里叶莫特金算法
傅里叶算法对于小规模等式/不等式比较有效
高中时，针对等式的变量消去，比如二元一次方程组，我们采用高斯消去，即变量替换
为了解决不等式问题，我们采用傅里叶算法
我们首先将不等式的符号方式一致，然后寻找一个变量，这个变量的正出现和负出现同时存在，我们采用两两相加进行消除
一般的形式解法总结
- 将所有的等式/不等式做正规化：使所有符号的方向相同；如果有常数，移到符号左侧；使右侧全部为0
- 寻找一个变量xi，正出现和负出现同时存在，将这个变量前面的系数都化为1；
- 然后将这些不等式两两相加，消去变量xi；
- 接着寻找下一个变量，重复上述操作；
举个栗子
三、Simplex
傅里叶算法对于小规模等式/不等式比较有效
Simplex最初是用于解决线性编程问题
Normal forms
对于Simplex我们也要对等式/不等式做正规化:
前面是n个等式，后面是n个不等式
举个栗子
1、、2、
3、
4、
5、