每种图灵可识别的不确定语言是否都有一个NP完全子集？

每种图灵可识别的不确定语言是否都有一个NP完全子集？

这个问题可以看作是以下事实的更强版本：每个图灵可识别的无限语言都有一个无限可判定的子集。

没有。

图灵可识别的不确定语言可以是一元语言（定义$x \not\in L$ 除非 $x = 0000\ldots 0$，因此唯一的困难字符串仅由0组成）。马哈尼定理说，除非P = NP，否则一元语言不可能是NP完全的。