結果 : mixed integer linear programming np hard