[論文レビュー] Table of minimum ranks of graphs of order at most 7 and selected optimal matrices

Laura DeLoss, Jason Grout+4 more|ArXiv.org|Dec 4, 2008

Graph theory and applications参考文献 1被引用数 4

ひとこと要約

この論文では、高度な還元技術および境界を実装した独自のSageベースのプログラムを用いて、7次以下のすべての単純グラフの最小ランクの包括的な表を提示している。すべてのグラフについて正確な最小ランクが特定され、手計算で決定された場合や追加の検証が必要な場合の結果を検証するため、選択された最適な対称行列が提供されている。

ABSTRACT

The minimum rank of a simple graph $G$ is defined to be the smallest possible rank over all symmetric real matrices whose $ij$th entry (for $i eq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. Minimum rank is a difficult parameter to compute. However, there are now a number of known reduction techniques and bounds that can be programmed on a computer; we have developed a program using the open-source mathematics software Sage to implement several techniques. We have also established several additional strategies for computation of minimum rank. These techniques have been used to determine the minimum ranks of all graphs of order 7. This paper contains a list of minimum ranks for all graphs of order at most 7. We also present selected optimal matrices.

研究の動機と目的

• 7頂点以下のすべての単純グラフの正確な最小ランクを計算すること。
• オープンソースのSageソフトウェアを用いた計算フレームワークを構築し、最小ランクの自動決定に応用すること。
• 最小ランクを実現する最適な対称行列の構築を通じて、結果の妥当性を検証すること。
• 研究やベンチマークに利用可能な公開可能な、コンピュータで読み取り可能な最小ランクおよび関連する境界のデータセットを提供すること。
• グラフ理論における最小ランク計算のための既存の理論的境界および還元技術を拡張すること。

提案手法

• 複数のグラフ論的不変量を用いて、最小ランクの下界および上界を計算するSageベースのプログラムを実装した。
• ゼロフォースティング数、直径、クリーク被覆数、平面性／非平面性の制約を、境界の出力源として適用した。
• 誘導部分グラフの検出を用いて、最小ランク ≥3 を強制する禁止部分グラフを同定した。
• カット頂点および木構造の検出を用いて還元をガイドし、境界のタイトさを向上させた。
• 下界がタイトであることを確認し、最小ランクが達成されることを裏付けるために、特定のグラフに対して最適な対称行列を生成した。
• 将来的な研究やソフトウェアツールへの統合を可能にするために、構造化された機械可読データセット（CSVおよびSageスクリプト）を提供した。

実験結果

リサーチクエスチョン

• RQ1 7頂点以下のすべての単純グラフの正確な最小ランクは何か？
• RQ2 計算技術をどのように体系的に組み合わせることで、スパarsなグラフおよび密なグラフの最小ランクの境界を改善できるか？
• RQ3 木構造、平面的・外部平面的・非平面的など、どのようなグラフ構造が最小ランクの境界をよりタイトまたは緩くするか？
• RQ4 最小ランクの計算結果の正しさを検証するために、最適な対称行列を体系的に構築できるか？
• RQ5 ゼロフォースティング集合、直径、誘導部分グラフなどの構造的不変量は、下界と上界の差を狭める役割を果たすか？

主な発見

• 7次以下の非同型グラフ1052個すべてについて最小ランクが正確に計算された。
• プログラムで最小ランクが計算できないグラフについては、手計算の結果の正しさを確認するため、最適な対称行列が構築された。
• プログラムは99％のグラフについて最小ランクを正常に計算したが、わずかな数のグラフ（例：558, 669, 678, 679, 791, 1086, 1135）については、[2, 系4.1]を用いた外部の理論的検証が必要であった。
• ゼロフォースティング集合サイズ（ZFS LB）と直径（Diam LB）が強い下界を提供した一方、クリーク被覆（CC UB）と非平面性（NP UB）が有用な上界を提供した。
• 7頂点の完全グラフ（K₇）の最小ランクは1であり、その隣接行列がランク1であることと整合的である。
• プログラムの出力（境界および構造的フラグ、例：Tree, CV, IS）により、構造的性質に基づいたグラフの効率的なフィルタリングと分析が可能になった。