[论文解读] 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 $，方法為結合結構圖論與基於距離的分割分析。

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) $ 作為最大孪生類（兩兩孪生頂點之最大集合）的大小，並以其作為結構不變量，以限制高分割維度圖形的可能形態。
• 應用定位分割的概念：若圖 $ G $ 的頂點集 $ V(G) $ 的一個分割 $ \Pi $ 滿足每個頂點對 $ \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 $，而非 $ n-2 $，與先前結果矛盾。
• 先前分類中 $ G_4 $ 與 $ G_6 $ 圖形彼此同構，使不同圖形總數由 23 種減至 22 種；進一步分析顯示僅有 15 種圖形滿足 $ \beta_p(G) = n-2 $。
• 對於 $ \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 $ 時，僅 $ H_{11} $、$ H_{12} $、$ H_{13} $、$ H_{14} $、$ H_{15} $ 等圖形可能具有 $ \beta_p(G) = n-2 $，其結構源自 $ N(W)\setminus W $ 上的路徑或環結構，並透過距離向量唯一性獲得確認。