Xác minh sự tinh tế của bằng chứng ban đầu của Karp rằng SAT có thời gian đa thức giảm xuống còn 3SAT


8

Nói ngắn gọn, câu hỏi của tôi là: bằng chứng ban đầu của Karp có giảm SAT xuống 3SAT không cần thiết không? Cac chi tiêt như sau.

Trong bài viết về khả năng giảm thiểu trong số các vấn đề kết hợp năm 1972 , Karp đã chứng minh rằng SAT giảm xuống còn 3SAT bằng cách nêu:

Thay thế một khoản , nơi σ i là literals và m > 3 , bởi ( σ 1σ 2u 1 ) ( σ 3... σ mˉ u 1 ) ( ˉ σ 3u 1 ) ... ( ˉ σ muσ1σ2σmσim>3 trong đó u 1 là một biến mới. Lặp lại chuyển đổi này cho đến khi không có mệnh đề nào có nhiều hơn ba chữ.

(σ1σ2u1)(σ3σmu¯1)(σ¯3u1)(σ¯mu1),
u1

Dường như với tôi rằng các mệnh đề cuối cùng (tức là các mệnh đề chứa hai chữ) ở đây là không cần thiết. Vì vậy, việc xây dựng là chính xác như bằng văn bản nhưng nó là công phu hơn cần thiết. Không có các mệnh đề 2 chữ, chúng ta có được cấu trúc thường được đưa ra trong sách giáo khoa đại học. Điều này có đúng không, hay tôi đang thiếu một cái gì đó rõ ràng? Tôi cảm thấy vô cùng không chắc chắn về bản thân mình khi cho rằng bất cứ điều gì được Karp thực hiện đều có thể được thể hiện một cách thanh lịch hơn.m2

Câu trả lời:


9

(σ1σ2u1)(σ3σmu¯1)σiu1σiu1u¯1

u1σ3σm


Cảm ơn câu trả lời hữu ích. Đọc lại để khuếch đại và kiểm tra sự hiểu biết của tôi, một cách khác để nói điều này là các mệnh đề bổ sung đảm bảo đây là sự giảm từ #SAT xuống # 3SAT (vì chúng bảo toàn số lượng giải pháp chứ không chỉ là sự tồn tại của các giải pháp).
John MacCormick
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.