<?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="Exponential time hypothesis - Page 10 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=exponential_time_hypothesis&amp;p=9">1.Previous</a><br />
<a accesskey="3" href="page.php?w=exponential_time_hypothesis&amp;p=11">3.Next</a>
</p>
<p>time hypothesis is true, then there would be no algorithm for general CNF satisfiability that is significantly faster than a <a href="page.php?w=brute-force_search">brute-force search</a> over all possible <a href="page.php?w=truth_assignment">truth assignment</a>s. However, if the strong exponential time hypothesis fails, it would still be possible for  to equal one.{{r}}</p>

<p><big>Other search problems</big></p>
<p>The exponential time hypothesis implies that many other problems in the complexity class <a href="page.php?w=SNP_%28complexity%29">SNP</a></p><p>
<a accesskey="1" href="page.php?w=exponential_time_hypothesis&amp;p=9">1.Previous</a><br />
<a accesskey="3" href="page.php?w=exponential_time_hypothesis&amp;p=11">3.Next</a>
</p>

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

</card>
</wml>
