Are there any “complete” languages in $coNP -NP$?
-
05-11-2019 - |
質問
Suppose $coNP \neq NP$
language B would be called "complete" in $coNP-NP$ if:
- $B\in coNP - NP$
- $A\in coNP-NP \implies A\leq_pB$
Are there any "complete" languages in $coNP - NP$?
正しい解決策はありません
所属していません cs.stackexchange