解决二进制二次优化问题的最佳方法是什么？

Question

我必须解决二元二次优化问题，即目标函数是二次的，约束是线性的，变量是二元的。我检查了“quadprog”软件包，但它似乎不是问题的正确选择。

任何人都可以建议解决Binary Quadratic opt的最佳解决方案吗？

Answer 1

您可以尝试Microsoft Z3（cf Stack Overflow question 8506142）。