[論文レビュー] 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

ひとこと要約

本稿では、サイクル構造とスパニングツリーを活用した解像度分割法を導入し、単一サイクルを持つグラフ（ユニサイクリックグラフ）の分割次元に対するタイトな境界を確立する。ユニサイクルグラフの分割次元は、そのスパニングツリーの分割次元に3を加えた値以下であることが証明され、外部主要頂点が少ないグラフに対しては正確な値が得られる。

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.

研究の動機と目的

• 単一のサイクルをちょうど1つ含むユニサイクルグラフの分割次元に対するタイトな境界を特定すること。
• 既知のメトリック次元に関する結果を、ユニサイクル構造の文脈における分割次元設定に拡張すること。
• サイクルの存在と主要頂点の影響が、頂点分割の解像度にどのように作用するかを分析すること。
• ユニサイクルグラフの分割次元とそのスパニングツリーの分割次元との関係を確立すること。
• サイクルをツリーに追加する際、分割次元が最大で1増加することを示す予想を提示・検証すること（弱化版は証明済み）。

提案手法

• 頂点集合の順序付き分割の各部に至る距離のベクトルとして、頂点の分割表現を定義する。
• 異なる頂点が異なる分割表現を持つような「解像度分割」の概念を用い、分割次元 pd(G) を定義する。
• ユニサイクルグラフ G のスパニングツリー T の最適な解像度分割を変更することで、G に対する解像度分割を構成する。
• サイクルからの3つのキーピーツ c₀, c₁, および c_{⌊k/2⌋} を、表現の違いを保証する基準点として導入する。
• 任意の2つの異なる頂点が、分割集合への距離ベクトルで異なることを示すことで、変更後の分割が解像度を保つことを証明する。
• 距離の等式に基づく背理法を用い、異なるサイクル部分木に属する異なる頂点が、分割の少なくとも1つの集合によって区別されることを検証する。

実験結果

リサーチクエスチョン

• RQ1 ユニサイクルグラフの分割次元は、そのスパニングツリーに対して最大でどの程度大きくなるか？
• RQ2 ユニサイクルグラフにおける外部主要頂点の数と構造は、その分割次元にどのように影響するか？
• RQ3 ユニサイクルグラフの分割次元は、そのスパニングツリーの分割次元で上界を示せるか？
• RQ4 ユニサイクルグラフの分割次元が正確に3になる条件は何か？
• RQ5 すべての頂点が異なる表現を持つように保証するため、サイクルと解像度分割の間に構造的な関係が存在するか？

主な発見

• 外部主要頂点が2つ以下で、かつ各頂点の端点次数が1であるユニサイクルグラフの分割次元は、正確に3である。
• 任意のユニサイクルグラフ G 及びそのスパニングツリー T に対して、pd(G) ≤ pd(T) + 3 が成り立つ。
• 不等式 pd(G) ≤ pd(T) + 3 はタイトであり、スパニングツリーの分割にサイクルからの3つの特定頂点を追加することで構成可能である。
• 本稿では、2つの頂点 x と y が異なるサイクル部分木に属する場合、少なくとも1つの集合 A_i に対して d(x, A_i) ≠ d(y, A_i) が成り立つことを証明している。
• サイクル頂点への距離が等しくても、他の集合（例：A_k）への距離の差が頂点を区別することを保証する構成がなされている。
• 予想 pd(G) ≤ pd(T) + 1 は未解決だが、外部主要頂点の端点次数がすべて1であるような特殊ケースにおいて、強い証拠が得られている。