結果 : binary linear programming problem