結果 : half space in linear programming