解決二叉平方優化問題的最佳解決方案是什麼？

Question

我必須解決二叉平方優化問題，即目標函數是二次的，約束是線性的，變量是二元的。我檢查了「quadprog」軟件包，但它似乎不是這個問題的正確選擇。

任何人都可以建議什麼是最好的包來解決二元二次方選擇？

Answer 1

您可以試試Microsoft Z3（比較Stack Overflow question 8506142）。