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$?
Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.Sign up to join this community