<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Co-NP-complete - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=co-NP-complete&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=Computational_complexity_theory">complexity theory</a>, computational problems that are <b>co-NP-complete</b> are those that are the hardest problems in <a href="page.php?w=co-NP">co-NP</a>, in the sense that any problem in co-NP can be reformulated as a special case of any co-NP-complete problem with only polynomial overhead. If <a href="page.php?w=P_%28complexity%29">P</a> is different from co-NP, then all of the co-NP-complete problems are not solvable in polynomial time. If there exists a way to solve a co-NP-complete</p><p>
<a accesskey="3" href="page.php?w=co-NP-complete&amp;p=2">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
