[論文レビュー] Minimal resolving sets for the hypercube

Ashwin Ganesan|arXiv (Cornell University)|Jun 18, 2011

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

ひとこと要約

この論文は、$n \geq 5$ における $n$ 次元超立方体 $Q^n$ に対して、標準基底ベクトルのうち1つを除いた $n-1$ 個の頂点からなる特定の集合が、エレミスとレニの示した $n$ 個の頂点からなる既知の解消集合よりも最小であることを証明している。証明は全数計算を避け、対称性と距離ベクトル解析を用いて行われ、元の $n$ 頂点の解消集合の真部分集合が依然としてすべての頂点を一意に解消できることを示している。

ABSTRACT

For a given undirected graph $G$, an \emph{ordered} subset $S = {s_1,s_2,...,s_k} \subseteq V$ of vertices is a resolving set for the graph if the vertices of the graph are distinguishable by their vector of distances to the vertices in $S$. While a superset of any resolving set is always a resolving set, a proper subset of a resolving set is not necessarily a resolving set, and we are interested in determining resolving sets that are minimal or that are minimum (of minimal cardinality). Let $Q^n$ denote the $n$-dimensional hypercube with vertex set ${0,1}^n$. In Erdös and Renyi (Erdos & Renyi, 1963) it was shown that a particular set of $n$ vertices forms a resolving set for the hypercube. The main purpose of this note is to prove that a proper subset of that set of size $n-1$ is also a resolving set for the hypercube for all $n \ge 5$ and that this proper subset is a minimal resolving set.

研究の動機と目的

• エレミスとレニが提示した $Q^n$ の $n$ 頂点解消集合の真部分集合が、$n \geq 5$ のときすべての頂点を解消できるかを特定すること。
• そのような部分集合の最小性を確立し、それより小さい部分集合がすべての頂点を解消できないことを示すこと。
• サイズ $n-1$ の最小解消集合が $Q^n$ に存在することを、計算的・全数的検証を避けて、解析的で非計算的証明により示すこと。

提案手法

• 超立方体の頂点推移的対称性を活用：Lemma 1 で示されるように、$S$ が解消集合であれば、任意の $x \in V(Q^n)$ に対して $S + x$ も解消集合である。
• 頂点 $v \in V(Q^n)$ の距離ベクトル $d(v, S)$ を分析し、$n-1$ 個の基準点のみを用いてすべての頂点対を区別すること。
• $e_i$ を第 $i$ 成分が1で他が0の頂点とする。$S = \{e_2, e_3, \ldots, e_n\}$ を考える。この集合がすべての頂点を一意に解消することを証明する。
• 解消集合の要素との共通部分集合に基づく頂点対のケース別分析を実施し、特に $\{1,2\}$ と $\{3,\ldots,n\}$ の要素に注目する。
• 対称性を応用して、$\{e_1, e_2, \ldots, e_{n-1}\}$ に対しても結果を一般化する。これはエレミスとレニの元の $n$ 頂点集合から1つの要素を除いたものに相当する。
• 超立方体の積構造 $Q^n = Q^{n-1} \times K_2$ と、グラフ積における解消集合に関する既知の結果を用い、サイズ $n-1$ の解消集合を再帰的に構成する。

実験結果

リサーチクエスチョン

• RQ1 エレミスとレニが提示した $Q^n$ の $n$ 頂点解消集合の真部分集合が、$n \geq 5$ のとき超立方体のすべての頂点を解消できるか？
• RQ2 サイズ $n-1$ のその部分集合は最小であるか？ すなわち、それより小さい部分集合がすべての頂点を解消できないか？
• RQ3 計算的・全数的検証を避けて、解析的かつ非計算的証明が、そのような集合の最小性および解消性を示せるか？

主な発見

• $n \geq 5$ のとき、エレミスとレニの $n$ 頂点解消集合の真部分集合としてのサイズ $n-1$ の集合 $\{011\ldots1, 1011\ldots1, \ldots, 111\ldots101\}$ は、$Q^n$ の解消集合である。
• このサイズ $n-1$ の解消集合は最小である。なぜなら、それより小さい部分集合では、$Q^n$ のすべての頂点対を区別できないからである。
• 証明は全数計算を避け、頂点対の交差性に基づくケース別分析と対称性を用いている。
• 任意の異なる2頂点 $x$ と $y$ に対して、$d(x,s) \neq d(y,s)$ を満たす解消要素 $s$ が存在することが保証されており、これは超立方体の構造と $S$ の選択による。
• 自己同型を用いた一般化により、座標の置換は解消性を保ち、1つの標準基底ベクトルを除いた任意の $n-1$ 要素集合が最小解消集合である。
• $n \geq 5$ のとき、$Q^n$ の距離次元は $n$ よりも厳密に小さい。これはサイズ $n-1$ の解消集合の存在によって示された。