我有以下问题：使用CPLEX，我解决了类似TSP的结构。显然，我在线性松弛上使用分支定界。对于子树消除，我随后添加约束。 对我来说，找到最好的解决方案并不重要，但是解决方案S可以证明比另一个解决方案S'更好。因此，S必须满足小数消除，但我不需要所有（整数）变量实际上是整数。 （我执行此操作几次，最后，我将有一个全整数解决方案，但在之前的迭代中，足以使用小数消除并且所有变量a，但不是x，都是整数）。 我仍然有问题来制定正确的Stackoverflow或Google查询，我希望有人在这里明白我的意思，并指出我正确的方向。 谢谢:)）
改进示例： 我正在研究一个有竞争力的盈利旅游问题，即图中的顶点与收入相关联。然而，收入取决于竞争对手是否也访问了相同的位置（然后，收入平均分配）。我（最佳地）计算了针对我竞争对手的策略Sj的战略Si，但我的竞争对手现在将他的策略改为S'j。我可以很容易地计算出Si对S'j的利润，但我不能保证没有其他策略更好。因此，一旦我发现收益高于Si的策略S'i（可能没有修复所有路由变量），我想停止分支定界。