Vì vậy, như đã biết, vấn đề quyết định 0-1 của ILP là hoàn thành NP. Hiển thị nó trong NP rất dễ dàng và mức giảm ban đầu là từ SAT; kể từ đó, nhiều vấn đề NP-Complete khác đã được chứng minh là có các công thức ILP (có chức năng giảm thiểu các vấn đề đó đối với ILP), bởi vì ILP rất chung chung hữu ích.
Việc giảm giá từ ILP có vẻ khó hơn nhiều đối với bản thân tôi hoặc theo dõi.
Vì vậy, câu hỏi của tôi là, có ai biết giảm đa thời gian từ ILP sang SAT không, nghĩa là, giải thích cách giải quyết bất kỳ vấn đề quyết định 0-1 ILP nào khi sử dụng SAT?