关于不等式优化的思路

对于不等式约束，可以化为图的遍历问题。

想法：

图中可能含有多个连通分支；图中可能有矛盾(如常量1<a<0,如变量闭环a<b<a)；

目标：

找出每个变量最近的常量，可能两端，可能一段，可能没有

大致思路：

化为连通分支，遍历强连通分支，对于起始点，遍历，合并。

实现效率分析：

多项式时间，可以接受。