[論文レビュー] Searching for Large Circulant Graphs

Ramiro Feria-Purón, Hebert Pérez‐Rosés+1 more|arXiv (Cornell University)|Mar 25, 2015

Graph theory and applications参考文献 30被引用数 3

ひとこと要約

本稿では、与えられた次数Δと径値Dに対する大きな無向巡回グラフを構築するためのコンピュータ支援探索アルゴリズムを提示している。Δ ≤ 15およびD ≤ 10の範囲で、これまでに得られた最大のグラフを達成している。この手法は体系的な列挙と同型性の除外を用い、先行研究の上限を著しく改善し、理論的上限に対する性能の統計的分析を伴うベンチマーク表を確立している。

ABSTRACT

We address the problem of constructing large undirected circulant networks with given degree and diameter. First we discuss the theoretical upper bounds and their asymptotics, and then we describe and implement a computer-based method to find large circulant graphs with given parameters. For several combinations of degree and diameter, our algorithm produces the largest known circulant graphs. We summarize our findings in a table, up to degree 15 and diameter 10, and we perform a statistical analysis of this table, which can be useful for evaluating the performance of our methods, as well as other constructions in the future.

研究の動機と目的

• 指定された次数と径値を持つ大きな無向巡回グラフを求めるコンピュータベースのアルゴリズムの開発および実装。
• 次数Δ ≤ 15および径値D ≤ 10の小さな値に対して、最大の既知の巡回グラフの包括的なベンチマーク表の作成。
• 理論的上限（F(t,D)およびF′(t,D)を含む）との比較を通じて、アルゴリズムの性能を評価すること。
• 頂点推移的で構造的・ルーティング特性に優れたクラスに属する巡回グラフのための体系的記録収集を開始し、これまでに中央集権的なベンチマークが存在しなかった分野を補完すること。
• 既存の上限の鋭さを検証し、今後のグラフ構築における改善の可能性が最も高い分野を同定すること。

提案手法

• アルゴリズムは、nおよびSでパラメータ化された巡回グラフC(n;S)の可能性のある接続集合Sについて、Δ = |S|および径値D ≤ 与えられた上限の範囲で体系的な探索を実行する。
• 同型性の除外技術を用いて、同型なグラフの重複計算を回避し、探索空間を著しく削減する。
• 奇数次のΔ = 2t+1の場合、接続集合には±s₁,…,±sₜおよびnが偶数のときn/2が含まれる。偶数次のΔ = 2tの場合、±s₁,…,±sₜ（sᵢ < n/2）のみが含まれる。
• 探索は理論的上限F(t,D) = ∑ᵢ₌₀ᵗ 2ⁱ (t choose i) (D choose i) に基づき、性能評価および最適化の指針として用いられる。
• 既知のグラフが上限の何パーセントを達成しているかをモデル化するため、パーセンテージに適合する二四次多項式q(Δ,D)をフィッティングし、予測モデリングと性能分析を可能にする。
• 得られたグラフ次数の表について統計的分析を実施し、予測値と実際の値の差分マップ（色分け）を用いて、性能が低いか、有望なパラメータ領域を特定する。

実験結果

リサーチクエスチョン

• RQ1 次数Δ ≤ 15および径値D ≤ 10の各組み合わせについて、最大の既知の巡回グラフは何か？
• RQ2 構築された巡回グラフは理論的上限F(t,D)にどの程度近いか？
• RQ3 異なるΔおよびDの値において、探索アルゴリズムの性能に体系的なパターンは存在するか？
• RQ4 探索からの実証的知見に基づいて、上限F(t,D)を改善または精緻化できるか？
• RQ5 予測値との性能ギャップに基づいて、今後の構築改善の最も有望な分野はどこか？

主な発見

• アルゴリズムは、次数Δ ≤ 15および径値D ≤ 10のすべての組み合わせについて、これまでに得られた最大の巡回グラフを成功裏に構築し、新たなベンチマーク表を形成した。
• Δ = 5から8の範囲では、表に含まれるすべてのグラフが最適であることが証明されており、理論的上限F(t,D)より下に位置しているため、より鋭い理論的上限の必要性が示された。
• 性能分析の結果、奇数次のグラフは偶数次のグラフに比べて性能が劣ることが判明したが、特に径値が小さい場合に顕著であり、パーセンテージの観点からは統計的に優位ではない。
• 改善の最も有望な分野は、Δ = 10–11（D = 6–10）およびΔ = 14–15（D = 4–5）の行であり、実際の値が予測値に著しく遅れを取っている。
• 二四次多項式q(Δ,D)は、上限の達成パーセンテージに対して良好な適合を示し、正規化された差分マップにより、現在の構築手法が不足している領域を明確に特定した。
• 本研究により、F(t,D)およびF′(t,D)は鋭い上限ではないことが確認され、特にΔ > 8の範囲ではさらなる理論的精緻化が求められることが示された。