結果 : binary decision variables linear programming