[論文レビュー] Iteration Index of a Zero Forcing Set in a Graph

Kiran B. Chilakamarri, Nathaniel Dean+2 more|arXiv (Cornell University)|May 8, 2011

Advanced Graph Theory Research参考文献 9被引用数 31

ひとこと要約

本稿では、グラフにおけるゼロフォースティング集合の反復インデックスを導入する—これは、最小ゼロフォースティング集合から出発して、全頂点を黒に変えるために必要なグローバルな色変更ルール適用回数を測る新しいグラフ不変量である。主な貢献は、円の束（bouquet of circles）の反復インデックスに対する正確な公式である：$ I(B_n) = \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil - 1 $、ここで $ k_n $ および $ k_{n-1} $ は、共通のカット頂点を共有する2つの最大のサイクルのサイズを表す。

ABSTRACT

Let each vertex of a graph G = (V(G), E(G)) be given one of two colors, say, "black" and "white". Let Z denote the (initial) set of black vertices of G. The color-change rule converts the color of a vertex from white to black if the white vertex is the only white neighbor of a black vertex. The set Z is said to be a zero forcing set of G if all vertices of G will be turned black after finitely many applications of the color-change rule. The zero forcing number of G is the minimum of |Z| over all zero forcing sets Z \subseteq V (G). Zero forcing parameters have been studied and applied to the minimum rank problem for graphs in numerous articles. We define the iteration index of a zero forcing set of a graph G to be the number of (global) applications of the color-change rule required to turn all vertices of G black; this leads to a new graph invariant, the iteration index of G - it is the minimum of iteration indices of all minimum zero forcing sets of G. We present some basic properties of the iteration index and discuss some preliminary results on certain graphs.

研究の動機と目的

• 最小ゼロフォースティング集合に関連する新しいグラフ不変量としての反復インデックスを定義し、形式化すること。
• 同じグラフの異なるゼロフォースティング集合において、ステップ数（色変更ルールの適用回数）がどのように変化するかを調査すること。
• すべての最小ゼロフォースティング集合の中で、反復インデックスを最小化するものを探ることにより、グラフに対する新しい不変量を導出すること。
• 特に円の束やカルテシアン積を含む特定のグラフ族における反復インデックスを分析すること。
• サイクルや円の束のような構造的グラフにおける反復インデックスの理論的上限と正確な値を確立すること。

提案手法

• 黒色頂点が、その黒色頂点の唯一の白色隣接頂点である場合にのみ、白色隣接頂点を黒に変更するという、離散的動的プロセスとしてゼロフォースティングシステムを定義する。
• すべての最小ゼロフォースティング集合において、全頂点を黒に染めるために必要なグローバルルール適用回数の最小値として、反復インデックス $ I(G) $ を導入する。
• 力の順序付きリストと力伝播のチェーンを用いて、グラフ全体における黒色の伝播を追跡する。
• 円の束やカルテシアン積などのグラフに対して構造的解析を適用し、反復インデックスの閉形式表現を導出する。
• 最大の力伝播チェーンやゼロフォースティング集合の逆転に関する性質を活用して、反復インデックスの上限を設定し、計算する。
• 円の束におけるサイクル長に関する帰納法と場合分けを用いて、公式 $ I(B_n) = \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil - 1 $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 最小ゼロフォースティング集合から出発して、グラフ全体を黒に染めるために必要なグローバル色変更ルール適用回数の最小値は何か？
• RQ2 同じグラフの異なる最小ゼロフォースティング集合において、反復インデックスはどのように変化するか？
• RQ3 共通のカット頂点を共有する $ n $ 個のサイクルからなる円の束の反復インデックスの正確な値は何か？
• RQ4 パス、サイクル、およびカルテシアン積などの構造的クラスにおいて、反復インデックスを上限で抑えたり、正確に計算したりできるか？
• RQ5 ゼロフォースティング集合にカット頂点が含まれるか否かが、円の束における反復インデックスに与える影響は何か？

主な発見

• 反復インデックス $ I(G) $ は、最小ゼロフォースティング集合から出発して全頂点を黒に染めるために必要な色変更ルールのグローバル適用回数の最小値として定義される。
• カット頂点 $ v $ を共有する $ n $ 個のサイクルからなる円の束 $ B_n = (k_1, k_2, \dots, k_n) $ に対して、反復インデックスは $ I(B_n) = \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil - 1 $ である。ここで $ k_n $ および $ k_{n-1} $ は、2つの最大のサイクルのサイズを表す。
• 反復インデックスが最小化されるのは、ゼロフォースティング集合にカット頂点 $ v $ と各サイクルから1つの頂点が含まれる場合であり、このとき色の伝播が最適化される。
• カット頂点が初期のゼロフォースティング集合に含まれない場合、反復インデックスは $ \left\lceil \frac{k_n + k_{n-1}}{2} \right\rceil $ 以上となり、これは最小値よりも厳密に大きい。
• 円の束におけるいかなるゼロフォースティングプロセスにおいても、2つの最大サイクルの和集合に属する頂点は1ステップあたり最大2つしか黒に変更されないため、反復インデックスが制限される。
• 反復インデックスはサイクルのラベル付けに依存せず、円の束における2つの最大サイクルのサイズにのみ依存する。