关于不等式优化的思路

版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/lifestxx/article/details/86621225

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

想法：

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

目标：

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

大致思路：

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

实现效率分析：

多项式时间，可以接受。