[论文解读] On the partition dimension of unicyclic graphs

Juan A. Rodríguez‐Velázquez, Ismael G. Yero+1 more|arXiv (Cornell University)|Nov 15, 2011

Graph Labeling and Dimension Problems参考文献 22被引用 19

一句话总结

本文為單環圖的分割維度確立了緊緻的界，提出一種利用生成樹與環結構的解析分割方法。證明了單環圖的分割維度至多為其生成樹的分割維度加三，並對外圍主要頂點數量較少的圖確立了精確值。

ABSTRACT

Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of the vertex set $V$ of a connected graph $G=(V,E)$, the \emph{partition representation} of a vertex $v\in V$ 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)$ represents the distance between the vertex $v$ and the set $P_i$. A partition $Π$ of $V$ is a \emph{resolving partition} if different vertices of $G$ have different partition representations, i.e., for every pair of vertices $u,v\in V$, $r(u|Π) e r(v|Π)$. The \emph{partition dimension} of $G$ is the minimum number of sets in any resolving partition for $G$. In this paper we obtain several tight bounds on the partition dimension of unicyclic graphs.

研究动机与目标

• 確定單環圖分割維度的緊緻界，其中單環圖恰好包含一個環。
• 將已知的度量維度結果延伸至單環結構的分割維度設定。
• 分析環的存在與主要頂點如何影響頂點分割的解析能力。
• 建立單環圖的分割維度與其生成樹分割維度之間的關係。
• 提出並驗證一個猜測：當在樹上添加一個環時，分割維度最多增加一，並證明了其弱化版本。

提出的方法

• 定義頂點的分割表示為其到有序頂點集分割中各部分距離的向量。
• 利用解析分割的概念，即不同頂點具有不同的分割表示，以定義分割維度 pd(G)。
• 透過修改單環圖 G 的生成樹 T 的最佳解析分割，構造 G 的解析分割。
• 引入環上的三個關鍵頂點——c₀、c₁ 和 c_{⌊k/2⌋}——作為分割中的參考點，以確保不同表示。
• 透過證明 G 中任意兩個不同頂點對分割集合的距離向量不同，來證明修改後的分割仍為解析分割。
• 基於距離等式使用反證法，驗證不同環子樹中的不同頂點至少被分割中的一個集合區分。

实验结果

研究问题

• RQ1 單環圖的分割維度最大可能值與其生成樹之間的關係為何？
• RQ2 單環圖中外圍主要頂點的數量與結構如何影響其分割維度？
• RQ3 能否以生成樹的分割維度來界定單環圖的分割維度？
• RQ4 在何種條件下，單環圖的分割維度恰好為三？
• RQ5 環與解析分割之間是否存在結構關係，以確保所有頂點具有不同表示？

主要发现

• 對於最多具有兩個外圍主要頂點、且每個頂點的端點度數為一的單環圖，其分割維度恰好為三。
• 對於任意單環圖 G 及其生成樹 T，分割維度滿足 pd(G) ≤ pd(T) + 3。
• 界 pd(G) ≤ pd(T) + 3 是緊緻的，且透過將環上三個特定頂點加入生成樹的分割中構造而成。
• 本文證明：若兩個頂點 x 和 y 位於不同的環子樹中，則至少存在一個分割集合 A_i，使得 d(x, A_i) ≠ d(y, A_i)，從而確保不同表示。
• 該構造確保即使對環頂點的距離相等，對其他集合（例如 A_k）的距離差異仍能區分頂點。
• 雖未證明猜測 pd(G) ≤ pd(T) + 1，但本文在特殊情況下（如所有外圍主要頂點的端點度數為一）提供了強有力的證據支持。