<?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="Computational problem - Page 12 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Computational_problem&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Computational_problem&amp;p=13">3.Next</a>
</p>

<p><big>Promise problem</big></p>
<p>In <a href="page.php?w=computational_complexity_theory">computational complexity theory</a>, it is usually implicitly assumed that any string in {0, 1}<sup>*</sup> represents an instance of the computational problem in question. However, sometimes not all strings {0, 1}<sup>*</sup> represent valid instances, and one specifies a proper subset of {0, 1}<sup>*</sup> as the set of "valid instances".  Computational problems of this type are called <a href="page.php?w=promise_problem">promise problem</a>s.</p>

<p>The following</p><p>
<a accesskey="1" href="page.php?w=Computational_problem&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Computational_problem&amp;p=13">3.Next</a>
</p>

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

</card>
</wml>
