<?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="Complexity class - Page 39 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=complexity_class&amp;p=38">1.Previous</a><br />
<a accesskey="3" href="page.php?w=complexity_class&amp;p=40">3.Next</a>
</p>
<p>While there might seem to be an obvious difference between the class of problems that are efficiently solvable and the class of problems whose solutions are merely efficiently checkable, <b>P</b> and <b>NP</b> are actually at the center of one of the most famous unsolved problems in computer science: the <a href="page.php?w=P_versus_NP">'''P''' versus '''NP'''</a> problem. While it is known that  (intuitively, deterministic Turing machines are just a subclass of nondeterministic Turing machines that don't make use of their nondeterminism; or</p><p>
<a accesskey="1" href="page.php?w=complexity_class&amp;p=38">1.Previous</a><br />
<a accesskey="3" href="page.php?w=complexity_class&amp;p=40">3.Next</a>
</p>

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

</card>
</wml>
