[论文解读] The number of cliques in graphs of given order and size

Vladimir Nikiforov|ArXiv.org|Oct 11, 2007

Advanced Graph Theory Research参考文献 2被引用 5

一句话总结

本文针对 r = 3 和 r = 4 的情况，建立了在 n 个顶点和 m 条边的图中，r-团（大小为 r 的完全子图）的最小数量的紧下界。通过在对称矩阵和向量上对多重线性形式进行约束最小化，证明了该最小数量可由一个闭式表达式近似，误差小于 $ n^r / (n^2 - 2m) $，从而解决了 RAZBOROV 针对 r > 3 的长期悬而未决的问题。

ABSTRACT

Let k_r(n,m) denote the minimum number of r-cliques in graphs with n vertices and m edges. For r=3,4 we give a lower bound on k_r(n,m) that approximates k_r(n,m) with an error smaller than n^r/(n^2-2m). The solution is based on a constraint minimization of certain multilinear forms. In our proof, a combinatorial strategy is coupled with extensive analytical arguments.

研究动机与目标

• 解决长期悬而未决的问题：确定在 n 个顶点和 m 条边的图中，r-团的最小数量，其中 r = 3 和 r = 4。
• 将 RAZBOROV 针对 r = 3 的突破性结果推广至 r = 4 及更广范围，克服先前方法的局限性。
• 开发一个结合组合优化与分析工具（如泰勒展开和拉格朗日乘数法）的一般性框架。
• 建立一个 r-团数量的下界，其误差为次多项式，从而逼近真实最小值。

提出的方法

• 将问题表述为在对称 0-1 矩阵 A 和非负向量 $ \mathbf{x} $ 上最小化多重线性形式 $ L_r(A, \mathbf{x}) $，并施加对总和与类似边的和的约束。
• 在集合 $ \mathcal{S}_n(c) $ 上引入一个约束优化问题，其定义为 $ L_1(A, \mathbf{x}) = 1 $ 且 $ L_2(A, \mathbf{x}) = c $，以对问题进行归一化。
• 利用图兰图结构和一个所有非对角线元素均为 1 的对称矩阵 $ A_s $ 来建模极值配置。
• 应用分析技术，包括泰勒展开、拉格朗日乘数法和连续性论证，以最小化多重线性形式。
• 推导出 $ \varphi_r(c) $ 的显式公式，即 $ L_r(A, \mathbf{x}) $ 的最小值，其表达式涉及上取整函数 $ \xi(c) = \lceil 1/(1 - 2c) \rceil $。
• 通过凹性及解的分段延拓，证明图大小为 m 时，r-团的最小数量被一个函数 $ f(m) $ 上界控制，且误差小于 $ n^r / (n^2 - 2m) $。

实验结果

研究问题

• RQ1 在具有 n 个顶点和 m 条边的图中，3-团（三角形）的最小数量是多少，如何实现紧致下界？
• RQ2 用于 r = 3 的方法能否推广至 r = 4，以对 r-团数量提供类似的紧致下界？
• RQ3 在极值图论中，为在对称且有界的约束下最小化多重线性形式，需要哪些分析与组合工具？
• RQ4 图兰图的结构如何影响 r = 3 和 r = 4 时 r-团的最小数量？
• RQ5 能否控制并显式量化下界与真实最小值之间的误差？

主要发现

• 对于 r = 3 和 r = 4，具有 n 个顶点和 m 条边的图中，r-团的最小数量由 $ \varphi_r(c) $ 下界控制，其中 $ c = m / \binom{n}{2} $，且 $ \varphi_r(c) $ 以闭式表达式给出，涉及 $ s = \lceil 1/(1 - 2c) \rceil $。
• 当 $ n \geq \xi(c) $ 时，该下界 $ \varphi_r(c) $ 与 n 无关，且最小值由一个类似于图兰图但含一个异常顶点的图实现。
• 真实最小值 $ k_r(n,m) $ 与下界 $ f(m) $ 之间的误差严格小于 $ n^r / (n^2 - 2m) $，该误差在 n 上为次多项式。
• 函数 $ f(m) $（用于控制 $ k_r(n,m) $）是凹的且分段定义，其导数有界于 $ \binom{s-2}{r-2} (n/(s-1))^{r-2} $。
• 该解通过组合优化与分析技术（包括泰勒展开和拉格朗日乘数法）的结合构建，确保了紧致性与连续性。
• 该方法可推广至 r > 4，预计可扩展至所有 r ≥ 3，为解决全部 r ≥ 3 的问题提供了可行路径。