Là lớp NP đóng dưới bổ sung?


Câu trả lời:


6

Câu trả lời là "không biết đến khoa học". Được biết, P được đóng dưới bổ sung. Vì vậy, nếu P = NP thì NP cũng được đóng dưới bổ sung. Ngoài ra, nếu NP không được đóng dưới bổ sung, thì P! = NP.


3
Nghịch đảo của "Nếu P = NP, thì NP được đóng dưới phần bù" sẽ là "Nếu NP được đóng dưới phần bù, thì P = NP". Tuy nhiên, điều này không được biết là đúng: có thể NP bị đóng dưới bổ sung nhưng vẫn khác với P.
David Richerby

Cảm ơn đã sửa @DavidR Richby. Thay thế "Ngược lại" bằng "Ngoài ra".
joebloggs

15

Trước hết, câu hỏi bạn đang hỏi là mở, vì một câu trả lời khẳng định cho thấy rằng NP=coNP. Trong thực tế, nó là một trong những vấn đề mở nổi bật nhất trong khoa học máy tính.

Nếu P=NP, sau đó đến lớp NP được đóng dưới bổ sung kể từ khi PLà. Nếu mặt khácPNPsau đó chúng ta không thể nói liệuNP=coNPhay không. Thông báo rằngNP=coNPngụ ý rằng hệ thống phân cấp đa thức sụp đổ đến cấp độ đầu tiên. Tuy nhiên điều này sẽ không ngụ ý rằngP=NP.


-2

"Mọi lớp phức tạp xác định (DSPACE (f (n)), DTIME (f (n)) cho tất cả f (n)) được đóng dưới phần bù, bởi vì người ta có thể chỉ cần thêm một bước cuối cùng vào thuật toán đảo ngược câu trả lời. không hoạt động đối với các lớp phức tạp không xác định, bởi vì nếu tồn tại cả hai đường dẫn tính toán chấp nhận và đường dẫn từ chối và tất cả các đường dẫn đảo ngược câu trả lời của chúng, vẫn sẽ có các đường dẫn chấp nhận và đường dẫn từ chối - do đó, máy chấp nhận cả hai các trường hợp". Nguồn


2
Điều này chỉ cho thấy rằng một cách để chứng minh sự đóng cửa dưới sự bổ sung không hoạt động. Các cách khác có thể có thể - ví dụ, NL được đóng lại dưới sự bổ sung, và điều tương tự đối với nhiều lớp phức tạp không gian không xác định khác .
Yuval Filmus

1
Ngoài ra, chúng tôi đang tìm kiếm câu trả lời, không phải là bản sao từ Wikipedia. (Nhưng cảm ơn vì đã thừa nhận nguồn của bạn.)
David Richerby 16/11/18

-3

Nó là không rõ. Một bằng chứng về vấn đề P so với NP sẽ cho bạn câu trả lời.


4
Không, nó sẽ không. Nếu pNP (đó là điều mà các nhà lý thuyết phức tạp nhất tin tưởng), thì có thể là NP = coNP hoặc NPcoNP.
David Richerby
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.