均为个人笔记，欢迎纠错
一些名词
la linear arithmetic
lp linear programming
dp dynamic programming
LA/LP theory 的背景和基础知识
Syntax
注意，syntax 都是写死的，只有‘ + ’没有‘ - ’就是没有‘ - ’。
Complexity
on domain ration(Q): polynomial
on domain integer(Z), ILP: NPC
LA/LP theory 在 NP-Complete hard problems 方面的应用
n-queen puzzle
subset sum problem
knapsack problem
根据物品是否可重复选择，
分为 0-1 knapsack problem 和 complete knapsack problem；
0-1 knapsack problem 不可重复选择；
complete knapsack 可重复选择；
重量小于某值，价值最大；
linear regression
non-linear arithmetics 的应用
reason constraints on rational domain Q
利用有理数的性质，若 x 是有理数，则 x = p / q，q ≠ 0，且 p，q 均为正数。
比如，求解器 Z3 支持非线性但不支持有理数域，就可用该性质将解限定在有理数域。
LA/LP 相关算法的原理
-
Fourier-Motzkin variable elimination
-
Simplex
normal forms;
tableau;
trial and fix; -
Branch & Bound(B & B)
用于 ILP，比如要求解在整数域，已求得的解含有小数，就可以使用该算法。 -
Omega
没学，姑且记着有这么个玩意儿吧。