您可以将您的问题表述为二进制整数程序，尽管它们通常是 NP 难的，但某些实例可以通过分支和切割算法非常快速地解决（如果问题是线性的）。如果您的问题是非线性的，那么 MINLP 求解器可以为您提供最佳答案。尽管如此，我必须说，如果你的问题特别难，最合适的方法将是元启发式。

我建议您尝试对问题进行线性或二次公式化，并尝试一些可用的 MILP/MIQP 求解器。如果您在此框架中制定问题时遇到问题，请查看一些线性编程/整数编程建模书籍或在此处发布问题。

这个问题可以搜索为（几乎多项式）n-SAT 算法的模拟，但目前没有这样的算法可用（或者如果 P <> NP 可能永远不会），所以像SA或GA这样的优化方法应该是根据您的要求的最佳选择

另外，有一种称为确定性退火（DA）的算法在许多情况下都表现得很好，也许检查一下