[論文レビュー] The partition dimension of corona product graphs

Juan A. Rodríguez‐Velázquez, Ismael G. Yero+1 more|arXiv (Cornell University)|Oct 25, 2010

Graph Labeling and Dimension Problems参考文献 3被引用数 15

ひとこと要約

本稿は、冠積グラフ $G \odot H$ の分割次元 $pd(G \odot H)$ の境界を厳密に特定し、$G$, $H$ およびそれらのメトリック次元のパラメータに基づいて $pd(G \odot H)$ の正確な値を確立する。$pd(G \odot H) \leq \frac{1}{n_1} \text{dim}(G \odot H) + pd(G) + 1$ を証明し、$n_1 > 2n_2 + 1 \geq 5$ のとき $pd(P_{n_1} \odot K_{n_2}) = n_2 + 2$ や $n_1 \geq n_2 \geq 2$ のとき $pd(P_{n_1} \odot N_{n_2}) = n_2 + 1$ といった正確な値を提示し、導出された不等式のタイトさを示している。

ABSTRACT

Given a set of vertices $S=\{v_1,v_2,...,v_k\}$ of a connected graph $G$, the metric representation of a vertex $v$ of $G$ with respect to $S$ is the vector $r(v|S)=(d(v,v_1),d(v,v_2),...,d(v,v_k))$, where $d(v,v_i)$, $i\in \{1,...,k\}$ denotes the distance between $v$ and $v_i$. $S$ is a resolving set of $G$ if for every pair of vertices $u,v$ of $G$, $r(u|S) e r(v|S)$. The metric dimension $dim(G)$ of $G$ is the minimum cardinality of any resolving set of $G$. Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of vertices of a connected graph $G$, the partition representation of a vertex $v$ of $G$, with respect to the partition $Π$ is the vector $r(v|Π)=(d(v,P_1),d(v,P_2),...,d(v,P_t))$, where $d(v,P_i)$, $1\leq i\leq t$, represents the distance between the vertex $v$ and the set $P_i$, that is $d(v,P_i)=\min_{u\in P_i}\{d(v,u)\}$. $Π$ is a resolving partition for $G$ if for every pair of vertices $u,v$ of $G$, $r(u|Π) e r(v|Π)$. The partition dimension $pd(G)$ of $G$ is the minimum number of sets in any resolving partition for $G$. Let $G$ and $H$ be two graphs of order $n_1$ and $n_2$ respectively. The corona product $G\odot H$ is defined as the graph obtained from $G$ and $H$ by taking one copy of $G$ and $n_1$ copies of $H$ and then joining by an edge, all the vertices from the $i^{th}$-copy of $H$ with the $i^{th}$-vertex of $G$. Here we study the relationship between $pd(G\odot H)$ and several parameters of the graphs $G\odot H$, $G$ and $H$, including $dim(G\odot H)$, $pd(G)$ and $pd(H)$.

研究の動機と目的

• グラフ $G$, $H$ 及びそれらのメトリック次元のパラメータに関連して、冠積グラフ $G \odot H$ の分割次元 $pd(G \odot H)$ を特定すること。
• $\text{dim}(G \odot H)$, $pd(G)$, $pd(H)$ に関して、$pd(G \odot H)$ の上界および下界を導出し、これらの境界のタイトさを確立すること。
• $G = P_{n_1}$ および $H = K_{n_2}$ または $H = N_{n_2}$ のような特別なケースを分析し、分割次元の正確な値を提供すること。

提案手法

• 本稿は、解像集合および順序付き分割に関する頂点のメトリック表現と分割表現を用い、分割次元 $pd(G)$ を解像分割に含まれる集合の最小数として定義する。
• Lemma 1 を適用して $G \odot H$ における解像集合の構造を分析し、任意の解像集合に各コピー $H_i$ が少なくとも1つの頂点を含むことを示す。
• $P_{n_1} \odot K_{n_2}$ および $P_{n_1} \odot N_{n_2}$ に対して明示的な解像分割を構成し、分割次元の正確な値を証明する。
• 特に $n_1 > 2c(H) + 1$ または $n_1 > \beta(H)$ の場合に、矛盾による議論および異なる分割表現の数え上げを用いて下界を導出する。
• 距離の比較に依存する証明技法を用い、$G$, $H_i$, 全体の $G \odot H$ グラフ内の頂点間の距離、特に分割集合への距離の区別に注目する。
• 頂点の種別（例：$H_i$ 内、$G$ 内、孤立頂点）およびそれらの分割ベクトルにおける表現に基づく場合分けの分析を含む。

実験結果

リサーチクエスチョン

• RQ1 $pd(G \odot H)$ とメトリック次元 $\text{dim}(G \odot H)$, $pd(G)$, $pd(H)$ の間の関係は何か？
• RQ2 $pd(G \odot H)$ が $n_2 + 2$ や $n_2 + 1$ といった正確な値をとる条件は何か？
• RQ3 $pd(G \odot H)$ の上界および下界はどれほどタイトか？ そして、どのような条件下で達成されるか？

主な発見

• $n_1 > 2n_2 + 1 \geq 5$ のとき、$P_{n_1} \odot K_{n_2}$ の分割次元は正確に $n_2 + 2$ であり、導出された上界のタイトさが示されている。
• $n_1 \geq n_2 \geq 2$ のとき、$P_{n_1} \odot N_{n_2}$ の分割次元は正確に $n_2 + 1$ であり、この値は構築された解像分割によって達成されている。
• 上界 $pd(G \odot H) \leq \frac{1}{n_1} \text{dim}(G \odot H) + pd(G) + 1$ が確立され、特定のグラフ族においてタイトであることが示された。
• $H = K_{n_2}$ の場合、$n_1 > 2n_2 + 1$ ならば $pd(G \odot H) \geq n_2 + 2$ であり、$G = P_{n_1}$ のときこの境界はタイトである。
• $H$ が $\beta(H) \geq 2$ 個の孤立頂点をもち、$n_1 > \beta(H)$ ならば $pd(G \odot H) \geq \beta(H) + 1$ であり、この条件下では等号は達成不可能である。
• 導出された境界はタイトであり、$P_{n_1} \odot K_{n_2}$ や $P_{n_1} \odot N_{n_2}$ のような特別なケースにおける正確な値によって確認されており、理論的限界の妥当性が裏付けられている。