[论文解读] Bounds on metric dimension for families of planar graphs

Carl Joshua Quines, Michael Sun|arXiv (Cornell University)|Apr 13, 2017

Graph Labeling and Dimension Problems参考文献 2被引用 4

一句话总结

本文為若干平面圖族確立了度量維數的緊緻上界，包括哈密頓外平面圖（$\beta \leq \lceil n/2 \rceil$）、一般外平面圖（$\beta \leq \lfloor 2n/3 \rfloor$）以及最大平面圖（$\beta \leq \lfloor 3n/4 \rfloor$）。此外，本文計算出雙y錐的度量維數為 $\lfloor 2n/5 \rfloor + 1$，支持了一項猜想：最大平面圖的度量維數漸近為 $\lfloor 2n/5 \rfloor + O(1)$。該方法結合了鄰域與相似性等價的頂點選擇、著色論證，以及平面圖 minors 的結構分析。

ABSTRACT

The concept of metric dimension has applications in a variety of fields, such as chemistry, robotic navigation, and combinatorial optimization. We show bounds for graphs with $n$ vertices and metric dimension $β$. For Hamiltonian outerplanar graphs, we have $β\leq \left\lceil\frac{n}2 ight ceil$; for outerplanar graphs in general, we have $β\leq \left\lfloor\frac{2n}{3} ight floor$; for maximal planar graphs, we have $β\leq \left\lfloor\frac{3n}{4} ight floor$. We also show that bipyramids have a metric dimension of $\left\lfloor\frac{2n}{5} ight floor + 1$. It is conjectured that the metric dimension of maximal planar graphs in general is on the order of $\left\lfloor\frac{2n}{5} ight floor$.

研究动机与目标

• 確定特定平面圖族（包括外平面圖與最大平面圖）的度量維數之緊緻上界。
• 分析雙y錐的度量維數，並推導其度量維數的精確公式。
• 基於結構與計算證據，探討最大平面圖的度量維數是否漸近為 $\lfloor 2n/5 \rfloor + O(1)$。
• 發展一種通用方法，透過頂點相似性、鄰域選擇與圖著色來構造分辨集。

提出的方法

• 定義分辨集為能透過距離向量唯一識別所有其他頂點的最小頂點集合。
• 利用「相似」頂點（即具有相同鄰接集合的頂點）概念建立下界：$\beta \geq n - s$，其中 $s$ 為相似性等價類的數量。
• 應用構造性方法：若一頂點被選取，或其所有鄰居及其相似性類均被選取，則該頂點被分辨，基於引理 4。
• 對外平面圖使用三色著色，對最大平面圖使用四色著色，藉由最常見色類的大小來界定分辨集的大小。
• 對外平面圖，將其分解為雙連通組件，對小組件（大小 ≤4）進行著色，並恢復原始結構以驗證分辨集的有效性。
• 對雙y錐，分析所選頂點之間的距離模式與間隔約束，推導出精確的度量維數 $\lfloor 2n/5 \rfloor + 1$。

实验结果

研究问题

• RQ1 具有 $n$ 個頂點的哈密頓外平面圖的最大可能度量維數為何？
• RQ2 一般外平面圖的度量維數是否可以上界為 $\lfloor 2n/3 \rfloor$？
• RQ3 具有 $n$ 個頂點的雙y錐的精確度量維數為何？
• RQ4 最大平面圖的度量維數是否漸近為 $\lfloor 2n/5 \rfloor + O(1)$？
• RQ5 頂點相似性與鄰域結構如何約束平面圖中分辨集的大小？

主要发现

• 對於哈密頓外平面圖，度量維數至多為 $\lceil n/2 \rceil$，且此界為緊緻。
• 對於一般外平面圖，度量維數至多為 $\lfloor 2n/3 \rfloor$，透過三色著色與組件分析確立。
• 對於最大平面圖，度量維數至多為 $\lfloor 3n/4 \rfloor$，利用四色定理與結構約束證明。
• 具有 $n \geq 5$ 個頂點的雙y錐的度量維數精確為 $\lfloor 2n/5 \rfloor + 1$，由距離約束與間隔規則推導。
• 本文提供了強烈證據支持猜想：最大平面圖的度量維數為 $\lfloor 2n/5 \rfloor + O(1)$，基於雙y錐分析與小規模案例驗證。
• 透過相似性與鄰域覆蓋選擇頂點的方法，可確保分辨集大小有界，理論依據來自圖 minors 避免（例如 $K_4$）。