3
$\begingroup$

Does the proof of the widely believed result P $\neq$ NP depend on the proof of NP $\neq$ Co-NP ?

$\endgroup$
1
  • $\begingroup$ Which proofs are you referring to? What do you mean by depending? $\endgroup$
    – Kaveh
    Jan 10, 2013 at 2:44

1 Answer 1

10
$\begingroup$

Only in one direction. As $\mathsf{P}=\text{co-}\mathsf{P}$, if $\mathsf{NP}\neq\text{co-}\mathsf{NP}$ then we would know that $\mathsf{P}\neq\mathsf{NP}$. However the reverse implication doesn't hold. If $\mathsf{P}\neq\mathsf{NP}$ then it's possible that either $\mathsf{NP}\neq\text{co-}\mathsf{NP}$ or $\mathsf{NP}=\text{co-}\mathsf{NP}$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.