[論文レビュー] The Metric Dimension of Regular Bipartite Graphs

Suhadi Wido Saputro, Edy Tri Baskoro+3 more|arXiv (Cornell University)|Jan 19, 2011

Graph Labeling and Dimension Problems参考文献 13被引用数 38

ひとこと要約

本稿は、$k$-正則な二部グラフ $G(n,n)$ に対して $k = n-1$ および $k = n-2$ の場合の距離次元を決定する。$(n-1)$-正則な二部グラフの距離次元が $n-1$ であることを証明し、$(n-2)$-正則なグラフについては、欠落辺のサイクル分解に基づく公式を提示する。この公式はサイクルサイズのモジュラー算術と、部分グラフからの解消集合への寄与を統合している。

ABSTRACT

A set of vertices $W$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $W$. A metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. A bipartite graph G(n,n) is a graph whose vertex set $V$ can be partitioned into two subsets $V_1$ and $V_2,$ with $|V_1|=|V_2|=n,$ such that every edge of $G$ joins $V_1$ and $V_2$. The graph $G$ is called $k$-regular if every vertex of $G$ is adjacent to $k$ other vertices. In this paper, we determine the metric dimension of $k$-regular bipartite graphs G(n,n) where $k=n-1$ or $k=n-2$.

研究の動機と目的

• $n \geq 3$ に対して、$(n-1)$-正則な二部グラフ $G(n,n)$ の距離次元を特定すること。
• 欠落辺が互いに素な偶数サイクルに分解されることを分析することで、$(n-2)$-正則な二部グラフ $G(n,n)$ の距離次元を特徴づけること。
• サイクルサイズを 5 で割った剰余に基づいて、距離次元の公式を導出すること。
• 解消集合に部分グラフの基底の和を超えて追加の頂点が必要となる条件を確立すること。

提案手法

• 各頂点が $W$ の要素への距離ベクトルを一意に持つような解消集合 $W$ の概念を用いる。
• 特に $K_{m,m} \setminus E(C_{2m})$ のような完全二部グラフからサイクルを除いたグラフの距離次元に関する先行研究の結果を適用する。
• サイクルサイズ $m_i$ を 5 で割った剰余（mod 5）を用いたモジュラー算術を用いて、部分グラフを分類し、それらの個別の距離次元を特定する。
• 各 $m_i \mod 5$ に基づいて、$G_i = K_{m_i,m_i} \setminus E(R_i)$ の明示的基底を構成し、基底内に最大 2 頂点のギャップが生じるよう保証する。
• 部分グラフ $G_i$ の距離次元を組み合わせ、$k_1$, $k_2$, $k_3$ のカウントに基づいた補正項を加える。
• $n$, $r$（サイクル数）および $k_1$, $k_2$, $k_3$ の値に基づく場合分けを用いて、最終的な公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 3$ のとき、$(n-1)$-正則な二部グラフ $G(n,n)$ の距離次元は何か？
• RQ2 $(n-2)$-正則な二部グラフ $G(n,n)$ の距離次元は、欠落辺が互いに素な偶数サイクルに分解されることにどのように依存するか？
• RQ3 各欠落サイクルのサイズが 5 で割った剰余（mod 5）として何の役割を果たすか？
• RQ4 距離次元が部分グラフ $G_i$ の距離次元の和に等しくなるのはどのような条件下か？
• RQ5 解消集合において部分グラフの基底の和を超えて追加の頂点が必要となるのはいつで、なぜそうなるのか？

主な発見

• $n \geq 3$ のとき、$(n-1)$-正則な二部グラフ $G(n,n)$ の距離次元は正確に $n-1$ である。
• $n \geq 5$ のとき、すべての欠落サイクルのサイズ $m_i$ が $m_i \equiv 0, 1, 2, 3, 4 \pmod{5}$ であると仮定すると、$G(n,n)$ の距離次元は部分グラフ $G_i = K_{m_i,m_i} \setminus E(R_i)$ の距離次元の和に、$k_1$, $k_2$, $k_3$ を用いた補正を加えたもので与えられる。
• $n \geq 5$, $r \geq 2$, $k_1 \leq r-2$, および $k_3 \geq 2$ のとき、距離次元は $\sum \beta(G_i) + k_2 + k_3 - 2$ に等しい。
• $n \geq 5$, $r \geq 2$, $k_1 \leq r-2$, および $k_3 \in \{0,1\}$ のとき、距離次元は $\sum \beta(G_i) + k_2 + k_3 - 1$ に等しい。
• $n = 4$ のとき、距離次元は正確に 2 であり、これは偶数サイクル $C_8$ に対応する。
• $m \equiv 1 \pmod{5}$ のとき、$K_{m,m} \setminus E(C_{2m})$ の基底には少なくとも 2 つのギャップが 3 頂点分必要であり、これは証明における上限と矛盾の導出に用いられる。