Каждый ли распознаваемый по Тьюрингу неразрешимый язык имеет NP-полное подмножество?

Каждый ли распознаваемый по Тьюрингу неразрешимый язык имеет NP-полное подмножество?

Этот вопрос можно рассматривать как более сильную версию того факта, что каждый бесконечный распознаваемый по Тьюрингу язык имеет бесконечное разрешимое подмножество.

Нет.

Неразрешимые неразрешимые по Тьюрингу языки могут быть унарными (определить$x \not\in L$ если $x = 0000\ldots 0$Таким образом, единственные сложные строки состоят исключительно из 0). Теорема Махани говорит, что ни один унарный язык не может быть NP-полным, если P = NP.