CPLEX中的可行性问题

Question

是否存在api来解决CPLEX中一组凸约束的可行性问题（是否存在可行点）。

Answer 1

是的，只是不要输入目标函数。 cplex将为您提供任何可以找到的解决方案或证明没有解决方案。

var x;
var y;
minimize 1;

subject to con1:
  x + y <= 6;
  x + y >= 7;

Answer 2

您可以简单地为所有约束添加松弛，并且只将成本函数中的松弛变量放入成本函数1.然后测试Cplex是否找到成本为0的解决方案。

Answer 3

一种简单的方法是添加一个空的目标函数。 例如，如果你使用.net的Concert，使用AddMinimize（）或AddMaximize（）而没有任何输入参数将完成这项工作。您还可以使用Populate（）方法填充任意数量的可行解决方案。

Aslo，你提到了凸约束。我认为cplex可以处理像log这样的函数，但我认为某些凸函数有些怪异，我不确定你是否可以将它们表达为cplex模型中的表达式。