A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="http://pdfs.semanticscholar.org/d204/8c99a1759f4cad3ab0b63011d3bf20eb26bf.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs
[chapter]
<span title="">2013</span>
<i title="Springer International Publishing">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Preserved Fulltext
We introduce the notion of z-topological orderings for digraphs. We prove that given a digraph G on n vertices admitting a z-topological ordering, together with such an ordering, one may count the number of subgraphs of G that at the same time satisfy a monadic second order formula ϕ and are the union of k directed paths, in time f (ϕ, k, z) · n O(k·z) . Our result implies the polynomial time solvability of many natural counting problems on digraphs admitting z-topological orderings for
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-03898-8_12">doi:10.1007/978-3-319-03898-8_12</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xezphairxffilclt3xlq6hkz74">fatcat:xezphairxffilclt3xlq6hkz74</a>
</span>
more »
... values of z and k. Concerning the relationship between z-topological orderability and other digraph width measures, we observe that any digraph of directed path-width d has a ztopological ordering for z ≤ 2d + 1. On the other hand, there are digraphs on n vertices admitting a z-topological order for z = 2, but whose directed path-width is Θ(log n). Since graphs of bounded directed path-width can have both arbitrarily large undirected tree-width and arbitrarily large clique width, our result provides for the first time a suitable way of partially transposing metatheorems developed in the context of the monadic second order logic of graphs of constant undirected tree-width and constant clique width to the realm of digraph width measures that are closed under taking subgraphs and whose constant levels incorporate families of graphs of arbitrarily large undirected tree-width and arbitrarily large clique width.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190305112059/http://pdfs.semanticscholar.org/d204/8c99a1759f4cad3ab0b63011d3bf20eb26bf.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/04/d2048c99a1759f4cad3ab0b63011d3bf20eb26bf.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-03898-8_12">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>