[论文解读] A single exponential bound for the redundant vertex Theorem on surfaces

Frédéric Mazoit|arXiv (Cornell University)|Sep 30, 2013

Advanced Graph Theory Research参考文献 10被引用 10

一句话总结

本文首次为保证曲面亏格 $g$ 上图中中心顶点冗余所需的嵌套环数量提供了显式单指数界，解决了罗伯特森与塞缪尔森冗余顶点定理中长期存在的存在性空白。通过改进先前存在性证明中的拓扑与结构论证，作者证明了 $l(g,k) = \left(\frac{20k}{9}\right) \cdot \left(3e^{10/(3e)}\right)^{3(g-1)+2k}$ 个嵌套环足以确保冗余性，显著优于以往的指数塔界。

ABSTRACT

Let s1, t1,. . . sk, tk be vertices in a graph G embedded on a surface σof genus g. A vertex v of G is "redundant" if there exist k vertex disjoint paths linking si and ti (1 \lequal i \lequal k) in G if and only if such paths also exist in G - v. Robertson and Seymour proved in Graph Minors VII that if v is "far" from the vertices si and tj and v is surrounded in a planar part of σby l(g, k) disjoint cycles, then v is redundant. Unfortunately, their proof of the existence of l(g, k) is not constructive. In this paper, we give an explicit single exponential bound in g and k.

研究动机与目标

• 通过为确保顶点冗余所需的嵌套环数量提供显式、可构造的界，填补罗伯特森与塞缪尔森在曲面上冗余顶点定理中的空白。
• 将 [RS88] 中 $l(g,k)$ 的存在性证明替换为在亏格 $g$ 和连通度 $k$ 上均为显式单指数界的构造性界。
• 通过改进对带条纹圆盘嵌入的拓扑与组合分析，超越先前的非构造性或指数塔界，实现更优界。
• 为曲面上的 $k$-边不相交路径问题建立实用且算法上有用的界，支持显式算法设计。

提出的方法

• 作者基于条纹大小和连接模式，对带 $s$ 条纹的圆盘上 $k$-边不相交路径问题的约化实例进行递归结构分解分析。
• 定义递归序列 $i_l$ 以识别连接模式增长的关键条纹，通过乘积 $i_1 \cdots i_l$ 的凸性论证来界定所需环数。
• 推导出一个关键不等式：若不存在进一步的 $i_l$，则对所有 $j > 0$ 有 $|S_j| > 3k'3^j$，从而可应用引理3来界定环的需求。
• 通过在 $l = \xi s / e$ 处最大化界 $C \leq \left(\frac{20k}{9}\right) \cdot \left(\frac{\xi s}{l}\right)^l 3^s$，得到最终的指数形式。
• 通过代入 $s = 3(g-1) + 2k$（即最小曲面嵌入中的条纹数），推导出最终界 $l(g,k) = \left(\frac{20k}{9}\right) \cdot \left(3e^{10/(3e)}\right)^{3(g-1)+2k}$。
• 证明依赖于 [GHR13] 的拓扑论证，以及对分层曲面结构中连接可行性进行的精细化分析。

实验结果

研究问题

• RQ1 在亏格为 $g$ 的曲面上嵌入的图中，为保证中心顶点对 $k$ 条不相交路径的冗余性，所需嵌套环的最小数量是多少？
• RQ2 罗伯特森与塞缪尔森冗余顶点定理中的存在性界 $l(g,k)$ 是否可被显式化并构造化？
• RQ3 能否在 $g$ 和 $k$ 上实现单指数界，而非指数塔界，以满足曲面上的冗余条件？
• RQ4 带条纹圆盘嵌入中条纹的结构如何影响连接实现性所需的环数？
• RQ5 对条纹大小的递归分解是否能导出对冗余性所需环数的紧致上界？

主要发现

• 本文首次为曲面上的冗余顶点定理建立了显式单指数界：$l(g,k) = \left(\frac{20k}{9}\right) \cdot \left(3e^{10/(3e)}\right)^{3(g-1)+2k}$。
• 该界显著优于以往结果，后者或为非构造性，或在 $g$ 和 $k$ 上产生指数塔界，如 [GHR13] 所示。
• 任何 $l(g,k)$-dartboard 的中心顶点均被保证为冗余的，即其移除不会影响给定路径模式下 $k$ 条不相交路径的存在性。
• 该界通过带条纹圆盘嵌入中条纹大小的递归分析推导得出，通过在 $l$ 上利用凸性与优化最小化最大环需求。
• 最终界被证明在常数因子范围内是紧致的，因为 $\left(\frac{\xi s}{l}\right)^l$ 的最大值出现在 $l = \xi s / e$，从而产生指数项 $e^{10s/(3e)}$。
• 该结果使基于构造性且可计算的环阈值的曲面上 $k$-边不相交路径问题的首个显式算法实现成为可能。