[論文レビュー] The distance-k dimension of graphs

Jesse Geneson, Eunjeong Yi|arXiv (Cornell University)|Jun 15, 2021

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

ひとこと要約

本稿は、ロボットのランドマーク検出範囲が距離 $k$ に制限される場合の一般化されたメトリック次元、すなわち距離-$k$ 次元の定義と分析を提示する。一般化された境界を確立し、高次元（例：$n-2$ や $n-1$）を持つグラフを特徴づけ、パスやサイクルの次元を特定するとともに、頂点および辺の削除が与える影響を調査する。$k \geq 2$ の場合、距離-$k$ 次元は任意に増加または減少することが示され、$k=1$ の場合とは対照的である。主な貢献は、この一般化された解消パラメータの包括的な構造的・定量的分析である。

ABSTRACT

The metric dimension, $\dim(G)$, of a graph $G$ is a graph parameter motivated by robot navigation that has been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. For a positive integer $k$ and for distinct $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) eq d_k(y,z)\}$. A subset $S\subseteq V(G)$ is a distance-$k$ resolving set of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any pair of distinct $x,y \in V(G)$, and the distance-$k$ dimension, $\dim_k(G)$, of $G$ is the minimum cardinality over all distance-$k$ resolving sets of $G$. In this paper, we study the distance-$k$ dimension of graphs. We obtain some general bounds for distance-$k$ dimension. For all $k \ge 1$, we characterize connected graphs $G$ of order $n$ with $\dim_k(G) \ge n-2$. We determine $\dim_k(G)$ when $G$ is a cycle or a path. We also examine the effect of vertex or edge deletion on the distance-$k$ dimension of graphs.

研究の動機と目的

• 距離-$k$ 次元をメトリック次元の一般化として形式化し、ランドマーク検出が距離 $k$ に制限される状況を研究すること。
• グラフの距離-$k$ 次元に対する一般化された上界および下界を確立すること。
• 任意の $k \geq 1$ に対して、$\dim_k(G) = n-2$ または $n-1$ を満たすすべての連結グラフ $G$（位数 $n$）を特徴づけること。
• パスやサイクルを含む特定のグラフクラスについて $\dim_k(G)$ を決定すること。
• 特に $k \geq 2$ の場合に、頂点および辺の削除に対する距離-$k$ 次元の感度を分析すること。

提案手法

• 距離 $k$ での限界距離センシングをモデル化するため、$d_k(x,y) = \min\{d(x,y), k+1\}$ を定義する。
• すべての異なる $x,y$ に対して $|S \cap R_k\{x,y\}| \geq 1$ を満たす距離-$k$ 解消集合 $S$ を定義する。ここで $R_k\{x,y\} = \{z : d_k(x,z) \neq d_k(y,z)\}$ である。
• 頂点 $v$ の位置を集合 $S$ に対する距離-$k$ メトリックコード $r_{k,S}(v) = (d_k(v,u_1), \dots, d_k(v,u_\beta))$ で表現する。
• 構造的グラフ理論および二重頂点分析（観察 2.1(b)）を用いて、距離-$k$ 解消集合のサイズに対する下界を導出する。
• 明示的な例と極値構成（例：図3および図4）を用いて、境界のタイトネスおよび次元の無限大への変化の可能性を示す。
• 地図的経路および辺の削除に関するケース解析を用いて、$\dim_k(G-e)$ および $\dim_k(G-v)$ の境界を証明し、特に $k \geq 2$ の場合に $\dim_k(G) - \dim_k(G-e)$ が任意に大きくなることを示す。

実験結果

リサーチクエスチョン

• RQ1 グラフの距離-$k$ 次元に対する一般化された上界および下界は何か？
• RQ2 どの連結グラフ $G$（位数 $n$）に対して、任意の $k \geq 1$ に対して $\dim_k(G) = n-2$ または $n-1$ が成り立つか？
• RQ3 パスやサイクルなどの標準的グラフ族に対して距離-$k$ 次元はどのように振る舞うか？
• RQ4 特に $k \geq 2$ の場合、頂点または辺の削除によって距離-$k$ 次元はどのように変化するか？
• RQ5 $k \geq 2$ の場合、差 $\dim_k(G) - \dim_k(G-e)$ は任意に大きくできるか？もしそうならば、どのような構造的条件下で成立するか？

主な発見

• 距離-$d$ 次元が $k$ に等しいグラフ $G$ の最大位数は、$d$ と $k$ を含む複雑な式によって有界づけられ、このようなグラフの極値的サイズを示している。
• すべての $k \geq 1$ に対して、$n \geq 4$ の連結グラフ $G$ で $\dim_k(G) = n-2$ または $n-1$ を満たすものについて完全に特徴づけられており、$k=1$ の場合の未解決問題を解決している。
• すべての $k \geq 1$ に対して、パス $P_n$ およびサイクル $C_n$ の距離-$k$ 次元が明示的に決定されており、これらの基本的グラフ族に対する正確な値が得られている。
• $k \geq 2$ の場合、差 $\dim_k(G) - \dim_k(G-e)$ は任意に大きくなることが示され、$\dim_k(G) - \dim_k(G-e) = a-1$（$a \to \infty$）となる構成例によって裏付けられている。これは $k=1$ の場合（差が最大1）とは対照的である。
• $k \geq 3$ の場合、$\dim_k(G-e) \leq \dim_k(G) + 2$ が成り立ち、$k=2$ の場合 $\dim_2(G-e) \leq \dim_2(G) + 1$ が成り立つ。両方の境界は明示的な構成によってタイトであることが示されている。
• $k \geq 2$ の場合、$\dim_k(G-v) - \dim_k(G)$ も任意に大きくなることがあり、距離-$k$ 次元が頂点削除に対して非常に感受しやすいことが示されている。