是否有整数编程竞争？

Question

是否有作为 sat 和 maxsat ？

Answer 1

有约束满足求解器的竞争。有些问题也可以很容易地翻译成IP求解器。请参阅例如，自2008年以来一年以来，请参阅例如 minizinc挑战在2008年或 xcsp竞赛。

Answer 2

没有竞争针对一般整数编程或混合整数编程的竞争，但是（或者是）基准测试，例如 miplib （linear）和 minlplib （非线性）。

有子集（PB，SAT，MAX-SAT）和约束编程的竞争，因为您和其他答案指出。您可以找到许多竞争（ dimacs挑战），例如）可以成为难题的问题制定为IP。

所以，为什么没有这样的比赛？我的个人猜测是它归结为：

• 实现复杂性。一个良好的整数编程求解器是巨大和复杂的。 SAT比赛等人们很有趣，因为许多（小）团队可以竞争和一些技巧可能会让你相当远。只有少数IP求解器，所有这些都是多年的工作。
• 太一般。有许多具有不同属性的IP实例。难以创建平衡的基准组。
• 成熟场。求助者大多是商业的，而且公司对组织或参与这样的比赛没有兴趣。

Answer 3

从2005 - 2012年有一个伪布尔求解竞赛，但（据我所知）从那以后就没有了。整数线性编程是伪布尔编程的子集。请参阅 2012竞赛页面，结果和链接到其他竞争结果。