結果 : binary integer programming problems