結果 : an algorithm for nonlinear optimization problems with binary variables