<?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="Reachability - Page 11 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Reachability&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Reachability&amp;p=12">3.Next</a>
</p>
<p>. Let  be the last layer created, that is, the lowest value for  such that .</p>

<p>The graph is then re-expressed as a series of digraphs  where each  and where  is the contraction of all previous levels  into a single vertex. Because every dipath appears in at most two consecutive layers, and becauseeach  is formed by two consecutive layers, every dipath in  appears in its entirety in at least one  (and no more than 2 consecutive such graphs)</p>

<p>For each , three separators are identified which, when removed, break the graph into three</p><p>
<a accesskey="1" href="page.php?w=Reachability&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Reachability&amp;p=12">3.Next</a>
</p>

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

</card>
</wml>
