[論文レビュー] Exact values for three domination-like problems in circular and infinite grid graphs of small height

Marwane Bouznif, Julien Darlay+2 more|arXiv (Cornell University)|Aug 2, 2017

graph theory and CDMA systems被引用数 5

ひとこと要約

本稿では、正方形、三角形、キンググリッドにおける高さが4以下の小さな高さの円形および無限グリッド・グラフにおいて、識別（ID）、局所化支配（LD）、局所化全支配（LTD）の3つの支配類似コードの正確な最小密度および基数を提示する。回転グラフにおける擬似-d-局所的性質の一般枠組み内でのコンピュータ探索を用いて、著者たちは新たな正確な値を導出し、既知の結果についても別証明を提供し、特に高さ3の正方形ストリップにおけるIDコードの既存の境界を改善した（最適密度：7/18）および高さ2の三角形ストリップにおけるLTDコードの境界を改善した（最適密度：1/3）。

ABSTRACT

In this paper we study three domination-like problems, namely identifying codes, locating-dominating codes, and locating-total-dominating codes. We are interested in finding the minimum cardinality of such codes in circular and infinite grid graphs of given height. We provide an alternate proof for already known results, as well as new results. These were obtained by a computer search based on a generic framework, that we developed earlier, for the search of a minimum labeling satisfying a pseudo-d-local property in rotagraphs.

研究の動機と目的

• 特に識別、局所化支配、および局所化全支配コードに関して、小高さグリッド・グラフにおける支配類似コードの正確な値が不足しているという問題を解決すること。
• 正方形、三角形、キンググリッドにおける高さ4までの円形および無限ストリップにおいて、これらのコードの正確な最小基数および密度を提供すること。
• 擬似-d-局所的性質に基づく一般化された計算フレームワークを構築し、最適なコード構成を体系的かつ検証可能に探索すること。
• 特に高さ3の正方形ストリップにおける識別コードおよび高さ2の三角形ストリップにおける局所化全支配コードに関して、従来の境界を改善すること。
• 再現可能でアルゴリズムに裏付けられた結果を基盤として、構造的グリッド・トポロジーにおけるコード最適化の今後の研究を促進すること。

提案手法

• 過去の研究から得られた一般理論枠組みを応用し、回転グラフにおける擬似-d-局所的制約付き最小ラベル付け問題をモデル化・解法する。特にグリッド・グラフに適用する。
• 固定高さおよびサイズの有限な円形ストリップにおけるすべての可能なコード構成を体系的に評価するコンピュータ探索アルゴリズムを実装する。
• 動的計画法および状態遷移技術を用いて、各状態あたり定数時間で構成を探索し、最小基数コードの計算を効率化する。
• 有限な円形ストリップからの結果を、コロナリー2（Corollary 2）を用いて無限ストリップの最小密度に展開する。
• 文献からの既知の境界やパターンと比較することで結果を検証し、周期的パターンを用いて最適密度を確認する。
• メモリ効率の良い状態表現および枝刈り戦略などの技術的最適化を用いて、探索プロセスにおける実行時間およびRAM使用量を削減する。

実験結果

リサーチクエスチョン

• RQ1 正方形グリッドにおける高さ3の円形ストリップにおける識別コードの正確な最小基数は何か？
• RQ2 三角形グリッドにおける高さ2の無限ストリップにおける局所化全支配コードの最小密度は何か？
• RQ3 高さ4の無限ストリップにおける局所化支配コードの最小密度は、より小さい高さのものと比べてどのように異なるか？
• RQ4 提案された計算フレームワークは、小高さグリッドにおけるこれまで未知のコード構成に対しても正確な結果を導けるか？
• RQ5 高さ3の正方形ストリップにおける識別コードの最適密度は理論的下界と一致するか？もしそうであれば、どのようなパターンがそれを達成するか？

主な発見

• 無限の正方形グリッド・ストリップ（高さ3）における識別コードの最小密度は正確に 7/18 であり、以前の上界 2/5 よりも改善された。
• 正方形グリッドにおけるサイズ n、高さ3の円形ストリップに対して、LTDコードの最小基数は n である（n ≡ 0 mod 6 のとき）、そうでない場合は n+1 である。このとき最小密度は 1/3 に達する。
• 三角形グリッドにおいて、高さ2の無限ストリップにおけるLTDコードの最小密度は 1/3 であり、周期が3の周期的パターンによって達成される。
• 正方形グリッドにおける高さ4の円形ストリップにおけるIDコードの最小基数は、ストリップサイズの 11/28 に相当し、これは新たな正確な結果である。
• 高さ3の三角形グリッドにおけるLTDコードの最適周期的パターンは密度 1/3 を達成し、3の倍数サイズのすべての円形ストリップに適用可能である。
• 円形ストリップの解から導かれた無限ストリップの結果により、無限グリッドにおける最小密度が有限ストリップのそれ以下であることが確認された。特に、無限正方形グリッドにおけるIDコードの最小密度は 7/20 が最小であると判明した。