[論文レビュー] The 2-Domination and 2-Bondage Numbers of Grid Graphs

You Lu, Jun‐Ming Xu|arXiv (Cornell University)|Apr 20, 2012

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

ひとこと要約

本稿は、2 ≤ m ≤ 4 および任意の n に対して、グリッドグラフ Gₘ,ₙ の 2-支配数 γ₂ および 2-ボンドージ数 b₂ を決定する。構造的解析と構成的証明を用いて、γ₂(Gₘ,ₙ) の正確な公式を確立し、b₂(G₄,ₙ) ≤ 2 を示す。これにより、小規模なグリッドグラフにおける 2-支配のパラメータの完全な特徴付けが初めて得られた。

ABSTRACT

Let $p$ be a positive integer and $G=(V,E)$ be a simple graph. A subset $D\subseteq V$ is a $p$-dominating set if each vertex not in $D$ has at least $p$ neighbors in $D$. The $p$-domination number $\g_p(G)$ is the minimum cardinality among all $p$-dominating sets of $G$. The $p$-bondage number $b_p(G)$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with a $p$-domination number greater than the $p$-domination number of $G$. In this note we determine the 2-domination number $\g_2$ and 2-bondage number $b_2$ for the grid graphs $G_{m,n}=P_m imes P_n$ for $2\leq m\leq 4$.

研究の動機と目的

• 2 ≤ m ≤ 4 および任意の n に対して、グリッドグラフ Gₘ,ₙ の 2-支配数 γ₂(Gₘ,ₙ) を決定すること。
• 同じクラスのグリッドグラフに対して 2-ボンドージ数 b₂(Gₘ,ₙ) を計算すること。
• 構造的および構成的メソッドを用いて、γ₂(Gₘ,ₙ) のタイトな境界および正確な公式を確立すること。
• 2-支配集合のエッジ安定性を分析し、2-支配数を増加させる最小のエッジ部分集合を同定すること。
• m ∈ {2,3,4} および変化する n のすべてのケースに対して、γ₂-集合および b₂-エッジ集合の明示的構成を提供すること。

提案手法

• 各 m ∈ {2,3,4} に対して、周期的ブロックパターン（例：Tₙ ブロック）を用いて 2-支配集合を構築し、すべての頂点が集合内に少なくとも 2 つの隣接頂点を持つことを保証する。
• 組合せ的補題を用いて列ごとの支配（cⱼ(D)）を束縛し、列内の孤立頂点に制約を課す。
• 対称性および極値的議論を用いて、c₁(D) および cₙ(D) の下界を証明し、これらが少なくとも ⌈m/3⌉ 以上でなければならないことを示す。
• エッジ削除の影響を分析する際、エッジ (i,j)(i′,j′) を削除する場合を検討し、代替の 2-支配集合を構築することで、γ₂ が変化しないことを示す。ただし、重要なエッジが削除された場合は変化する。
• b₂(G₄,ₙ) ≤ 2 を証明するため、特定の 2 つのエッジ (e₁, e₂) の削除により 2-支配数が増加することを示し、部分グラフの同型および n に関する帰納法を用いる。
• G₄,ₙ₋₅ と G₄,ₙ₋₄ の間の同型性を活用し、基本ケースから任意の n へと再帰的ブロック構築により結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 m ∈ {2,3,4} および任意の n に対して、2-支配数 γ₂(Gₘ,ₙ) の正確な値は何か？
• RQ2 m ∈ {2,3,4} の場合、2-ボンドージ数 b₂(Gₘ,ₙ) は何か？ また、γ₂ を増加させる最小のエッジ部分集合は何か？
• RQ3 構造的制約（例：列ごとの支配、頂点の次数）は、グリッドグラフにおける 2-支配集合の最小サイズにどのように影響するか？
• RQ4 固定された m に対して 2-ボンドージ数を一様に束縛できるか？ また、2-支配を不安定化させる最小のエッジ部分集合のサイズは何か？
• RQ5 2-支配集合およびエッジ部分集合の周期的構成は、異なるグリッド次元にどのように一般化されるか？

主な発見

• m=2 の場合、2-支配数は γ₂(G₂,ₙ) = ⌈(3n+2)/2⌉ であり、2-ボンドージ数は b₂(G₂,ₙ) = 2 である。
• m=3 の場合、2-支配数は γ₂(G₃,ₙ) = ⌈(7n+3)/4⌉ であり、2-ボンドージ数は b₂(G₃,ₙ) = 2 である。
• m=4 の場合、2-支配数は γ₂(G₄,ₙ) = ⌈(7n+3)/4⌉ であり、2-ボンドージ数は b₂(G₄,ₙ) ≤ 2 を満たす。
• 2-ボンドージ数 b₂(G₄,ₙ) は正確に 2 であり、特定の 2 つのエッジ (e₁, e₂) を削除することで γ₂ が増加することにより実証された。
• 本稿では、周期的ブロック Tₙ を用いて、n mod 4 に応じて 4 または 5 列ごとに繰り返されるパターンで、明示的な γ₂-集合および b₂-エッジ集合を構成した。
• n ≡ 3 mod 4 の場合、特定のブロック T₄ₖ₊₃ が使用され、2-支配集合 D₄ₖ₊₃ が、2 つのエッジ削除を除きすべての状況で最小かつ安定であることが示された。