[論文レビュー] 3-regular matchstick graphs with given girth

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

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

ひとこと要約

本稿は、指定された周囲長をもつ3正則マッチ棒図形に必要な頂点の最小数を確立し、周囲長4の図形が存在するための必要十分条件として、頂点数が偶数かつ20以上であること、かつそのような図形が20以上で偶数の頂点数をもつ場合にのみ存在することを証明している。また、180個の頂点をもつ周囲長5の3正則マッチ棒図形を構成し、オイラーの公式と面角解析を用いて、厳密な組合せ論的および幾何的制約を導出することで、より小さな構成は排除されている。

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頂点未満で存在するかどうかという未解決問題を解明すること。
• 周囲長5の3正則マッチ棒図形の構成的例を提示し、その頂点数が180であること。
• オイラーの公式と面角和の議論を用いて、必要な幾何的および組合せ論的制約を確立すること。
• 周囲長6以上で有限の3正則マッチ棒図形が存在しないこと（無限のハニカム格子を除く）を証明すること。

提案手法

• 3正則平面的マッチ棒図形における面数と頂点数の制約を導くために、オイラーの多面体の公式を適用する。
• 外側の面および隣接する内側の面の角度和の議論を用いて、四角形面の数を制限する。
• 正方形の隣接する角度の和がπに等しいことを利用し、面の隣接関係に関する不等式を導出する。
• 3連結性および3辺連結性の仮定を用いて、面が外側の面とどのように相互作用できるかを制限する。
• small vertex counts に対して、plantri ソフトウェアを用いた包括的な計算的生成により候補となるグラフを列挙する。
• 理論的境界と計算的検証を組み合わせ、周囲長4の20未満のすべての構成が除外されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 周囲長4の3正則マッチ棒図形に必要な頂点の最小数は何か？
• RQ2 周囲長5の3正則マッチ棒図形は存在するのか？ もし存在するならば、最小の例は何か？
• RQ3 有限平面内に周囲長6の完全な3正則マッチ棒図形を構成できるか？
• RQ4 より高い周囲長に対して、このような図形の存在を制限する組合せ論的および幾何的制約は何か？
• RQ5 与えられた平面的グラフがユニット距離埋め込みをもつかどうかを、効率的に特定する一般アルゴリズムは存在するか？

主な発見

• 周囲長4の3正則マッチ棒図形が存在するための必要十分条件は、頂点数が偶数かつ20以上であることである。
• 著者らは、正確に180個の頂点をもつ周囲長5の3正則マッチ棒図形を構成した。
• 周囲長4の場合、オイラーの公式と面角制約の組み合わせにより、20未満のすべての構成が除外された。
• 周囲長5の3正則マッチ棒図形における最小の面数は15以上であることが下限付けられ、これにより頂点数の下限が30以上となる。
• 周囲長6以上で有限の3正則マッチ棒図形は存在しない（無限のハニカム格子を除く）。
• 面の隣接関係と角度和から導かれる理論的制約は、周囲長4の16または18頂点のすべての候補図形を排除するのに十分である。