[论文解读] The Structure of $W_4$-Immersion-Free Graphs

Rémy Belmonte, Archontia C. Giannopoulou+2 more|arXiv (Cornell University)|Feb 5, 2016

Advanced Graph Theory Research参考文献 18被引用 3

一句话总结

本文建立了不含wheel圖$W_4$作為浸入的圖的結構特徵，證明其可透過1-、2-和3條邊的總和從子立方圖與有界樹寬圖構造而成。關鍵結果顯示，排除$W_4$作為浸入的內部4條邊連通圖的樹寬被一個大但有限的常數所限制，從而為$W_4$-浸入自由圖提供了一個基礎的分解定理。

ABSTRACT

We study the structure of graphs that do not contain the wheel on 5 vertices W4 as an immersion, and show that these graphs can be constructed via 1, 2, and 3-edge-sums from subcubic graphs and graphs of bounded treewidth.

研究动机与目标

• 提供排除$W_4$作為浸入的圖的結構特徵，此種包含關係較少被研究，與極小圖或拓撲極小圖相比。
• 將已知的拓撲極小圖自由圖的結構結果延伸至浸入設定，特別是針對wheel圖。
• 利用最多3階的邊總和建立分解定理，以支援$W_4$-浸入自由圖的演算法與理論分析。
• 識別在高連通性與最小度條件下，此類圖具有有界樹寬的條件。

提出的方法

• 作者使用基於$i$-條邊總和（$i \in \{1,2,3\}$）的分解方法，遞迴地將$W_4$-浸入自由圖分解為基本組分。
• 他們分析內部邊割與最多6階的重要分離器，以控制圖的連通性與路徑結構。
• 利用大樹寬意味存在大型墻圖作為拓撲極小圖的事實，透過極值圖論推導樹寬的界。
• 他們應用圖極小理論中的一個結果：大樹寬會強制產生大量具有高連通性的不相交環。
• 證明依賴於引理3，該引理表明排除$W_4$作為浸入的內部4條邊連通圖的樹寬至多為$2^{2^{13} \cdot 3^6 \cdot 5^8 \cdot \log(2^6 \cdot 3^2 \cdot 5^4)}$，一個有限常數。
• 證明顯示該分解是緊緻的：3條邊總和是必要的，且在這種操作下，更高連通性不會保持$W_4$-浸入自由性。

实验结果

研究问题

• RQ1 能否使用邊總和操作將$W_4$-浸入自由圖分解為更簡單的圖類？
• RQ2 排除$W_4$作為浸入的內部4條邊連通圖的樹寬行為如何？
• RQ3 透過1-、2-和3條邊總和的分解是否足以特徵化所有$W_4$-浸入自由圖？
• RQ4 為何更高階的邊總和無法保持$W_4$-浸入自由性？需要何種結構約束？
• RQ5 能否透過避免依賴大型墻極小圖，顯著降低$W_4$-浸入自由圖的樹寬界？

主要发现

• 任何$W_4$-浸入自由圖的1-、2-和3條邊總和分解中的基本圖，要麼是子立方圖，要麼其樹寬被一個有限常數所限制。
• 內部4條邊連通的$W_4$-浸入自由圖的樹寬至多為$2^{2^{13} \cdot 3^6 \cdot 5^8 \cdot \log(2^6 \cdot 3^2 \cdot 5^4)}$，一個極大但有限的數值。
• 該分解是緊緻的：3條邊總和是必要的，因為存在內部3條邊連通但具有高degree頂點且避免$W_4$作為浸入的圖。
• 4階或更高階的邊總和不保持$W_4$-浸入自由性，反例顯示即使兩部分均不包含$W_4$作為浸入，其總和仍可能包含$W_4$作為浸入。
• 該結果為設計測試$W_4$-浸入自由性的高效演算法提供了結構基礎，利用基本組分的有界樹寬。
• 本研究為更大wheel圖$W_k$（$k \geq 5$）的類似分解定理開拓了道路，但此類延伸面臨挑戰，因在邊總和下不具保持性。