[論文レビュー] Constant Congestion Routing of Symmetric Demands in Planar Directed Graphs

Johnson, Thor, Robertson, Neil+2 more|arXiv (Cornell University)|Oct 2, 2015

Advanced Graph Theory Research参考文献 1被引用数 5

ひとこと要約

本稿は、木幅が大きい平面有向グラフが円筒グリッドマイナーを含むことを証明し、有向グリッド定理への重要な一歩を確立している。高次のハブンと連結構造を用いて、頂点を共有しない有向パスと埋め込みグリッドを構築し、このようなグラフが大きな円筒グリッドに同型なマイナーを含むことを示している。これは、平面有向グラフにおける対称的需要に対する定数スループットルーティングを意味する。

ABSTRACT

In [Directed tree-width, J. Combin. Theory Ser. B 82 (2001), 138-154] we introduced the notion of tree-width of directed graphs and presented a conjecture, formulated during discussions with Noga Alon and Bruce Reed, stating that a digraph of huge tree-width has a large "cylindrical grid" minor. Here we prove the conjecture for planar digraphs, but many steps of the proof work in general. This is an unedited and unpolished manuscript from October 2001. Since many people asked for copies we are making it available in the hope that it may be useful. The conjecture was proved by Kawarabayashi and Kreutzer in arXiv:1411.5681.

研究の動機と目的

• 高木幅が大きいことから円筒グリッドマイナーの存在を示すことで、平面有向グラフに対する有向グリッド定理を確立すること。
• 有向グラフにおける木幅と構造的マイナー（特に円筒グリッド）の存在との間の予想を解決すること。
• 構造的グラフ理論を用いて、対称的需要のルーティングを定数スループットで実現するための基盤を提供すること。
• バタフライマイナーと強い連結性の性質を用いて、有向グラフにおけるマイナー包含の概念を拡張すること。
• ハブンに基づく手法とパス埋め込み技術を用いて、連結集合と非巡回グリッドマイナーを構築するフレームワークを開発すること。

提案手法

• 3n次のハブンを用いて、頂点削除に対して構造的耐性を保つハブン公理を活用し、サイズ2nの連結集合Xを同定する。
• 連結定理を適用して、Xの2つの等大な部分集合AとBの間で頂点を共有しない有向パスを見つける。このとき、単調または一致する連結構造が得られる。
• 中心となる有向閉路CNに対して、インパスとアウトパスを埋め込むことで、ディスクに埋め込み可能な有向グラフHを構築する。欠落した部分パスを表すためにフェイクエッジを用いる。
• トポロジカルな埋め込み戦略を用いて、インパスとアウトパスの端点をディスクの境界上に反時計回りの順序に配置することで分離する。
• 構造的補題（5.1）を適用して、グリッドに類似したパスの交差を強制し、垂直方向および水平方向のパスを持つ非巡回グリッドマイナーの存在を保証する。
• C1の回りをループするような逸脱部分パス（deviant sub-paths）に対しては、切り詰めとフェイクエッジへの置換を施し、埋め込みと連結構造を維持する。

実験結果

リサーチクエスチョン

• RQ1 十分に高い木幅を持つ平面有向グラフは、必然的に円筒グリッドマイナーを含むか？
• RQ2 有向グラフにおける高次のハブンは、所定のサイズの連結集合の存在を保証するか？
• RQ3 複雑なルーティング（例：逸脱ループを含む）を持つ有向パス系を、どのようにグリッドに類似したマイナーに埋め込み・変換できるか？
• RQ4 頂点を共有しない有向パスの集合が、どのような条件下でより大きな非巡回グリッドマイナーに拡張可能か？
• RQ5 パス連結性とトポロジカルな埋め込み技術のみを用いて、円筒グリッドの構造を平面有向グラフに埋め込むことは可能か？

主な発見

• 有向グラフに3n次のハブンが存在すれば、サイズ2nの連結集合Xの存在が保証され、これは構造的ビルディングブロックとして極めて重要である。
• インパスとアウトパスをフェイクエッジを用いてディスクに埋め込むことで、トポロジカルな順序を保ちながら連結された非巡回グリッドマイナーを構築可能である。
• C1の回りをループする逸脱部分パスは、切り詰めとフェイクエッジへの置換によって処理され、一貫性のある埋め込みが可能になる。
• 補題5.1の適用により、構築されたグリッド内の垂直方向および水平方向のパスが制御された方法で交差し、マイナー包含が保証される。
• 非逸脱および逸脱パスの処理を統合することで、著者らはサイズnの円筒グリッドを含むグリッドマイナーを構築し、主要結果を証明した。
• 証明により、木幅が大きい平面有向グラフは円筒グリッドマイナーを含むことが示され、平面ケースにおける予想が裏付けられた。