[论文解读] Terminal-Pairability in Complete Graphs

Ervin Győri, Tamás Róbert Mezei+1 more|arXiv (Cornell University)|May 19, 2016

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

一句话总结

本文通过证明当需求多重图的最大度数 $\Delta$ 不超过 $2\lfloor n/6\rfloor - 4$ 时，完全图 $K_n$ 是终端对可配的，从而改进了完全图中终端对可配性的界；同时验证了当需求图的边数不超过 $2n-5$ 且最大度数 $\leq n-1$ 时，终端对可配性成立。该结果利用归纳构造与度数提升技术，解决了终端对可配性理论中的两个开放问题。

ABSTRACT

We investigate terminal-pairability properties of complete graphs and improve the known bounds in two open problems. We prove that the complete graph $K_n$ on $n$ vertices is terminal-pairable if the maximum degree $Δ$ of the corresponding demand graph $D$ is at most $2\lfloor\frac{n}{6} floor-2$. We also verify the terminal-pairability property when the number of edges in $D$ does not exceed $2n-5$ and $Δ\leq n-1$ holds.

研究动机与目标

• 改进完全图 $K_n$ 中终端对可配性阈值的已知下界。
• 解决Csaba等人与Kubicka等人提出的关于完全图中终端对可配性的两个开放问题。
• 建立在 $n$ 个顶点的需求多重图上，可通过 $K_n$ 中边不相交路径实现可配性的充分条件。
• 通过证明边数为 $2n-5$ 且 $\Delta \leq n-1$ 的需求图在所有 $n \geq 5$ 时均实现终端对可配性，验证了 $4n-10$ 终端界值的紧致性。

提出的方法

• 对需求图的顶点数使用归纳法，通过删除一个顶点及其关联边来减少 $n$。
• 应用度数提升技术，在不超出较小图的度数界限的前提下，降低需求图中高degree顶点的度数。
• 基于集合 $B = \{v \in V(D) : d(v) \geq n-2\}$ 的大小进行情况分析，由于总边数限制，有 $|B| \leq 3$。
• 通过直接删除或提升至其他顶点，确保每删除一个顶点至少删除两条边。
• 将高degree顶点的关联边提升至选定顶点 $x$，以降低其度数，从而保证归纳假设成立。
• 利用总边数（$4n-10$ 或 $2n-5$）的结构约束，确保存在合适的顶点用于提升与删除操作。

实验结果

研究问题

• RQ1 最大的 $q$ 是多少，使得 $K_n^q$（每个顶点有 $q$ 个终端）仍保持终端对可配性？
• RQ2 Csaba等人提出的 $q \leq \frac{n}{4+2\sqrt{3}}$ 的界在 $K_n^q$ 中的终端对可配性上能否被改进？
• RQ3 $4n-10$ 个终端的界在完全图的终端对可配性中是否紧致？在度数约束下是否可达？
• RQ4 对于边数为 $2n-5$ 且 $\Delta \leq n-1$ 的需求图，是否对所有 $n \geq 5$ 都保证终端对可配性？
• RQ5 Kubicka等人提出的团引理能否被强化，使其在有界度数约束下支持超过 $2n$ 个终端？

主要发现

• 本文证明：若需求多重图的最大度数 $\Delta$ 满足 $\Delta \leq 2\lfloor n/6 \rfloor - 4$，则 $K_n$ 是终端对可配的，该结果显著优于先前的 $q \leq \frac{n}{4+2\sqrt{3}} \approx 0.366n$ 的界。
• 本文确立：任意边数不超过 $2n-5$ 且最大度数不超过 $n-1$ 的需求图在 $K_n$ 中均为终端对可配的，证实了与团引理相关的猜想。
• 证明了对终端数的 $4n-10$ 界是紧致的，因为超过该值将导致边不相交路径存在的矛盾。
• 证明采用归纳构造：在通过提升操作处理完某顶点的边重数后删除该顶点，从而保持所需的度数与边数约束。
• 对高degree顶点数（$|B| \leq 3$）的情况分析，确保有足够的顶点可用于提升操作而不违反度数界限。
• 结果表明，在放宽度数与边数约束的条件下，终端对可配性仍可实现，从而扩展了完全图中终端对可配性的适用范围。