[论文解读] 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 的兩個等大子集 A 與 B 之間尋找頂點不相交的有向路徑，形成單調或一致的連結結構。
• 透過相對於中心有向環 CN 嵌入入路徑與出路徑，構造出嵌入於圓盤上的有向圖 H，並使用虛擬邊來代表遺失的子路徑。
• 採用拓撲嵌入策略，透過將路徑端點依逆時鐘方向排列於圓盤邊界，以分離入路徑與出路徑。
• 應用結構引理（5.1）強制產生類似網格的路徑交叉，確保存在具有垂直與水平路徑的無環網格次小圖。
• 針對繞行 C1 的異常子路徑（即迴圈路徑），透過截短並以虛擬邊取代，以維持嵌入與連結結構的一致性。

实验结果

研究问题

• RQ1 具有足夠高樹寬的平面有向圖是否必然包含圓柱形網格次小圖？
• RQ2 有向圖中高階避難所是否能保證存在指定大小的連結集合？
• RQ3 如何將具有複雜路由（例如異常迴圈）的有向路徑系統嵌入並轉換為類似網格的次小圖？
• RQ4 在何種條件下，一組頂點不相交的有向路徑可被延伸為更大的無環網格次小圖？
• RQ5 是否能僅透過路徑連結與拓撲嵌入技術，將圓柱形網格結構嵌入平面有向圖中？

主要发现

• 有向圖中階數為 3n 的避難所可保證存在大小為 2n 的連結集合 X，此為關鍵的結構性組建模塊。
• 透過在圓盤中以虛擬邊嵌入入路徑與出路徑，成功建構出連結的無環網格次小圖，並維持拓撲順序。
• 針對繞行 C1 的異常子路徑，透過截短與虛擬邊取代，成功處理其影響，確保嵌入的一致性。
• 引理 5.1 的應用確保所建構網格中垂直與水平路徑以受控方式交叉，進而實現次小圖包含。
• 透過整合非異常與異常路徑的處理方式，作者成功建構出包含大小為 n 的圓柱形網格的網格次小圖，從而證明主要結果。
• 證明顯示，高樹寬的平面有向圖確實包含圓柱形網格次小圖，確認了平面情況下的原始猜想。