[論文レビュー] On the Partition Dimension and the Twin Number of a Graph

Carmen Hernando, Mercè Ferrater Mora+1 more|arXiv (Cornell University)|Feb 29, 2016

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

ひとこと要約

この論文は、$ n \geq 9 $ の連結グラフで分割次元 $ n-2 $ を持つものの特徴付けを再評価し、以前の23個のグラフの主張を訂正して、正確には15個であることを示している。同定の同型と誤った仮定が原因で、構造的グラフ理論と距離に基づく分割分析を用いて、以前に引用されたグラフが実際には分割次元 $ n-3 $ を持つことが判明し、分割次元 $ n-2 $ を持つのは15個に限られることを証明している。

ABSTRACT

A partition P of the vertex set of a connected graph G is a locating partition of G if every vertex is uniquely determined by its vector of distances to the elements of P. The partition dimension of G is the minimum cardinality of a locating partition of G. A pair of vertices u,v of a graph G are called twins if they have exactly the same set of neighbors other than u and v. A twin class is a maximal set of pairwise twin vertices. The twin number of a graph G is the maximum cardinality of a twin class of G. In this paper we undertake the study of the partition dimension of a graph by also considering its twin number. This approach allows us to obtain the set of connected graphs of order n having partition dimension n-2. This set is formed by exactly 15 graphs, instead of 23, as was wrongly stated in the paper: "Discrepancies between metric dimension and partition dimension of a connected graph", published in Discrete Mathematics in 2008.

研究の動機と目的

• $ n \geq 9 $ の場合に、分割次元 $ n-2 $ を持つ連結グラフの誤った特徴付けを是正すること。これは、以前に23個のグラフが列挙されていた。
• 双子数、つまり対照的双子頂点の最大集合に基づく構造的不変量を組み込むことで、このようなグラフの分類を精緻化すること。
• 以前に分割次元 $ n-2 $ を持つと主張されたいくつかのグラフが、実際には分割次元 $ n-3 $ を持つことの証明。これは、先行研究における誤った仮定によるものである。
• 双子クラス構造と距離に基づく分割分析を用いて、$ n \geq 9 $ のすべての連結グラフで分割次元 $ n-2 $ を持つものについて、正確な特徴付けを確立すること。
• 文献における不一致を解消するために、同型のグラフを特定し、誤った構成を除外すること。

提案手法

• 双子数 $ \tau(G) $ を導入し、それは双子頂点の最大集合（対照的双子頂点の最大集合）のサイズとして定義され、高次元の分割次元を持つグラフの可能性を制約する構造的不変量として用いられる。
• 位置特定分割の概念を適用する。$ V(G) $ の分割 $ \Pi $ が、各頂点が $ \Pi $ の部屋への距離ベクトルを一意に持つとき、位置特定分割と呼ばれる。分割次元 $ \beta_p(G) $ は、このような分割の最小サイズである。
• 既知の不変量と関連付けるために、$ \beta_p(G) \leq \beta(G) + 1 $ の不等式を用いる。ここで $ \beta(G) $ はメトリック次元を表す。
• 双子数 $ \tau(G) \in \{n-4, n-3, n-2\} $ を基準にした場合分けを実施し、$ W $-集合（双子集合）の構造とその近傍を分析してグラフを分類する。
• 構造的補題を用いて、$ W $-区別可能な頂点を持つグラフを除外し、$ N(W)\setminus W $ に誘導される部分グラフの可能性を制限する。距離ベクトルを用いて、位置特定分割の有効性を検証または否定する。
• $ k = n-3 $ 個の部屋を持つ分割 $ \Pi $ の明示的構成を用いて、$ F_1 $ のようなグラフに対して $ \beta_p(G) \leq n-3 $ を証明し、以前の $ \beta_p(G) = n-2 $ の主張と矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 正確には、$ n \geq 9 $ の連結グラフで分割次元 $ n-2 $ を持つものはいくつであり、正しい特徴付けは何か？
• RQ2 なぜ、以前に分割次元 $ n-2 $ を持つと主張されたいくつかのグラフが、実際には分割次元 $ n-3 $ を持つのか？
• RQ3 双子数 $ \tau(G) $ は、高次元の分割次元を持つグラフの構造をどのように制約するのか？
• RQ4 分割次元 $ n-2 $ を達成するためには、グラフがどのような構造的性質を満たすべきか？ そして、それらは体系的にどのように導出できるか？
• RQ5 同型のグラフを特定し、無効な構成を除外することで、分割次元 $ n-2 $ を持つグラフの分類を是正できるか？

主な発見

• $ n \geq 9 $ の連結グラフで分割次元 $ n-2 $ を持つものの集合は、正確には15個であり、以前に主張された23個ではない。
• $ F_1 \cong \overline{K_{n-3}} \vee (K_2 + K_1) $、$ F_3 \cong K_1 \vee (\overline{K_{n-3}} + K_2) $、$ F_5 \cong \overline{K_{n-4}} \vee (P_3 + K_1) $ のようなグラフは、分割次元 $ n-3 $ を持つ。これは、以前の結果とは矛盾する。
• 以前の分類における $ G_4 $ と $ G_6 $ は同型であるため、異なるグラフの数は23から22に減少する。さらなる分析により、実際に $ \beta_p(G) = n-2 $ を満たすのは15個に限られる。
• 双子数 $ \tau(G) = n-2 $ の場合、唯一の可能性は $ H_1 $ と $ H_2 $ であり、両者とも分割次元 $ n-2 $ を持つことが確認された。
• 双子数 $ \tau(G) = n-3 $ の場合、$ G[N(W)\setminus W] $ の構造と $ V\setminus N(W) $ の頂点の次数が同型クラスを決定し、$ H_3 $ から $ H_{10} $ までのグラフが得られる。これらすべてで $ \beta_p(G) = n-2 $ が成立する。
• 双子数 $ \tau(G) = n-4 $ の場合、$ \beta_p(G) = n-2 $ を満たす唯一の可能性は $ H_{11} $、$ H_{12} $、$ H_{13} $、$ H_{14} $、$ H_{15} $ であり、これらは $ N(W)\setminus W $ にパスまたはサイクル構造を持つものから導出され、距離ベクトルの一意性により確認された。