[论文解读] On the Geometric Thickness of 2-Degenerate Graphs

Rahul Jain, M. Ricci+2 more|arXiv (Cornell University)|Jan 1, 2023

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文解決了Eppstein提出的關於2-退化圖幾何厚度的兩個開放問題。研究證明，2-退化圖的幾何厚度至多為4，透過一種構造方法，將邊分解為4個平面森林，並使用直線繪圖實現。此外，本文構造了一個幾何厚度至少為3的2-退化圖，顯示該上界為緊確界，並回答了此類圖的幾何厚度是否可能超過2的疑問。

ABSTRACT

A graph is 2-degenerate if every subgraph contains a vertex of degree at most 2. We show that every 2-degenerate graph can be drawn with straight lines such that the drawing decomposes into 4 plane forests. Therefore, the geometric arboricity, and hence the geometric thickness, of 2-degenerate graphs is at most 4. On the other hand, we show that there are 2-degenerate graphs that do not admit any straight-line drawing with a decomposition of the edge set into 2 plane graphs. That is, there are 2-degenerate graphs with geometric thickness, and hence geometric arboricity, at least 3. This answers two questions posed by Eppstein [Separating thickness from geometric thickness. In Towards a Theory of Geometric Graphs, vol. 342 of Contemp. Math., AMS, 2004].

研究动机与目标

• 確定2-退化圖的幾何厚度是否被某個常數所界定。
• 解決Eppstein關於2-退化圖的幾何厚度是否可能大於2的開放問題。
• 建立2-退化圖幾何厚度與幾何森林數的緊確界。
• 探討直線繪圖在將2-退化圖分解為平面子圖時的結構限制。

提出的方法

• 基於退化性排序與幾何定位，構造任意2-退化圖的直線繪圖，使其邊可分解為4個平面森林。
• 應用基於類網格結構（k+1）-子網格的遞迴構造，以受控方式嵌入複雜的2-退化圖，並控制邊交叉。
• 使用拉姆齊類型論證，在邊著色的幾何繪圖中識別出大型單色子結構，以強制產生不可避免的交叉。
• 證明任何試圖將某個特定大型2-退化圖分解為少於3個平面子圖的嘗試，都會導致單色交叉，從而建立下界。
• 利用Laman圖與Henneberg構造的已知結果，以有界度數與受控邊添加方式嵌入2-退化圖。
• 分析線段邊著色排列的組合結構，證明某些類網格配置必然出現，進而導致低色數分解中的不可避免交叉。

实验结果

研究问题

• RQ1 2-退化圖的幾何厚度是否被某個常數所上界界定？
• RQ2 2-退化圖的幾何厚度是否可能嚴格大於2？
• RQ3 所有2-退化圖中幾何厚度的最大值為何？
• RQ4 是否存在一個幾何森林數或幾何厚度等於4的2-退化圖？
• RQ5 能否構造一個2-退化圖，使其幾何厚度至少為3？

主要发现

• 每一個2-退化圖的幾何厚度至多為4，因為每一類這樣的圖都存在一種可分解為4個平面森林的直線繪圖。
• 存在一個幾何厚度至少為3的2-退化圖，顯示4的上界為緊確界，並解決了Eppstein關於幾何厚度是否可能超過2的疑問。
• 2-退化圖的幾何森林數至多為4，且對某些圖至少為3，顯示該參數在此類圖中亦受限制。
• 下界證明依賴於一個大型明確構造的2-退化圖，其中任何直線繪圖中邊的兩色著色都會導致單色交叉。
• 該構造使用多輪拉姆齊理論論證，強制在低色數分解中產生不可避免交叉，顯示下界非源自小規模反例。
• 本文顯示，即使僅有線性數量的線段，某些類網格配置（組合等價於Gk）在邊著色排列中亦不可避免，暗示可能存在更小的構造。