[論文レビュー] Small minimal $(3, 3)$-Ramsey graphs

Aleksandar Bikov|arXiv (Cornell University)|Apr 13, 2016

Limits and Structures in Graph Theory参考文献 20被引用数 3

ひとこと要約

本稿では、13頂点以下の最小の(3,3)-ラマーマングラフの計算的列挙を提示し、5未満のクリーク数かつ独立数が|V|−9に等しいものとして8,903個のグラフを同定した。特殊なアルゴリズムを用いて、独立数の上界および最小次数の下界を確立し、ω(G) = 3である(3,3)-ラマーマングラフに対してδ(G) ≥ 8であることを証明した。

ABSTRACT

We say that $G$ is a $(3, 3)$-Ramsey graph if every $2$-coloring of the edges of $G$ forces a monochromatic triangle. The $(3, 3)$-Ramsey graph $G$ is minimal if $G$ does not contain a proper $(3, 3)$-Ramsey subgraph. In this work we find all minimal $(3, 3)$-Ramsey graphs with up to 13 vertices with the help of a computer, and we obtain some new results for these graphs. We also obtain new upper bounds on the independence number and new lower bounds on the minimum degree of arbitrary $(3, 3)$-Ramsey graphs.

研究の動機と目的

• コンピュータ支援アルゴリズムを用いて、13頂点以下のすべての最小の(3,3)-ラマーマングラフを体系的に列挙すること。
• 特に独立数および最小次数に関する境界を含む、最小の(3,3)-ラマーマングラフの構造的性質を同定すること。
• 29頂点のグラフ（α(G) = |V|−9 かつ ω(G) < 5）を含む極値例の同定。
• K₅およびK₄を回避しつつ(3,3)-ラマーマン性を維持するグラフを特徴付けることで、既知のラマーマングラフの結果を拡張すること。

提案手法

• 12頂点までのすべてのグラフについて最小性および(3,3)-ラマーマン性をテストするため、アルゴリズム3.1を設計・実装する。
• 13頂点のグラフへの探索を拡張するために、アルゴリズム3.11を用い、対称性と枝刈り技術を活用する。
• 独立数およびクリーク数に制約を課したグラフを体系的に探索するため、アルゴリズム3.8を適用する。
• 2色塗り分けの全検査により、(3,3)-ラマーマン性の検証にグラフの補グラフおよび誘導部分グラフ解析を用いる。
• 既知の構成（例：K₃ + C₅、K₁ + Γ）を基本ケースとして用い、最小性および極値的性質の妥当性を検証する。
• 同型を避けるための非同型生成および正規化ラベル付けを実装し、計算の冗長性を排除するとともに完全性を保証する。

実験結果

リサーチクエスチョン

• RQ1 クリーク数が5未満である13頂点以下の最小の(3,3)-ラマーマングラフは、いくつ存在するか？
• RQ2 クリーク数が5未満である最小の(3,3)-ラマーマングラフにおいて、独立数の最大値は何か？
• RQ3 クリーク数がω(G) = 3またはω(G) ≤ 4である最小の(3,3)-ラマーマングラフに対して、最小次数δ(G)の最もタイトな下界は何か？
• RQ4 独立数および最小次数の理論的境界に達する新たな極値グラフを構成可能か？
• RQ5 クリーク数が3で独立数が|V|−9である非自明な最小の(3,3)-ラマーマングラフは存在するか？その数はいくつか？

主な発見

• クリーク数が5未満で独立数が|V|−9に等しい最小の(3,3)-ラマーマングラフは、正確に8,903個存在し、最大で29頂点のものがある。
• Nenovの15頂点グラフK₁ + Γは、α(G) = |V|−8かつω(G) < 5を満たす唯一の既知の最小の(3,3)-ラマーマングラフである。
• 任意のクリーク数が4未満である最小の(3,3)-ラマーマングラフに対して、最小次数はδ(G) ≥ 5を満たし、この境界はタイトである。
• クリーク数が3である最小の(3,3)-ラマーマングラフに対して、最小次数はδ(G) ≥ 8を満たし、この境界もタイトである。
• 13頂点のグラフG₁₃.₁₉₃₆₈₄、G₁₃.₁₉₃₇₆₀などは13,000以上の自己同型を示し、高い対称性を示している。
• 独立数が2または6である13頂点の最小の(3,3)-ラマーマングラフはすべて列挙済みであり、独立数が6であるものは6つ存在する。