Vấn đề của tôi là tìm tất cả các giải pháp số nguyên cho ILP. Ví dụ, tôi đang sử dụng ILP với hai biến, nhưng tôi có thể có nhiều hơn hai biến. Tôi mô tả phương pháp tôi hiện đang sử dụng để giải quyết vấn đề này gần cuối, nhưng tôi muốn biết liệu có một thuật toán hoặc phương pháp phù hợp và hiệu quả để giải quyết loại vấn đề này không.
Không có chức năng khách quan, nhưng các ràng buộc cho ILP này là
Vì ILP này có hai biến, tôi có thể kiểm tra trực quan vùng giải pháp bằng cách vẽ đồ thị các đường được hình thành bởi các ràng buộc, đó là
Bằng cách kiểm tra, có 6 giải pháp số nguyên cho : .
Tuy nhiên, phương pháp hiện tại của tôi là sử dụng lập trình tuyến tính với sự thoải mái không âm và các số nguyên từ nhánh và cắt. Tôi đã cố gắng sử dụng một bộ bốn chức năng mục tiêu: giảm thiểu , tối đa hóa , giảm thiểu , và tối đa hóa . Chúng cung cấp cho một khu vực tìm kiếm nhỏ hơn như
Sau đó tôi lặp lại tất cả các bộ số nguyên hợp lệ trong vùng nhỏ hơn đó và lọc nó cho các bộ dữ liệu thỏa mãn các ràng buộc ban đầu. Các bộ dữ liệu còn lại là tất cả các giải pháp số nguyên hợp lệ.