Turing tarafından tanınan her kararsız dilde NP tam bir alt küme var mı?

Turing tarafından tanınan her kararsız dilde NP tam bir alt küme var mı?

Soru, Turing tarafından tanınan her sonsuz dilin sonsuz, karar verilebilir bir alt kümesine sahip olmasının daha güçlü bir versiyonu olarak görülebilir.

Hayır.

Turing tarafından tanınabilen kararsız diller tekli olabilir (tanımlayın$x \not\in L$ olmadıkça $x = 0000\ldots 0$, bu nedenle tek zor dize yalnızca 0'lardan oluşur). Mahaney teoremi, P = NP olmadığı sürece hiçbir tek dilin NP tam olamaz.