[論文レビュー] Characterizations of the Connected Forcing Number of a Graph

Boris Brimkov, Randy Davila|arXiv (Cornell University)|Apr 4, 2016

Graph Labeling and Dimension Problems参考文献 19被引用数 8

ひとこと要約

本稿では、ゼロフォースティング規則に従って全グラフを強制することができる連結な頂点集合の最小サイズである連結フォースティング数を導入し、その分析を行う。連結フォースティング数は、最大ノルム次数、パス被覆数、リーフ数の鋭い上界として機能することが示され、木、ハイパーキューブ、フラワースナージュ、および1つの大きなクリークをもつグラフについて、正確な式および境界が提供される。

ABSTRACT

Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process -- a restriction of zero forcing in which the initially colored set of vertices induces a connected subgraph. We show that the connected forcing number -- the cardinality of the smallest initially colored vertex set which forces the entire graph to be colored -- is a sharp upper bound to the maximum nullity, path cover number, and leaf number of the graph. We also give closed formulas and bounds for the connected forcing numbers of several families of graphs including trees, hypercubes, and flower snarks, and characterize graphs with extremal connected forcing numbers.

研究の動機と目的

• 連結フォースティング数を定義し、初期集合が連結部分グラフを誘導する必要があるゼロフォースティングの変種として研究すること。
• 特定のグラフ族における連結フォースティング数の理論的境界および正確な値を確立すること。
• 古典的ゼロフォースティングと最大ノルム次数、パス被覆数、リーフ数などの他のグラフパラメータと比較すること。
• 極値の連結フォースティング数をとるグラフを特徴づけ、最小連結フォースティング集合の構造的性質を調査すること。

提案手法

• 初期集合が連結部分グラフを誘導する必要があるという制限を課したフォースティングプロセスを導入する。
• 連結フォースティング数 $ F_c(G) $ が、最大ノルム次数 $ M(G) $、パス被覆数 $ P(G) $、リーフ数 $ L(G) $ の上界であることを証明する。
• 各初期色付き頂点によって誘導されるパス（フォースティングチェーン）を用いて、リーフがどのように強制されるかを分析し、構造的制約を導出する。
• 組合せ的および構造的議論を用いて、木、ハイパーキューブ $ Q_n $、サイズが2より大きい唯一の最大クリークをもつグラフ、フラワースナージュの $ F_c(G) $ を特徴付ける。
• 既知の標準ゼロフォースティングに関する結果（例：$ F(Q_n) = 2^{n-1} $）を応用し、連結フォースティング集合が存在する場合に $ F_c(Q_n) = F(Q_n) $ が成り立つことを示す。
• 背理法およびパス分解の議論を用いて、非パスグラフに対して $ F_c(G) \geq L(G) $ を証明し、特定の状況で等号が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 連結フォースティング数と最大ノルム次数やパス被覆数などの古典的ゼロフォースティングパラメータとの関係は何か？
• RQ2 どのグラフ族において連結フォースティング数が標準ゼロフォースティング数に等しくなるか？
• RQ3 グラフのリーフ数はその連結フォースティング数とどのように関係するか？
• RQ4 木、ハイパーキューブ、フラワースナージュにおける連結フォースティング数の正確な値またはタイトな境界は何か？
• RQ5 どのグラフが連結フォースティング数の極値（最小および最大）を達成するか？

主な発見

• 連結フォースティング数 $ F_c(G) $ は、任意の連結グラフ $ G $ に対して、最大ノルム次数 $ M(G) $、パス被覆数 $ P(G) $、リーフ数 $ L(G) $ の鋭い上界である。
• ハイパーキューブ $ Q_n $ に対しては、$ F_c(Q_n) = 2^{n-1} $ であり、これは標準ゼロフォースティング数と一致する。これは、$ Q_{n-1} $ に同型な連結フォースティング集合が存在するためである。
• 木に対しては、$ F_c(T) \geq L(T) $ が成り立ち、特定の木構造（図2（左）のグラフなど）では等号が成立する。
• サイズが2より大きい唯一の最大クリークをもつグラフに対しては、$ F_c(G) $ の閉形式の式および境界が提供され、既知の結果が一般化される。
• フラワースナージュ $ J_n $ に対しては、正確な式および境界が導出され、$ F_c(J_n) $ が $ n $ とともに増加すること、および極値の挙動が特徴づけられる。
• 任意の $ a > 0 $ に対して $ F_c(G) \geq F(G) + a $ を満たすようなグラフが存在し、連結フォースティング数が標準ゼロフォースティング数よりも任意に大きくできることを示している。