[论文解读] Directed Minors III. Directed Linked Decompositions

Shiva Kintali|arXiv (Cornell University)|Apr 23, 2014

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

一句话总结

本文通过证明每个有向图均存在宽度最优的关联有向路径分解和关联DAG分解，将Thomas关于无向图的定理推广至有向图——其宽度分别等于该图的有向路径宽和DAG宽。证明扩展了Bellenbaum与Diestel对Thomas定理的替代证明中的技术，利用瘦分解与Menger型分离性质，为有向图实现规范且宽度最优的分解。

ABSTRACT

Thomas proved that every undirected graph admits a linked tree decomposition of width equal to its treewidth. In this paper, we generalize Thomas's theorem to digraphs. We prove that every digraph G admits a linked directed path decomposition and a linked DAG decomposition of width equal to its directed pathwidth and DAG-width respectively.

研究动机与目标

• 通过证明有向图中存在宽度最优的关联分解，将Thomas关于无向图的定理推广至有向图。
• 通过有向图论中的守卫与分离概念，形式化有向路径分解与DAG分解。
• 证明有向路径宽与DAG宽是有向图中关联分解可达到的最小宽度。
• 将Thomas定理中的“规范”分解概念推广至有向情形，确保最优性与结构鲁棒性。

提出的方法

• 利用在有向无环图（DAG）上具有特定连通性与弧覆盖性质的节点袋，定义有向路径分解与DAG分解。
• 引入“守卫”概念，将无向图中的分离器推广至有向图：若在G\X中不存在从W出发离开W的路径，则称集合X守卫集合W。
• 利用Menger定理刻画两组点之间存在k个顶点不相交路径的条件，该条件是关联分解性质的基础。
• 构造满足最小性条件（DGW-5）的瘦分解，以确保最优性，并通过反证法证明此类分解在DAG宽的宽度下存在。
• 证明任何违反关联性质的分解均可通过降低其“肥度”（非最优性的度量）进行改进，若不存在最优关联分解，则导致矛盾。
• 在由最小分离器分离的子图上应用递归分解策略，通过共享分离器S将A与B的分解合并，构造全局关联分解。

实验结果

研究问题

• RQ1 Thomas关于无向图中关联树分解的定理能否推广至有向图，针对有向路径宽与DAG宽？
• RQ2 每个有向图是否均存在宽度等于其有向路径宽的关联有向路径分解？
• RQ3 每个有向图是否均存在宽度等于其DAG宽的关联DAG分解？
• RQ4 能否使用类似无向情形的瘦分解框架，保证此类关联分解的最优性？
• RQ5 在有向图中构造规范且宽度最优的分解，所需的关键结构性质（如Menger型分离）是什么？

主要发现

• 每个有向图均存在宽度等于其有向路径宽的关联有向路径分解，将Thomas定理推广至有向情形。
• 每个有向图均存在宽度等于其DAG宽的关联DAG分解，确立了DAG宽的规范分解。
• 此类关联分解的存在性通过“肥度”度量的反证法证明，表明任何非瘦分解均可被改进。
• 证明依赖于由最小分离器分离的子图的递归分解构造，结合守卫与有向连通性进行仔细合并。
• 该技术将Bellenbaum与Diestel对Thomas定理的替代证明推广至有向图，保持了分解的最优性与规范结构。
• 结果证实，有向路径宽与DAG宽不仅是结构参数，还存在具有强分离性质的规范最优分解。