結果 : finite optimal solution linear programming