[论文解读] Counting Independent Sets and Kernels of Regular Graphs

Adam Yedidia|ArXiv.org|Oct 24, 2009

Limits and Structures in Graph Theory参考文献 5被引用 4

一句话总结

本文利用二叉决策图（BDDs）提供了数值证据，表明3-正则图中独立集和核的数量分别以 $ w^n $ 和 $ y^n $ 的形式增长，其中 $ w \approx 1.54563 $ 且 $ y \approx 1.299 $。关键的是，该研究支持了如下猜想：这些计数的对数波动保持 $ O(1) $ 级别，表明在大型3-正则图中，贝特近似对这两个量均具有极高的准确性。

ABSTRACT

Chandrasekaran, Chertkov, Gamarnik, Shah, and Shin recently proved that the average number of independent sets of random regular graphs of size n and degree 3 approaches w^n for large n, where w is approximately 1.54563, consistent with the Bethe approximation. They also made the surprising conjecture that the fluctuations of the logarithm of the number of independent sets were only O(1) as n grew large, which would mean that the Bethe approximation is amazingly accurate for all 3-regular graphs. Here, I provide numerical evidence supporting this conjecture obtained from exact counts of independent sets using binary decision diagrams. I also provide numerical evidence that supports the novel conjectures that the number of kernels of 3-regular graphs of size n is given by y^n, where y is approximately 1.299, and that the fluctuations in the logarithm of the number of kernels is also only O(1).

研究动机与目标

• 为如下猜想提供数值证据：3-正则图中独立集数量的对数波动并非通常预期的 $ O(\sqrt{n}) $，而是 $ O(1) $。
• 研究3-正则图中核的数量是否也以 $ y^n $ 的形式指数增长（其中 $ y \approx 1.299 $），以及其波动是否同样有界。
• 将统计力学启发的近似方法（贝特近似）的分析扩展至正则图中核计数这一较少研究的问题。
• 展示二叉决策图（BDDs）在精确枚举大型正则图中独立集与核方面的有效性，从而克服 #P-难问题的挑战。

提出的方法

• 使用二叉决策图（BDDs）对大小为 $ n = 40 $ 以内的3-正则图中的独立集和核进行精确枚举。
• 对于每个图大小 $ n $，在1000个随机采样的3-正则图上计算独立集和核的平均数量。
• 通过 $ w = \exp(\langle \ln Z \rangle / n) $ 估计指数增长速率 $ w $ 和 $ y $，其中 $ Z $ 为独立集或核的数量。
• 通过 $ f(\epsilon) = |\ln Z - n \ln w| $ 或 $ |\ln Z - n \ln y| $ 测量计数对数的波动，并在 $ n $ 逐渐增大时进行分析。
• 将正则3-正则图的结果与平均度为3的非正则图进行比较，以隔离正则性对波动的影响。
• 分析结果表明，正则图中波动保持有界，而非正则图中波动随 $ n $ 增大而增长，凸显了3-正则图的特殊结构。

实验结果

研究问题

• RQ1 当 $ n \to \infty $ 时，3-正则图中独立集数量的对数波动是否保持有界，而非通常预期的 $ O(\sqrt{n}) $ 标度？
• RQ2 3-正则图中核的数量是否渐近为 $ y^n $，且是否表现出 $ O(1) $ 波动？
• RQ3 BDDs 能否为核计数和独立集计数等 #P-难问题提供可靠的数值证据，证明其指数增长与有界波动？
• RQ4 在3-正则图中，独立集与核的统计特性（尤其是熵波动）如何比较？

主要发现

• 3-正则图中独立集的平均数量以 $ w^n $ 的形式增长，其中 $ w \approx 1.54563 $，与贝特近似一致。
• 随着 $ n $ 增大，独立集数量对数的波动保持有界，支持了 $ O(1) $ 波动的猜想。
• 3-正则图中核的平均数量以 $ y^n $ 的形式增长，其中 $ y \approx 1.299 $，这是一个新颖的猜想，得到了数值证据的支持。
• 核的数量对数波动同样有界，表明其行为为 $ O(1) $，尽管其方差大于独立集。
• 对于平均度为3的非正则图，波动随 $ n $ 增大而增长，表明正则性是实现 $ O(1) $ 波动特性的关键因素。
• BDDs 能够实现对独立集和核的精确枚举，最大规模达 $ n = 40 $，为大型随机3-正则图提供了高精度数据。