[论文解读] Twin-Width of Planar Graphs Is at Most 8, and at Most 6 When Bipartite Planar

Petr Hliněný, Jan Jedelský|arXiv (Cornell University)|Oct 16, 2022

Advanced Graph Theory Research被引用 1

一句话总结

本文通過一種新型的遞歸分解技術，確立了任意平面圖的雙寬度至多為 8，而二分平面圖的雙寬度至多為 6。作者提供了一種線性時間演算法，用以計算達到這些界限的收縮序列，顯著改進了以往的上界，並縮小了與平面圖最佳已知下界 7 之間的差距。

ABSTRACT

Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a sequence at hand allows us to solve many otherwise hard problems efficiently. Graph classes of bounded twin-width, in which appropriate contraction sequences are efficiently constructible, are thus of interest in combinatorics and in computer science. However, we currently do not know in general how to obtain a witnessing contraction sequence of low width efficiently, and published upper bounds on the twin-width in non-trivial cases are often "astronomically large". We focus on planar graphs, which are known to have bounded twin-width (already since the introduction of twin-width), but the first explicit "non-astronomical" upper bounds on the twin-width of planar graphs appeared just a year ago; namely the bound of at most 183 by Jacob and Pilipczuk [arXiv, January 2022], and 583 by Bonnet, Kwon and Wood [arXiv, February 2022]. Subsequent arXiv manuscripts in 2022 improved the bound down to 37 (Bekos et al.), 11 and 9 (both by Hliněný). We further elaborate on the approach used in the latter manuscripts, proving that the twin-width of every planar graph is at most 8, and construct a witnessing contraction sequence in linear time. Note that the currently best lower-bound planar example is of twin-width 7, by Král' and Lamaison [arXiv, September 2022]. We also prove that the twin-width of every bipartite planar graph is at most 6, and again construct a witnessing contraction sequence in linear time.

研究动机与目标

• 確立平面圖雙寬度的緊緻上界，改進以往所知的『天文數量級』或次優的上界。
• 開發一種新的平面圖遞歸分解方法，以在收縮序列中精確控制紅色度數。
• 將該方法擴展至相關圖類別——二分平面圖、1-平面圖與地圖圖——提供改進的明確上界。
• 理論上提供緊緻上界之際，同時設計高效、線性時間的演算法，以計算達到所聲稱寬度的收縮序列。
• 縮小平面圖已知上界與下界之間的差距，並提出猜測：7 是平面圖雙寬度的真正最大值。

提出的方法

• 提出一種基於從核心區域出發的頂點距離層次聚類的新型平面圖遞歸分解方法，以實現可控的收縮序列。
• 定義一個收縮序列 π3，系統性地簡化圖形，同時在每個階段限制頂點的紅色度數。
• 透過對分解層次中非黑色 2-鄰居的層次分析，以界定最大紅色度數。
• 利用平面圖的結構性質，如歐拉公式與有界平均度數，以約束可能的非黑色鄰居數量。
• 在收縮階段上使用歸納論證與案例分析，確保紅色度數永遠不超過 8（二分圖情況下不超過 6）。
• 設計線性時間演算法，透過利用遞歸結構與局部鄰域控制，以計算收縮序列。

实验结果

研究问题

• RQ1 已知雙寬度有界，平面圖雙寬度的最緊緻上界為何？
• RQ2 能否設計出一種構造性且高效的演算法，計算出達到小雙寬度的平面圖收縮序列？
• RQ3 二分平面圖的雙寬度與一般平面圖相比如何？是否可更緊緻地界定？
• RQ4 相同的遞歸分解框架能否適應其他非平面但相關的圖類別，如 1-平面圖與地圖圖？
• RQ5 目前平面圖的上界 8 是否接近真實最大值，或可進一步降低？

主要发现

• 所有平面圖的雙寬度至多為 8，且此界限與最佳已知下界 7 僅相差一單位，已極為緊緻。
• 對於二分平面圖，雙寬度至多為 6，改進了以往的上界，並與文獻中最佳已知下界 6 相符。
• 線性時間演算法可計算出達到所聲稱雙寬度界限的收縮序列，使該方法在參數化演算法中具備實用性。
• 該方法可推廣至 1-平面圖，得出雙寬度上界為 16；推廣至地圖圖，得出上界為 38。
• 遞歸分解框架具有可重用性，可作為工具箱，用於界定其他具有類似平面性質的圖類別之雙寬度。
• 作者猜測，平面圖的真正最大雙寬度為 7，且二分平面圖的精確最大值可能為 6。