[論文レビュー] Some results on minimum skew zero forcing sets, and skew zero forcing number

Luz M. DeAlba|arXiv (Cornell University)|Apr 6, 2014

Fixed Point Theorems Analysis参考文献 3被引用数 5

ひとこと要約

本稿は、グラフ $G$ のすべての頂点を黒に変換するためのスケュー色変更ルールに従い、頂点集合の最小サイズであるスケュー零フォースティング数 $\operatorname{Z}^{-}(G)$ を調査する。完全多部グラフのスケュー零フォースティング数を特徴づけ、二部グラフおよびユニサイクルグラフにおける最小スケュー零フォースティング集合とマッチングの関係を明らかにし、特定の二部グラフにおいてはその集合がマトロイドの基底を形成することを証明する。さらに、いくつかのグラフ族に対して $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$ が成り立つことを示した。

ABSTRACT

Let $G$ be a graph, and $Z$ a subset of its vertices, which we color black, while the remaining are colored white. We define the skew color change rule as follows: if $u$ is a vertex of $G$, and exactly one of its neighbors $v$, is white, then change the color of $v$ to black. A set $Z$ is a skew zero forcing set for $G$ if the application of the skew color change rule (as many times as necessary) will result in all the vertices in $G$ colored black. A set $Z$ is a minimum skew zero forcing set for $G$ if it is a skew zero forcing set for $G$ of least cardinality. The skew zero forcing number $\sZ (G)$ is the minimum of $|Z|$ over all skew zero forcing sets $Z$ for $G$. In this paper we discuss graphs that have extreme skew zero forcing number. We characterize complete multipartite graphs in terms of $\sZ (G)$. We note relations between minimum skew zero forcing sets and matchings in some bipartite graphs, and in unicyclic graphs. We establish that the elements in the set of minimum skew zero forcing sets in certain bipartite graphs are the bases of a matroid.

研究の動機と目的

• 完全多部グラフにおけるスケュー零フォースティング数 $\operatorname{Z}^{-}(G)$ の特徴づけ。
• 二部グラフおよびユニサイクルグラフにおける最小スケュー零フォースティング集合とマッチングとの関係の調査。
• マッチング $M$ における $M$-非飽和頂点の集合が最小スケュー零フォースティング集合となる条件の特定。
• 特定の二部グラフにおいて最小スケュー零フォースティング集合がマトロイドの基底を形成することの確立。
• パス、サイクル、ホイール、およびグラフのカルテシアン積を含む、さまざまなグラフ族における $\operatorname{Z}^{-}(G)$ の正確な値の提供。

提案手法

• スケュー色変更ルールを定義：頂点 $u$ がちょうど一つの白い隣接頂点 $v$ を持つ場合、$u$ は $v$ を黒に変更する。
• スケュー零フォースティング集合を、反復的にスケュー色変更ルールを適用することですべての頂点を黒にできる頂点集合として定義する。
• 特定のグラフクラスにおいて、$\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$ という恒等式を用いて $\operatorname{Z}^{-}(G)$ を最小スケューランク $\operatorname{mr}^{-}(\mathbb{F},G)$ に関連付ける。
• 特に一意的に制限されたマッチングを含むマッチングの分析を通じて、最小スケュー零フォースティング集合が $M$-非飽和頂点の集合として特定されることを明らかにする。
• 特定の二部グラフにおいて、最小スケュー零フォースティング集合がマトロイドの基底に対応することを証明する。
• 無限体上の構造的グラフ理論および行列ランクの性質を応用し、標準的グラフ族における $\operatorname{Z}^{-}(G)$ の正確な値を導出する。

実験結果

リサーチクエスチョン

• RQ1 完全 $k$-部グラフ $K_{n_1,n_2,...,n_k}$ において、頂点数に対して相対的に $\operatorname{Z}^{-}(G)$ が最小値に達するのはどのような場合か？
• RQ2 マッチング $M$ における $M$-非飽和頂点の集合が、グラフ $G$ に対して最小スケュー零フォースティング集合となるのはいつか？
• RQ3 二部グラフにおける最小スケュー零フォースティング集合がマトロイドの基底を形成するのはどのような条件下か？
• RQ4 パス、サイクル、ホイール、およびグラフのカルテシアン積における $\operatorname{Z}^{-}(G)$ の正確な値は何か？
• RQ5 さまざまなグラフ族において $\operatorname{Z}^{-}(G)$ と $\operatorname{mr}^{-}(\mathbb{F},G)$ の関係はどのように規定されるか？

主な発見

• 完全 $k$-部グラフ $K_{n_1,n_2,...,n_k}$ のスケュー零フォースティング数は、公式 $\operatorname{Z}^{-}(G) = \max_{i \neq j} \min(n_i, n_j)$ で特徴づけられ、最小スケュー零フォースティング集合のサイズを決定する。
• ユニサイクルグラフ $U$ に対して、スケュー零フォースティング数は $\operatorname{Z}^{-}(U) = |U| - \operatorname{mr}^{-}(\mathbb{F},U)$ を満たし、フォースティング数と最小スケューランクの直接的な関連を確立する。
• 特定の二部グラフにおいて、最小スケュー零フォースティング集合は正確にマトロイドの基底を形成しており、豊富な組合せ的構造を示している。
• $m,k$-パイナップルグラフ $P_{m,k}$ に対しては、$m \geq 3, k \geq 1$ のとき $\operatorname{Z}^{-}(P_{m,k}) = m + k - 4$ が成り立ち、構造的解析により正確に確認された。
• $s$-次ハイパーキューブ $Q_s$ のスケュー零フォースティング数は、$s \geq 2$ のとき $\operatorname{Z}^{-}(Q_s) = 2^{s-1}$ である。これは再帰的構造と対称性から導かれた。
• $s \geq 3, t \geq 3$ のとき、$K_s \square P_t$ のカルテシアン積に対しては、$s$ が偶数、または $s$ と $t$ がともに奇数のとき $\operatorname{Z}^{-}(K_s \square P_t) = s$ であり、これらの条件下で $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$ が成り立つ。