[论文解读] Maximum matching on random graphs

Haijun Zhou, Zhong-Can Ou-Yang|arXiv (Cornell University)|Sep 15, 2003

Stochastic processes and statistical mechanics参考文献 3被引用 19

一句话总结

本文运用统计物理中的腔方法，对度数服从泊松分布的随机图上的最大匹配问题进行解析研究。在平均度数 c = e 处，识别出一种连续的玻璃态相变，此时结构熵持续增长，多个被高能垒分隔的最高匹配模式出现，并给出了经模拟验证的最大匹配大小的解析公式。

ABSTRACT

The maximum matching problem on random graphs is studied analytically by the cavity method of statistical physics. When the average vertex degree \mth{c} is larger than \mth{2.7183}, groups of max-matching patterns which differ greatly from each other {\em gradually} emerge. An analytical expression for the max-matching size is also obtained, which agrees well with computer simulations. Discussion is made on this {\em continuous} glassy phase transition and the absence of such a glassy phase in the related minimum vertex covering problem.

研究动机与目标

• 使用统计物理方法分析随机图上的最大匹配问题。
• 研究作为平均顶点度数 c 的函数，多种最高匹配模式及其结构熵的出现。
• 比较最大匹配问题与最小顶点覆盖问题的解空间复杂度，特别是后者的解空间中不存在玻璃态相变的原因。
• 推导平均最大匹配大小的解析表达式，并与数值模拟结果进行对比。

提出的方法

• 将最大匹配问题映射为一种零温自旋玻璃模型，其中边被赋予自旋变量 S ∈ {0,1}，能量泛函被定义为偏好边数最多的匹配。
• 应用腔方法计算自由能和结构熵，实现对副本对称性水平之上的分析，特别是首次副本对称性破缺（1RSB）层次。
• 在度数服从泊松分布的随机图上分析系统，其中平均度数 c 是关键控制参数。
• 通过结构熵估算不同最大匹配态的数量，当 c > e 时，该熵随 n 指数增长。
• 在副本对称区域（c < e）内建立了最大匹配与最小顶点覆盖之间的映射，但当 c > e 时，两者在结构上出现分歧。
• 将最大匹配大小的理论预测与针对约 10^4 个顶点的 1000–3000 个图实例应用多项式时间匹配算法所得的数值结果进行比较。

实验结果

研究问题

• RQ1 在何种平均顶点度数 c 下，会涌现出具有多种不同最大匹配模式的玻璃态相？
• RQ2 为何最大匹配问题表现出连续的玻璃态相变，而随机 3-SAT 问题则表现出不连续相变？
• RQ3 尽管在低 c 时两者等价，为何最大匹配与最小顶点覆盖的解空间复杂度存在显著差异？
• RQ4 在 c > e 时，边的冗余性如何影响最大匹配数与最小覆盖约束之间的关系？
• RQ5 是否能用首次副本对称性破缺的腔方法准确描述随机图上最大匹配问题的解空间？

主要发现

• 在 c = e 处发生连续的玻璃态相变，此时结构熵（不同最大匹配模式数的对数）开始随 c 连续增长。
• 当 c > e 时，不同最大匹配模式的数量随系统大小 n 指数增长，表明存在大量低能量、被高能垒分隔的状态。
• 通过腔方法推导出的平均最大匹配大小解析表达式，在整个 c 范围内与数值模拟结果定量吻合。
• 在 c > e 时，边的冗余性增强了最大匹配的自由度，但对最小覆盖施加了更强的约束，解释了后者不存在玻璃态相变的原因。
• 最大匹配的解空间可通过首次副本对称性破缺（1RSB）腔理论进行分析，表明该模型无需更高阶的副本对称性破缺。
• 当 c < e 时，最大匹配与最小顶点覆盖等价，不存在冗余边；两者仅在 c > e 之后在结构上出现分歧。