[論文レビュー] Spectral study of alliances in graphs

J.A. Rodrı́guez, José M. Sigarreta|ArXiv.org|Feb 20, 2006

Graph theory and applications参考文献 2被引用数 6

ひとこと要約

本稿では、代数的連結度、スペクトル半径、ラプラシアンスペクトル半径を用いて、グラフにおけるグローバル防御的・攻撃的・デュアル同盟数のタイトなスペクトル境界を確立する。これらの同盟パラメータとグラフ固有値との間の明示的不等式を導出し、このような同盟の最小サイズがグラフのスペクトル的性質によってきわめて厳密に制約されることを証明している。完全グラフおよび対称グラフにおいて、境界の鋭さが検証されている。

ABSTRACT

In this paper we obtain several tight bounds on different types of alliance numbers of a graph: (global) defensive alliance number, global offensive alliance number and global dual alliance number. In particular, we investigate the relationship between the alliance numbers of a graph and its algebraic connectivity, its spectral radius, and its Laplacian spectral radius.

研究の動機と目的

• グラフにおけるグローバル防御的・攻撃的・デュアル同盟数のタイトな下界を確立すること。
• 同盟パラメータと主なスペクトル不変量（代数的連結度、スペクトル半径、ラプラシアンスペクトル半径）との関係を調査すること。
• 既知のグラフ族（完全グラフやイコサヘドロンなど）に対して鋭い境界となる明示的かつタイトな境界を提供すること。
• 固有値に基づく不等式を導出し、スぺクトルグラフ理論と同盟理論を統合することにより、支配的タイプのパラメータに対する固有値に基づく不等式を確立すること。

提案手法

• 重み付き頂点差の式を含むフィードラー公式を用いて定義される代数的連結度 μ を使用する。
• グラフ論的恒等式を適用する：部分集合 S 内部および外部における隣接頂点の次数の和、および S と V\S 間のクロスエッジの対称性。
• スペクトル境界と同盟に属する頂点の次数制約を組み合わせることで不等式を導出する。
• スペクトル半径 λ およびラプラシアンスペクトル半径を用いて、和の恒等式およびコーシー＝シュワルツ型推論により同盟サイズを評価する。
• 組合せ的主張（例：∑|N_S(v)| ≤ |S|(|S|−1)）を用いて、同盟内の頂点次数に対する境界を鋭くする。
• 完全グラフ K_n、K_{3,6}、K_{3,3}、およびイコサヘドロンなどの代表的グラフにおいて境界の鋭さを検証する。

実験結果

リサーチクエスチョン

• RQ1 グラフの代数的連結度 μ とグローバル防御的同盟数および強い防御的同盟数の関係は何か？
• RQ2 スペクトル半径 λ およびラプラシアンスペクトル半径を用いて、グローバル攻撃的およびデュアル同盟数を評価できるか？
• RQ3 グラフのサイズ m とスペクトル半径 λ で表したとき、グローバルデュアル同盟数の最もタイトな下界は何か？
• RQ4 得られたスペクトル境界は、完全グラフや完全二部グラフなどの特定のグラフ族に対して鋭いか？
• RQ5 最大次数 Δ を組み込む場合、強い同盟に対する境界と通常の同盟に対する境界はどのように異なるか？

主な発見

• グローバル防御的同盟数 γ_a(Γ) は、γ_a(Γ) ≥ ⌈nμ / (n + μ)⌉ を満たし、完全グラフ K_n で等号が成立する。
• 強い防御的同盟数 γ_â(Γ) は、γ_â(Γ) ≥ ⌈n(μ + 1)/(n + μ)⌉ を満たし、K_n でこの境界が鋭い。
• グローバル攻撃的同盟に関して、γ_a₀(Γ) ≥ ⌈(2m + n)/(4(λ + 1))⌉ が成り立ち、K_n および K_{3,6} で鋭い。
• グローバル強い攻撃的同盟数は、γ_â₀(Γ) ≥ ⌈(m + n)/(2λ + 1)⌉ を満たし、K_{3,3} で等号が成立する。
• グローバルデュアル同盟数 γ_ad(Γ) は、⌈(2m + n)/(4(λ + 1))⌉ で下から抑えられ、K_n や図2の右側のグラフでこの境界が達成される。
• γ_âd(Γ) ≥ ⌈(1 + √(1 + 8(n + m)))/4⌉ という境界は、K_1*(K_2 ∪ K_2) で鋭く、理論的限界を確認する。