Một kỹ thuật tạo lập và phân tích các bài toán tối ưu hốác ràng buộc trong đó hàm mục tiêu là một hàm tuyến tính và được tối đa hoá hay tối thiểu hoá tuỳ thuộc và số lượng các bất đẳng thức ràng buộc tuyến tính