Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP?

Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP?

Pertanyaannya dapat dilihat sebagai versi yang lebih kuat dari fakta bahwa setiap bahasa yang dikenali Turing yang tak terbatas memiliki himpunan bagian yang tak terbatas.

Tidak.

Bahasa tak terduga yang dapat dikenali Turing dapat unary (tentukan kecuali , jadi satu-satunya string yang sulit hanya terdiri dari 0's). Teorema Mahaney mengatakan bahwa tidak ada bahasa unary dapat NP-lengkap kecuali P = NP.$x \not\in L$$x = 0000\ldots 0$