[论文解读] Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs

Mateus de Oliveira Oliveira|arXiv (Cornell University)|Mar 18, 2013

Advanced Graph Theory Research参考文献 36被引用 4

一句话总结

本论文为有向图引入了 z-拓扑排序，并提出了一种算法，可在 f(φ,k,z)·n^{O(k·z)} 时间内计算满足给定 MSO₂ 公式的子图数量，且这些子图是 k 条有向路径的并集，其中图的 zig-zag 数为 z。关键贡献是针对具有有界 z-拓扑排序的有向图，提出了一个新的 MSO 逻辑算法元定理，从而在无向树宽和 clique-width 无界的有向图上实现了大量计数问题的多项式时间解法。

ABSTRACT

We introduce the notion of z-topological orderings for digraphs. We prove that given a digraph G on n vertices admitting a z-topological order- ing, 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 constant 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 z- topological 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 trans- posing 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.

研究动机与目标

• 开发一种新的算法框架，用于在有向图中计数满足 MSO₂ 性质的子图。
• 将算法元定理从无向图扩展到无向树宽和 clique-width 无界的有向图。
• 识别一种新的有向图宽度度量——z-拓扑排序，该度量可实现 MSO 逻辑的高效模型检测与计数。
• 建立 z-拓扑排序、正则切片语言与有向图上 MSO 逻辑之间的联系。
• 通过在对子图封闭但允许高无向树宽和 clique-width 的宽度度量中工作，克服先前元定理的局限性。

提出的方法

• 引入 z-拓扑排序的概念，其中每条有向路径在顶点排序中至多穿过 z 次。
• 利用切片理论和切片图，通过切片字母表上的正则语言表示有向图和 MSO 性质。
• 构建一个 z-稀释饱和切片图，精确捕获那些 zig-zag 数 ≤ z、满足给定 MSO₂ 公式且为 k 条有向路径并集的有向图。
• 在切片分解上应用动态规划框架，以高效计数有效子图。
• 利用定理 7.2，通过构造的切片图大小和顶点数来界定运行时间。
• 将计数问题约化为切片字符串上正则语言的成员判定，从而通过有限自动机实现高效计算。

实验结果

研究问题

• RQ1 MSO₂ 模型检测与计数能否扩展到无向树宽和 clique-width 无界的有向图？
• RQ2 是否存在一种有向图宽度度量，其对子图封闭，并能为如哈密顿回路计数等问题提供高效的基于 MSO 的算法？
• RQ3 z-拓扑排序能否作为结构参数，实现 MSO 计数在有向图上的固定参数可追踪算法？
• RQ4 z-拓扑排序与现有的有向图宽度度量（如有向路径宽和环秩）有何关系？
• RQ5 切片理论能否被调整，以在 z-拓扑约束下为 MSO 可定义的子图提供正则语言表征？

主要发现

• 本论文证明，对于任意 MSO₂ 公式 φ、整数 k 和 z-拓扑排序，满足 φ 且为 k 条有向路径并集的子图数量可在 f(φ,k,z)·n^{O(k·z)} 时间内计数。
• 该算法适用于 z = 2 且顶点数为 n 的有向图，其有向路径宽为 Θ(log n)，表明该框架可捕获具有对数级有向路径宽的图。
• 该框架可处理无向树宽和 clique-width 任意大的图，例如所有边均向左和向上定向的 n×n 有向网格，其 z = 1，但树宽和 clique-width 为 Ω(n)。
• 该方法可通过 MSO₂ 公式和 k = 2 条路径，在 DAG 中实现哈密顿回路的多项式时间计数，即使此类图具有高树宽和 clique-width。
• z-稀释饱和切片图的构建确保仅计数 zig-zag 数 ≤ z 且满足 φ 的子图，从而对解空间实现精确控制。
• 该方法通过使用 z-拓扑排序作为结构参数，将 Courcelle 定理推广至有向图，将逻辑算法学的适用范围扩展至此前难以处理的图类。