If $\textrm{coNP}^{\textrm{NP}}=\textrm{coNP}^{L}$ for $L\in\textrm{NP}$, then does that make $L$ NP-complete?
$\begingroup$
$\endgroup$
2
-
1$\begingroup$ No. ${}{}{}{}{}$ $\endgroup$– Emil JeřábekCommented Oct 6 at 6:44
-
$\begingroup$ Would you please elaborate @EmilJeřábek? Is there an example of some L, known or suspected to not be NP-complete, for which this holds? $\endgroup$– RincewindCommented Oct 6 at 18:06
Add a comment
|