ภาษาที่ไม่ระบุชื่อทัวริงที่จำได้ทุกภาษามีเซตย่อย NP-complete หรือไม่?

ภาษาที่ไม่ระบุชื่อทัวริงที่จำได้ทุกภาษามีเซตย่อย NP-complete หรือไม่?

คำถามนี้ถูกมองว่าเป็นเวอร์ชั่นที่แข็งแกร่งกว่าของความจริงที่ว่าภาษาทัวริงที่จดจำไม่ จำกัด ทุกภาษามีเซตย่อยที่ไม่ จำกัด

เลขที่

ทัวริง-รู้จักภาษา undecidable สามารถเอก (กำหนด$x \not\in L$ เว้นแต่ $x = 0000\ldots 0$ดังนั้นสตริงยาก ๆ เท่านั้นที่ประกอบขึ้นเป็น 0 เท่านั้น) ทฤษฎีบทของมาห์นีย์กล่าวว่าไม่มีภาษาใดในเอกภาพที่สมบูรณ์แบบได้นอกจากว่า P = NP