[論文レビュー] Directed Minors III. Directed Linked Decompositions

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

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

ひとこと要約

本稿は、BellenbaumとDiestelによるThomasの定理の別証明の技術を拡張し、lean分解とMenger型分離性を用いて、有向グラフにおけるcanonicalで幅最適な分解を達成する。この手法により、任意の有向グラフがその有向パス幅およびDAG幅に等しい最適幅を持つ連結した有向パス分解および連結したDAG分解を有することを証明した。

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の定理における「canonical」分解の概念を有向設定に一般化し、最適性と構造的頑健性を保証すること。

提案手法

• 有向無閉路グラフ（DAG）上のノードバッグを用いて、特定の連結性および弧被覆性を持つ有向パス分解およびDAG分解を定義する。
• 集合Xが集合Wをガーディングするとは、G\XにおいてWから出るパスが存在しないことを意味する。この概念を、無向グラフの分離集合を有向グラフに一般化する。
• Mengerの定理を用いて、2つの集合間のk個の頂点素なパスの存在を特徴づけ、これにより連結分解の性質が裏付けられる。
• 最小性条件（DGW-5）を満たすlean分解を構築し、最適性を保証する。DAG幅に等しい幅でのこのような分解が存在することを背理法で証明する。
• 連結性の性質を満たさない分解は、その「太さ」（非最適性の尺度）を減少させることで変更可能であり、最適な連結分解が存在しないと仮定すると矛盾が生じることを示す。
• 最小分離集合によって分離された部分グラフに対して再帰的分解戦略を適用し、共通の分離集合Sを持つAおよびBの分解を組み合わせて、グローバルな連結分解を構築する。

実験結果

リサーチクエスチョン

• RQ1 無向グラフにおけるThomasの定理（連結した木分解）は、有向グラフにおける有向パス幅およびDAG幅に関して拡張可能か？
• RQ2 任意の有向グラフは、その有向パス幅に等しい幅の連結した有向パス分解を有するか？
• RQ3 任意の有向グラフは、そのDAG幅に等しい幅の連結したDAG分解を有するか？
• RQ4 無向グラフの場合と同様のlean分解フレームワークを用いて、このような連結分解の最適性を保証できるか？
• RQ5 有向グラフにおけるcanonicalで幅最適な分解を構築するために必要な十分な構造的性質（例：Menger型分離性）は何か？

主な発見

• 任意の有向グラフは、その有向パス幅に等しい幅の連結した有向パス分解を有する。これは、Thomasの定理を有向設定に一般化した結果である。
• 任意の有向グラフは、そのDAG幅に等しい幅の連結したDAG分解を有する。これにより、DAG幅に対するcanonical分解が確立された。
• このような連結分解の存在は、太さの尺度に関する背理法によって証明され、非leanな分解は常に改善可能であることが示された。
• 証明は、最小分離集合によって分離された部分グラフに対する再帰的分解構成に依拠しており、ガーディングおよび有向連結性を注意深く組み合わせたマージ処理が行われた。
• この技術は、BellenbaumとDiestelによるThomasの定理の別証明を有向グラフに一般化し、分解の最適性とcanonical構造を保ったまま継続した。
• 結果として、有向パス幅およびDAG幅は構造的パラメータであるだけでなく、強い分離性を持つ最適でcanonicalな分解を有することが確認された。