3
Tại sao không có thuật toán gần đúng cho SAT và các vấn đề quyết định khác?
Tôi có một vấn đề quyết định NP-đầy đủ. Đưa ra một ví dụ của vấn đề, tôi muốn thiết kế một thuật toán tạo ra CÓ, nếu vấn đề đó là khả thi, và, KHÔNG, ngược lại. (Tất nhiên, nếu thuật toán không tối ưu, nó sẽ mắc lỗi.) …