[论文解读] Shellable drawings and the cylindrical crossing number of $K_n$

Bernardo M. Ábrego, Oswin Aichholzer+3 more|arXiv (Cornell University)|Sep 14, 2013

Computational Geometry and Mesh Generation参考文献 7被引用 4

一句话总结

本文引入了完全圖 $K_n$ 的 s-可殼繪圖（s-shellable drawings）概念，證明任何滿足 $s \geq n/2$ 的此類繪圖均符合哈拉里-希爾猜想，實現至少 $Z(n) = \frac{1}{4}\left\lfloor\frac{n}{2}\right\rfloor\left\lfloor\frac{n-1}{2}\right\rfloor\left\lfloor\frac{n-2}{2}\right\rfloor\left\lfloor\frac{n-3}{2}\right\rfloor$ 次交叉。主要貢獻在於提出一個統一證明，表明先前各自獨立研究的圓柱形、$x$-有界、單調及二頁繪圖等類別均屬 s-可殼繪圖，從而確認這些家族的猜想交叉數。

ABSTRACT

The Harary-Hill Conjecture States that the number of crossings in any drawing of the complete graph $ K_n $ in the plane is at least $Z(n):=\frac{1}{4}\left\lfloor \frac{n}{2} ight floor \left\lfloor\frac{n-1}{2} ight floor \left\lfloor \frac{n-2}{2} ight floor\left\lfloor \frac{n-3}{2} ight floor$. In this paper, we settle the Harary-Hill conjecture for {\em shellable drawings}. We say that a drawing $D$ of $ K_n $ is {\em $ s $-shellable} if there exist a subset $ S = \{v_1,v_2,\ldots,v_ s\}$ of the vertices and a region $R$ of $D$ with the following property: For all $1 \leq i < j \leq s$, if $D_{ij}$ is the drawing obtained from $D$ by removing $v_1,v_2,\ldots v_{i-1},v_{j+1},\ldots,v_{s}$, then $v_i$ and $v_j$ are on the boundary of the region of $D_{ij}$ that contains $R$. For $ s\geq n/2 $, we prove that the number of crossings of any $ s $-shellable drawing of $ K_n $ is at least the long-conjectured value Z(n). Furthermore, we prove that all cylindrical, $ x $-bounded, monotone, and 2-page drawings of $ K_n $ are $ s $-shellable for some $ s\geq n/2 $ and thus they all have at least $ Z(n) $ crossings. The techniques developed provide a unified proof of the Harary-Hill conjecture for these classes of drawings.

研究动机与目标

• 透過引入統一的結構性特徵「可殼性」，解決 $K_n$ 廣泛繪圖類別的哈拉里-希爾猜想。
• 證明 $s$-可殼繪圖在 $s \geq n/2$ 時達到猜想的最小交叉數 $Z(n)$。
• 透過顯示 2 頁與圓柱形繪圖為 s-可殼繪圖的特例，統合先前關於此兩類繪圖的結果。
• 將下界推廣至單調與 $x$-有界繪圖，此兩類先前分別獨立證明。

提出的方法

• 透過子集 $S = \{v_1, \dots, v_s\}$ 與區域 $R$ 定義 $s$-可殼繪圖，使得在移除某些頂點後所形成的子繪圖 $D_{ij}$ 中，對所有 $i < j$，頂點 $v_i$ 與 $v_j$ 均位於包含 $R$ 的區域邊界上。
• 利用環 $C = v_1v_2\dots v_s$ 建立可殼性的充分條件，其中 $v_1v_s$ 無交叉，且邊 $v_kv_{k+1}$ 僅與滿足 $i < k$ 與 $j > k+1$ 的邊 $v_iv_j$ 交叉。
• 證明若繪圖滿足環條件，則其為 $s$-可殼繪圖，進而可應用主要定理。
• 顯示圓柱形繪圖包含大小至少為 $n/2$ 的無交叉環，因此為 $s$-可殼繪圖，進而符合哈拉里-希爾界。
• 證明 $x$-有界與單調繪圖滿足環條件，因此為 $s$-可殼繪圖，進而達到至少 $Z(n)$ 次交叉。
• 運用一般結果：若 $s$-可殼繪圖滿足 $s \geq n/2$，則至少有 $Z(n)$ 次交叉，從而統一並推廣先前結果。

实验结果

研究问题

• RQ1 哈拉里-希爾猜想是否可對超越已知構造的廣泛繪圖類別證明？
• RQ2 圓柱形、$x$-有界、單調與二頁繪圖是否均達到最小交叉數 $Z(n)$？
• RQ3 是否存在一個統一的結構性特徵，能捕捉這些繪圖的核心特性並導出交叉數下界？
• RQ4 可殼性條件是否可用於將先前關於二頁繪圖的結果推廣至其他繪圖類型？
• RQ5 所有滿足引理 5 中環條件的繪圖是否均產生 $s \geq n/2$ 的 $s$-可殼繪圖？

主要发现

• 所有 $s$-可殼繪圖 $K_n$ 滿足 $s \geq n/2$ 者，至少有 $Z(n)$ 次交叉，從而確認此類別的哈拉里-希爾猜想。
• 圓柱形繪圖 $K_n$ 為 $s$-可殼繪圖（$s \geq n/2$），因此至少有 $Z(n)$ 次交叉。
• 每一個 $x$-有界繪圖 $K_n$ 均符合引理 5 的條件，因此為 $s$-可殼繪圖，進而至少有 $Z(n)$ 次交叉。
• 單調繪圖為 $x$-有界繪圖的子集，因此亦達到至少 $Z(n)$ 次交叉。
• 二頁繪圖為圓柱形繪圖的退化形式，因此透過可殼性繼承 $Z(n)$ 下界。
• 本文提供統一證明，確認多個繪圖類別的哈拉里-希爾猜想，解決長期懸而未決的案例。