[论文解读] On some extremal problems in graph theory

Dmitry Jakobson, Igor Rivin|ArXiv.org|Jul 8, 1999

Graph theory and applications参考文献 42被引用 21

一句话总结

本文通过分析无权图和加权图中的围长、直径、拉普拉斯特征值及生成树数量等不变量，研究极值图论问题。利用一种贪心边插入算法，该算法通过最大化生成树数量来构建图，作者生成了一系列立方图，自然地包含了所有已知的 (3,g)-笼图（g ≤ 8），展示了极值图不变量与已知笼图之间的构造性联系。

ABSTRACT

In this paper we are concerned with various graph invariants (girth, diameter, expansion constants, eigenvalues of the Laplacian, tree number) and their analogs for weighted graphs -- weighing the graph changes a combinatorial problem to one in analysis. We study both weighted and unweighted graphs which are extremal for these invariants. In the unweighted case we concentrate on finding extrema among all (usually) regular graphs with the same number of vertices; we also study the relationships between such graphs.

研究动机与目标

• 识别在加权图空间中，girth、diameter 和生成树数量等关键不变量的局部极值点的无权图。
• 探索图不变量（尤其是生成树数量）与极值图结构（如笼图和拉马努金图）之间的关系。
• 通过迭代插入边以最大化生成树数量，开发一种构造极值立方图的方法。
• 证明已知的 (3,g)-笼图可自然地从以单纯形（tetrahedron）为起点的贪心立方图序列中出现。
• 提供一个框架，用于通过优化生成树数量以外的图不变量，发现新的极值图。

提出的方法

• 使用贪心算法，通过每次选择使结果图中生成树数量最大的新边，迭代地向立方图中插入边。
• 该方法从四面体（K₄）开始，通过每一步增加两个新顶点及它们之间的一条边，构建一系列 2n-vertex 的立方图。
• 利用基尔霍夫矩阵树定理计算生成树数量，该定理将其与非零拉普拉斯特征值的乘积联系起来。
• 将该算法应用于生成一系列立方图，并分析其结构特性，如围长和直径。
• 作者使用计算机程序生成并验证了图序列，尤其针对 18、24 和 30 个顶点的情况，扩展至小规模图以外的范围。
• 通过边细分和完美匹配的结构构造方法，从更小的基图中推导出已知的笼图，如彼得森图、希伍德图和图-考克斯eter图。

实验结果

研究问题

• RQ1 哪些无权图是在加权图空间中，girth、diameter 和生成树数量等不变量的局部极值点？
• RQ2 一种通过最大化生成树数量来贪心插入边的过程，能否生成已知的极值图，如 (3,g)-笼图？
• RQ3 生成树数量的渐近增长速率与第一非零拉普拉斯特征值等谱性质之间有何关系？
• RQ4 基于边细分和完美匹配的构造方法，如何与已知笼图的出现相关联？
• RQ5 类似的贪心算法是否可应用于 k-正则图（k ≥ 4）以发现新的极值图？

主要发现

• 从四面体出发，通过贪心边插入生成的立方图序列，包含了彼得森图（10 个顶点）、希伍德图（14 个顶点）、麦吉图（24 个顶点）和图-考克斯eter图（30 个顶点），它们分别是 g = 5、6、7 和 8 的 (3,g)-笼图。
• 序列中第 12 个顶点的图，通过对彼得森图进行边插入得到，其生成树数量为 9800，是目前已知的 12 个顶点立方图中最多的。
• 序列中 8 个顶点的图是 Möbius 梯子，有 392 棵生成树；6 个顶点的图是 K₃,₃，两者均被确认为其对应顶点类中的最大值。
• 生成树数量迅速增长：从彼得森图的 2000 棵增长到下一图的 9800 棵，表明在贪心规则下表现出强烈的极值行为。
• 该构造方法解释了已知 (3,g)-笼图作为最大化生成树数量的自然结果而出现，暗示其出现背后存在统一的原理。
• 作者确认，12 个顶点的图以及序列中 16 个或更多顶点的图为新发现，而早期图与已知表格一致。