Có phải mọi ngôn ngữ không thể nhận dạng Turing đều có một tập hợp con hoàn chỉnh NP không?

Có phải mọi ngôn ngữ không thể nhận dạng Turing đều có một tập hợp con hoàn chỉnh NP không?

Câu hỏi có thể được coi là một phiên bản mạnh mẽ hơn của thực tế là mọi ngôn ngữ có thể nhận biết Turing vô hạn đều có một tập hợp con có thể quyết định vô hạn.

Không.

Turing-dễ nhận biết ngôn ngữ undecidable có thể unary (xác định trừ khi x = 0000 ... 0 , do đó chuỗi chỉ khó khăn được cấu tạo hoàn toàn từ 0 của). Định lý của Mahaney nói rằng không có ngôn ngữ đơn nhất nào có thể hoàn thành NP trừ khi P = NP.$x \not\in L$$x = 0000\ldots 0$