[論文レビュー] New Upper Bounds on the Distance Domination Numbers of Grids

Armando Grez, Michael Farina|arXiv (Cornell University)|Oct 15, 2014

Advanced Graph Theory Research参考文献 8被引用数 3

ひとこと要約

本稿は、p = 2k² + 2k + 1 である ring homomorphism φₖ: ℤ² → ℤₚ を用いた lattice 基盤の構成を精緻化することで、m×n グリッドグラフの k-距離支配数の上界を改善している。十分に大きな m と n（両方とも 2p より大きい）に対して、k-距離支配数は ⌊(m+2k)(n+2k)/p⌋ − 4 未満であることが証明されており、Fata, Smith, and Sundaram (2013) が示した先行の上界を顕著に低減している。

ABSTRACT

In his 1992 Ph.D. thesis Chang identified an efficient way to dominate $m imes n$ grid graphs and conjectured that his construction gives the most efficient dominating sets for relatively large grids. In 2011 Gonçalves, Pinlou, Rao, and Thomassé proved Chang's conjecture, establishing a closed formula for the domination number of a grid. In March 2013 Fata, Smith and Sundaram established upper bounds for the $k$-distance domination numbers of grid graphs by generalizing Chang's construction of dominating sets to $k$-distance dominating sets. In this paper we improve the upper bounds established by Fata, Smith, and Sundaram for the $k$-distance domination numbers of grids.

研究の動機と目的

• k=2 を超える k-距離支配数のタイトな上界が不足している問題に対処する。
• Fata, Smith, and Sundaram が 2013 年に確立した γₖ(Gₘ,ₙ) の上界を改善する。
• ℤ² の代数的構造を用いて、すべての k ≥ 1 に対して一般化可能な構成を提供する。
• 各コーナーから 4 つの頂点を削除することで、支配集合のサイズを削減するよりタイトな漸近的上界を確立する。
• m と n が 2(2k² + 2k + 1) を超えるとき、上界が成り立つことを確認し、コーナーの重複を避ける。

提案手法

• m×n グリッド Gₘ,ₙ を整数格子 ℤ² に埋め込み、その k-距離近傍 Yₘ₊₂ₖ,ₙ₊₂ₖ を定義する。
• p = 2k² + 2k + 1 である ring homomorphism φₖ: ℤ² → ℤₚ を用い、逆像 φₖ⁻¹(ℓ̄) として周期的支配集合を定義する。
• 組合せ幾何学的証明により、ある ℓ̄ ∈ ℤₚ に対して、集合 φₖ⁻¹(ℓ̄) ∩ Yₘ₊₂ₖ,ₙ₊₂ₖ のサイズが ⌊(m+2k)(n+2k)/p⌋ 未満であることを示す。
• 支配集合の頂点に対して幾何的変換（シフト）を適用し、支配集合の 4 つのコーナーからそれぞれ少なくとも 1 つの頂点を削除する。
• 直線 L₁ と L₂ に基づく傾きのケース別分析を用いて、グリッドの支配が失われないことを保証する形でコーナー頂点の削除を正当化する。
• Gₘ,ₙ の外側にあるすべての頂点を、それらに最も近い Gₘ,ₙ 内の頂点に移動させることで、最終的な支配集合がグリッド内に含まれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 3 の場合に、m×n グリッドグラフの k-距離支配数の最もタイトな上界は何か？
• RQ2 ℤ² における代数的構造は、効率的な k-距離支配集合の構築にどのように活用できるか？
• RQ3 lattice 基盤の構成からコーナーの頂点を削除することで、支配集合のサイズを小さくできるか？
• RQ4 m と n がどのような条件下で、支配が損なわれないようコーナーの頂点を安全に削除できるか？
• RQ5 改善された上界 ⌊(m+2k)(n+2k)/p⌋ − 4 は、すべての十分に大きな m と n に対して成り立ち、先行の上界と比べてどのように異なるか？

主な発見

• 本稿は、m×n グリッドグラフの k-距離支配数に対する新たな上界を確立した：γₖ(Gₘ,ₙ) ≤ ⌊(m+2k)(n+2k)/p⌋ − 4、ここで p = 2k² + 2k + 1 である。
• k=3 の場合、G₅₁,₅₂ に対して新しい上界は 128 に低下し、従来の上界 139 より 9.4% の改善が達成された。
• 大規模なグリッドにおいても改善は一貫している：G₆₅,₆₆ では新しい上界は 200 であり、従来の上界 211 より 5.2% の削減である。
• 3 つの異なる傾きに基づくケース別分析を通じて、幾何的シフトを用いたコーナー頂点の削除が可能であることが証明され、支配が保持されることを保証した。
• m と n が両方とも 2p = 2(2k² + 2k + 1) を超えるとき、上界は有効であり、コーナーの調整が重複しないことを保証する。
• lattice 基盤の支配集合から 1 つの頂点ずつ（コーナーごと）を少なくとも 4 つ削除することで、従来の手法よりもタイトな上界が達成された。