[论文解读] On a Greedy 2-Matching Algorithm and Hamilton Cycles in Random Graphs with Minimum Degree at Least Three

Alan Frieze|arXiv (Cornell University)|Jul 25, 2011

Limits and Structures in Graph Theory参考文献 8被引用 3

一句话总结

本文提出一种贪心算法 2greedy，用于在最小度至少为三且边密度 c ≥ 15 的随机图中寻找具有 O(log n) 个连通分量的 2-匹配。通过旋转和扩展技术对这一 2-匹配进行变换，可在高概率下以 O(n^{1.5+o(1)}) 的时间复杂度构造出哈密顿回路，显著优于此前该问题的运行时间。

ABSTRACT

We describe and analyse a simple greedy algorithm 2greedy that finds a good 2-matching <em>M</em> in the random graph when . A 2-matching is a spanning subgraph of maximum degree two and <em>G</em> is drawn uniformly from graphs with vertex set , <em>cn</em> edges and minimum degree at least three. By good we mean that <em>M</em> has components. We then use this 2-matching to build a Hamilton cycle in time w.h.p.

研究动机与目标

• 开发一种快速算法，用于在最小度至少为三的稀疏随机图中构造哈密顿回路。
• 降低现有算法在该类图中寻找哈密顿回路的时间复杂度。
• 分析一种新型贪心 2-匹配算法 2greedy 在最小度为三的随机图条件下的性能。
• 证明当 c ≥ 15 时，2greedy 生成的 2-匹配中连通分量数量以高概率为 O(log n)。
• 证明可通过旋转和扩展技术高效地将所得 2-匹配转化为哈密顿回路。

提出的方法

• 算法 2greedy 通过贪心选择边来构建 2-匹配，优先选择未被匹配覆盖的度数 ≤2 的顶点以及被覆盖的度数为 1 的顶点。
• 它维护一个收缩图 Γ，并使用 0/1 向量 b 来跟踪当前 2-匹配中路径端点的状态。
• 图的演化通过一个六维状态向量 v = (y1, y2, z1, y, z, µ) 进行建模，用于追踪不同度数和覆盖状态的顶点。
• 采用滑动轨迹的微分方程系统来追踪状态向量的期望演化，通过权重选择使 ˆy′1 = ˆy′2 = ˆz′1 = 0。
• 第一阶段结束后，使用 Chebolu 等人 [10] 提出的线性时间算法在剩余图中找到近似完美匹配。
• 最终的 2-匹配通过组合初始 2-匹配与新匹配形成，以高概率得到 O(log n) 个连通分量。

实验结果

研究问题

• RQ1 是否存在阈值 c1，使得当且仅当 c > c1 时，2greedy 在 Gδ≥3n,cn 中以高概率生成具有 O(log n) 个连通分量的 2-匹配？
• RQ2 当 c ∈ (3/2, c1) 时，2-匹配中的连通分量数量是否仍为 O(nα)（其中 α < 1）？
• RQ3 2greedy 能否被调整以在 Gδ≥3n,cn 中对充分大的 c 实现 O(n^{1+o(1)}) 时间复杂度下找到哈密顿回路？
• RQ4 2greedy 在无最小度条件限制的随机图 Gn,cn 上的表现如何？是否存在一个阈值 c2，使得在该阈值下仅需贪心步骤即可获得最优匹配？
• RQ5 该框架能否推广至在 Gδ≥kn,cn（k ≥ 4）中寻找边不相交的哈密顿回路？

主要发现

• 当 c ≥ 15 时，2greedy 算法在 Gδ≥3n,cn 中以高概率生成具有 O(log n) 个连通分量的 2-匹配。
• 本文提供了分析证明，表明该结果的阈值 c0 至多为 15，同时通过数值方法证明 c0 ≤ 2.5。
• 通过结合 2greedy 生成的 2-匹配与扩展-旋转算法，可在高概率下以 O(n^{1.5+o(1)}) 的时间复杂度构造出哈密顿回路。
• 扩展-旋转算法以高概率成功，其成功依赖于随机图中存在足够多的边以支持路径扩展和环的形成。
• 数值实验表明，2greedy 的性能在 c ≈ 2.5 附近出现相变，此时剩余的低度未覆盖顶点数量急剧下降。
• 该算法的成功关键在于在整个过程中保持低度未覆盖顶点数（ζ）较小，这通过精心的边选择策略和状态追踪得以实现。