[论文解读] A Proof Technique for Skewness of Graphs

Gek L. Chia, Chan L. Lee+1 more|arXiv (Cornell University)|Sep 19, 2017

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

一句话总结

本文提出一种新颖的加权边技术，用于证明当奇数 k ≥ 9 时，广义彼得森图 P(4k,k) 的偏斜度为 μ(P(4k,k)) = k+2。通过为边分配策略性权重，并分析平面子图中的面权重，作者基于欧拉公式和边权重不等式，提出一种新的证明框架，解决了 [3] 中长期存在的猜想。

ABSTRACT

The skewness of a graph G is the minimum number of edges in G whose removal results in a planar graph. By appropriately introducing a weight to each edge of a graph, we determine, among other thing, the skewness of the generalized Petersen graph P(4k, k) for odd k at least 9. This provides an answer to the conjecture raised in [3].

研究动机与目标

• 解决关于 μ(P(4k,k)) = k+2 的猜想，适用于奇数 k ≥ 5，扩展此前对偶数 k 的结果。
• 开发并应用一种新颖的加权边方法，用于非平面图的偏斜度分析。
• 为 Qs(k) 图族建立偏斜度的一般公式：μ(Qs(k)) = ⌈(s−2)k/2⌉ + 1，其中 k ≥ 4。
• 通过反证法，结合面权重和顶点独立性约束，证明 P(4k,k) 的偏斜度不可能为 k+1。
• 提出一种基于边加权和欧拉公式的统一证明技术，适用于广义彼得森图及其相关图。

提出的方法

• 为边分配权重：外环边 u_iu_{i+1} 赋予权重 4，辐条 u_iv_i 赋予权重 k−3，内环边 v_iv_{i+k} 赋予权重 2k−2，应用于 P(4k,k)。
• 定义总权重 W(G) = 4k(3k−1)，用于 P(4k,k)，并在通过移除 t 条边得到的平面子图 H 中使用权重守恒。
• 应用欧拉公式，利用不等式 2(W(H)) ≥ (8k−8)(4k−t+2)，推导出 t 的下界，得出 t ≥ k+1。
• 引入一个改进的权重函数 w'(e)，分别对类型为 u_iu_{i+1}、u_iv_i 和 v_iv_{i+k} 的边赋予权重 4、1 和 2，以分析 H 中的面类型。
• 通过面类型的分类 (i)–(iv)，证明当等式取等时，仅特定类型的环可能出现在平面子图中。
• 将问题约化为同构于 Q₃(k) 的子图，利用已知结果 μ(Q₃(k)) = (k+3)/2，若假设 μ(P(4k,k)) = k+1，则导出矛盾。

实验结果

研究问题

• RQ1 当奇数 k ≥ 9 时，广义彼得森图 P(4k,k) 的偏斜度是多少？
• RQ2 能否开发一种新的加权边技术，用于证明非平面图的偏斜度界？
• RQ3 猜想 μ(P(4k,k)) = k+2 对于奇数 k ≥ 5 是否成立？能否在不依赖先前方法的前提下加以证明？
• RQ4 当假设 P(4k,k) 的偏斜度为 k+1 时，其平面子图 H 中会引出何种结构约束？
• RQ5 Qs(k) 的偏斜度与 P(4k,k) 的偏斜度有何关联？Qs(k) 是否可作为证明广义彼得森图偏斜度的构建模块？

主要发现

• 对于所有奇数 k ≥ 9，P(4k,k) 的偏斜度恰好为 k+2，确认了 [3] 中的猜想。
• Qs(k) 图族的偏斜度为 μ(Qs(k)) = ⌈(s−2)k/2⌉ + 1（k ≥ 4），推广了此前对 s = 3 和 s = 4 的结果。
• 若 P(4k,k) 的偏斜度为 k+1，则其平面子图 H 中仅可能出现特定的面类型 (i)–(iv)，且边集 R(P(4k,k)) 必须仅由独立的外环边组成。
• H 中存在两个不相交的类型 (i) 面，意味着至少存在 2k−2 个好顶点，从而在外环中至少出现 k+1 个连续的坏顶点。
• 从 P(4k,k) 中移除 k−1 个顶点和边后，所诱导的子图是 Q₃(k) 的细分图，且由于 μ(Q₃(k)) = (k+3)/2，总偏斜度超过 k+1。
• 矛盾表明 μ(P(4k,k)) ≥ k+2，而由于上界已知，因此等式成立：μ(P(4k,k)) = k+2。