[論文レビュー] Leaky Forcing: A New Variation of Zero Forcing

Shannon Dillman, Franklin Kenter|arXiv (Cornell University)|Oct 1, 2019

Gene Regulatory Network Analysis参考文献 7被引用数 8

ひとこと要約

本稿では、グラフに $ι$ 個のリーク（特定のノードに接続された追加の頂点で、そのノードが強制操作を実行できなくなるもの）を持つ、ゼロ強制の新しい変種である $ι$-強制を導入する。目的は、任意の $ι$ 個のリークが存在する状況でも、すべての頂点を色付けできる最小の初期頂点集合を見つけることである。主な結果として、パス、サイクル、ホイール、グリッドグラフにおける正確な $ι$-強制数が得られ、追加の辺がリークに対する耐性を高めることもあるという驚きの発見がある。

ABSTRACT

Zero forcing is a one-player game played on a graph. The player chooses some set of vertices to color, then iteratively applies a color change rule: If all but one of a colored vertex's neighbors are colored, color (i.e. "force") the remaining uncolored neighbor. Generally, the goal is to find the minimum number of vertices to initially color such that all vertices eventually become colored. Recently, equivalent formations of zero forcing have been developed in different settings including sensor allocation to solve linear systems (K.-Lin 2018), controllability in follower-leader dynamics (Monshizadeh-Zhang-Camlibel 2014), and edge covering in specific hypergraphs (Brimkov-Fast-Hicks 2016). While many variations of zero forcing are motivated by an associated minimum rank problem, these new formulations give new inspiration for new meaningful zero forcing variants. In our case, we study a new variation based on the linear algebraic interpretation mentioned above. In particular, what if there is a juncture in a network that has a leak, and, hence, is unreliable to facilitate solving a linear system on the network? In the context of zero forcing this corresponds to the following variation we call $\ell$-forcing: Given $\ell$, find a set of vertices such that for any set of $\ell$ vertices that are unable to force, all vertices will still be colored. We compute the $\ell$-forcing number for selected families of graphs including grid graphs. Perhaps surprisingly, we find examples where additional edges make the graph more "resilient" to these leaks. Further, we also implement known computational methods for our new leaky forcing variation.

研究の動機と目的

• ネットワーク内の信頼性の低いノード（リーク）を考慮する新しいゼロ強制の変種、$ι$-強制を定義・形式化すること。
• 任意の $ι$ 個のリークが存在する状況でも、すべての頂点を強制できる初期頂点集合の最小サイズを特定すること。
• パス、サイクル、ホイール、カルテシアン積などの特定のグラフ族における $ι$-強制数 $Z_{(ι)}(G)$ を計算すること。
• 一般の有限連結グラフに対して $Z_{(ι)}(G)$ を正確に計算するための整数プログラミングアルゴリズムの開発と実装。
• 追加の辺がネットワーク強制プロセスにおけるリーク耐性を向上させることはあるか、といった構造的洞察の探求。

提案手法

• リークとは、元のグラフの頂点に単一の辺で接続された新しい頂点であり、強制操作に参加できないこととする。
• $ι$-強制とは、任意の $ι$ 個の頂点（リーク）が強制不能であっても、すべてのグラフが色付け可能であるようなプロセスである。
• 強制不能な頂点集合（すべての頂点が初期色付けされている場合にのみ強制可能となる最小の頂点集合）を表す「フォート」の概念を用い、整数計画法における制約をモデル化する。
• すべての可能な $ι$ 個のリークの組み合わせに対して、完全な強制が可能であることを保証しながら、初期強制集合のサイズを最小化する整数プログラムを構築する。
• 各解が $ι$ 個のリーク下で強制に失敗した場合、未色付け頂点から新たなフォートを生成し、整数プログラムを段階的に改善する。
• 必要な頂点の最小フォートから出発し、動的に新しいフォートを追加することで、すべての $ι$-リーク設定に対して耐性を持つアルゴリズムを実装する。

実験結果

リサーチクエスチョン

• RQ1 任意の $ι$ 個の頂点が強制操作を実行できない状況下でも、すべての頂点を強制できる初期頂点集合の最小サイズは何か？
• RQ2 パス、サイクル、ホイール、グリッドグラフなどの異なるグラフ族において、$ι$-強制数 $Z_{(ι)}(G)$ はどのように振る舞うか？
• RQ3 グラフに辺を追加することで、強制プロセスにおけるリーク耐性が向上する可能性はあり、もしあるならばどのような条件下で成立するか？
• RQ4 グリッドグラフ $P_n \Box P_m$ の $1$-強制数に普遍的なパターンは存在するか？また、すべての $n, m$ に対して $Z_{(1)}(P_n \Box P_m) = \min(m, 2n)$ が成り立つか？
• RQ5 提案された整数プログラミングおよびアルゴリズム的手法は、サイズや構造が異なるグラフに対して $Z_{(ι)}(G)$ を計算する上でどれほど効率的か？

主な発見

• パス $P_n$ の $1$-強制数は $1$、サイクル $C_n$ のそれは $2$ であり、これらすべての族に対して正確な値が導出された。
• グリッドグラフ $P_m \Box P_m$ に対しては、$m = 3, 4, 5, 6$ の場合に $1$-強制数が正確に $m$ に等しく、サイズが増加するに従い実行時間が著しく増加した。
• ホイールグラフ $W_n$ の $1$-強制数は $n \geq 4$ の場合に $2$ であり、単一のリークに対しても高い耐性を示している。
• 驚くべきことに、グラフに辺を追加することで、リークに対する耐性が向上することが、特定のグラフ族において確認された。
• 動的フォート生成を組み込んだ整数プログラミングアプローチは、$Z_{(ι)}(G)$ の正確な計算に成功したが、グラフサイズの増加に伴い実行時間が急激に増加し、$P_6 \Box P_6$ で $1$ 個のリークがある場合に $1,000$ 秒を超えた。
• 1 個のリークを伴う立方体グラフでは、実行時間は約 $75$ から約 $1,050$ 秒の範囲にあり、ゼロ強制数が大きいほど計算時間が長くなる傾向が見られた。