<?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="BPP (complexity) - Page 13 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=BPP_(complexity)&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=BPP_%28complexity%29&amp;p=14">3.Next</a>
</p>
<p>the correct answer, or outputs "fail" with low probability. Las Vegas algorithms with polynomial bound running times are used to define the class <b><a href="page.php?w=ZPP_%28complexity%29">ZPP</a></b>. Alternatively, <b>ZPP</b> contains probabilistic algorithms that are always correct and have expected polynomial running time. This is weaker than saying it is a polynomial time algorithm, since it may run for super-polynomial time, but with very low probability.</p>

<p><big> Complexity-theoretic properties </big></p>
<p>It is known that <b>BPP</b> is</p><p>
<a accesskey="1" href="page.php?w=BPP_(complexity)&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=BPP_%28complexity%29&amp;p=14">3.Next</a>
</p>

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

</card>
</wml>
