[论文解读] 3-regular matchstick graphs with given girth

Sascha Kurz, Giuseppe Mazzuoccolo|arXiv (Cornell University)|Jan 17, 2014

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

一句话总结

本文确定了具有指定周长的3-正则匹配棒图所需的最少顶点数，证明了当且仅当顶点数为偶数且不少于20时，周长为4的此类图才存在。本文构造了一个使用180个顶点的3-正则匹配棒图，其周长为5，并通过欧拉公式和面角分析，严格推导出组合与几何约束，排除了更小的配置。

ABSTRACT

We consider 3-regular planar matchstick graphs, i.e. those which have a planar embedding such that all edge lengths are equal, with given girth g. For girth 3 it is known that such graphs exist if and only if the number of vertices n is an even integer larger or equal to 8. Here we prove that such graphs exist for girth g=4 if and only if n is even and at least 20. We provide an example for girth g=5 consisting of 180 vertices.

研究动机与目标

• 确定给定周长下3-正则平面匹配棒图所需的最少顶点数。
• 解决关于周长为4的3-正则匹配棒图在20个顶点以下是否存在的开放问题。
• 提供一个由180个顶点组成的3-正则匹配棒图的构造性示例，其周长为5。
• 利用欧拉公式和面角和论证，建立必要的几何与组合约束。
• 证明除了无限蜂窝晶格外，不存在有限的3-正则匹配棒图具有周长6或更高。

提出的方法

• 应用欧拉多面体公式，推导3-正则平面匹配棒图中面数与顶点数之间的约束。
• 利用外面对与相邻内面对的几何角和论证，限制四边形面的数量。
• 利用等边四边形的邻角和为π的性质，推导面邻接关系的不等式。
• 应用3-连通性和3-边连通性假设，限制面与外面对的相互作用方式。
• 通过plantri软件进行穷举式计算生成，枚举小顶点数下的候选图。
• 结合理论边界与计算验证，排除所有周长为4且顶点数少于20的配置。

实验结果

研究问题

• RQ1 一个周长为4的3-正则匹配棒图所需的最少顶点数是多少？
• RQ2 是否存在一个周长为5的3-正则匹配棒图？若存在，最小的此类图是什么？
• RQ3 能否在有限平面上构造一个完整的周长为6的3-正则匹配棒图？
• RQ4 组合与几何约束如何限制更高周长下此类图的存在性？
• RQ5 是否存在一种通用算法，能高效判断给定平面图是否允许单位距离嵌入？

主要发现

• 当且仅当顶点数为偶数且不少于20时，存在一个周长为4的3-正则匹配棒图。
• 作者构造了一个由恰好180个顶点组成的周长为5的3-正则匹配棒图。
• 对于周长为4的情况，通过欧拉公式与面角约束的结合，排除了所有顶点数少于20的配置。
• 在周长为5的3-正则匹配棒图中，面数的最小值被下界限制为15，从而得出顶点数的下界为30。
• 除了无限蜂窝晶格外，不存在有限的周长为6或更高的3-正则匹配棒图。
• 基于面邻接与角和推导出的理论约束，足以排除周长为4且顶点数为16或18的所有候选图。