基于文献“二值优化中的互补性和持续性”的二值变量最小化的实现算法-Implements algorithms for minimizing functions of binary variables with unary and pairwise terms based on roof duality described in the following papers: Roof duality, complementation and persistency in qua