非线性规划
非线性规划与线性规划的主要区别在于：非线性规划的约束函数含有关于未知量的多次项。（例如二次方、三次方等）
我们可以使用@gin(x);来使得求解出来的x为整数（即要求x为整数解）
01规划
是指未知量的取值只能是 0 或 1 的规划问题，通常是线性规划。
举例：4项工作，分配4个人来做，每个人做每项工作的时间不同，每项工作只能由一个人来完成，每个人只能做一项工作，问最短时间。
那么我们可以用4*4个变量来线性规划它。
其实类似acm中的状态压缩
然后写出约束函数
式子代入lingo即可求解
学习来源
https://www.bilibili.com/video/av42873319?p=11