[論文レビュー] The k-metric dimension of graphs: a general approach

Alejandro Estrada‐Moreno, Ismael G. Yero+1 more|arXiv (Cornell University)|May 21, 2016

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

ひとこと要約

本稿では、$ d_t(x,y) = \min\{d(x,y), t\} $ という切り捨て距離を用いた、グラフのk-距離次元の一般化された枠組みを導入する。これは、$ t \geq D(G) $ のとき標準的なk-距離次元、$ t = 2 $ のときk-隣接次元を統合する。主な貢献は、非連結グラフにも拡張可能な包括的な理論の構築であり、奇数の$ k $に対してはNP困難性を示し、辞書的積やコーナープロダクトに対して正確な公式を導出することにある。

ABSTRACT

Let $(X,d)$ be a metric space. A set $S\subseteq X$ is said to be a $k$-metric generator for $X$ if and only if for any pair of different points $u,v\in X$, there exist at least $k$ points $w_1,w_2, \ldots w_k\in S$ such that $d(u,w_i) e d(v,w_i),\; \mbox{ m for all}\; i\in \{1, \ldots k\}.$ Let $\mathcal{R}_k(X)$ be the set of metric generators for $X$. The $k$-metric dimension $\dim_k(X)$ of $(X,d)$ is defined as $$\dim_k(X)=\inf\{|S|:\, S\in \mathcal{R}_k(X)\}.$$ Here, we discuss the $k$-metric dimension of $(V,d_t)$, where $V$ is the set of vertices of a simple graph $G$ and the metric $d_t:V imes V ightarrow \mathbb{N}\cup \{0\}$ is defined by $d_t(x,y)=\min\{d(x,y),t\}$ from the geodesic distance $d$ in $G$ and a positive integer $t$. The case $t\ge D(G)$, where $D(G)$ denotes the diameter of $G$, corresponds to the original theory of $k$-metric dimension and the case $t=2$ corresponds to the theory of $k$-adjacency dimension. Furthermore, this approach allows us to extend the theory of $k$-metric dimension to the general case of non-necessarily connected graphs.

研究の動機と目的

• 切り捨て距離$ d_t $を導入することで、グラフのk-距離次元を一般化し、標準的および隣接的k-距離次元の統一的枠組みを構築すること。
• 従来連結構造に限定されていたk-距離次元の理論を、非必ずしも連結でないグラフに対しても拡張すること。
• 計算量の複雑性に関する結果を確立し、$ k $ が奇数のとき、(k,t)-距離次元を計算することはNP困難であることを示すこと。
• 特に辞書的積やコーナープロダクトのような特殊なグラフ積に対して、(k,t)-距離次元の正確な公式を導出すること。
• グラフや距離空間の族にわたる同時k-距離次元を検討し、共通の生成子が存在する条件を同定すること。

提案手法

• グラフ$ G $における測地的距離$ d $と正の整数$ t $を用いて、切り捨て距離$ d_t(x,y) = \min\{d(x,y), t\} $を定義する。
• 「(k,t)-距離生成子」という概念を導入する：任意の異なる$ u,v \in V $に対して、$ u $と$ v $を区別する距離が異なる$ S \subseteq V $の頂点が少なくとも$ k $個存在するような集合$ S $。
• このような( k,t )-距離生成子の最小サイズを( k,t )-距離次元と定義し、$ \dim_k^t(G) $ と表記する。
• 特に辞書的積やコーナープロダクトを用いたグラフ積構成により、( k,t )-距離次元の正確な表現を導出する。
• $ t \geq 2 $ のとき、辞書的積グラフの( k,t )-距離次元は$ t $に依存せず、コーナープロダクトでは$ n \cdot \dim_k^2(H) $に等しいことが示され、ここで$ n $は最初のグラフの位数である。
• $ k $ が奇数のとき、( k,t )-距離次元の計算はNP困難であることを、既知のNP困難問題への還元を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 k-距離次元は、有界距離を扱えるようにどのように一般化可能であり、これによりどのような新たな構造的洞察が得られるか？
• RQ2 ( k,t )-距離次元と古典的なk-距離次元（$ t \geq D(G) $ のとき）およびk-隣接次元（$ t = 2 $ のとき）の関係は何か？
• RQ3 特に辞書的積やコーナープロダクトのような特定のグラフ族に対して、( k,t )-距離次元は効率的に計算可能か？
• RQ4 特に$ k $ が奇数のとき、( k,t )-距離次元を決定する計算量の複雑性は何か？
• RQ5 どのような条件下で、距離空間やグラフの族全体にわたる共通の( k,t )-距離生成子が存在するか？

主な発見

• 辞書的積グラフ$ G \circ H $の( k,t )-距離次元は$ t \geq 2 $ では$ t $に依存せず、$ n \cdot \dim_k^2(H) $ に等しい。ここで$ n $は$ G $の位数である。
• コーナープロダクト$ G \circ H $の( k,t )-距離次元は正確に$ n \cdot \dim_k^2(H) $ に等しく、ここで$ n $は$ G $の頂点数である。
• 非連結グラフに対しても( k,t )-距離次元が適切に定義されており、k-距離次元理論の適用範囲が拡張されている。
• $ k $ が奇数の整数であるとき、( k,t )-距離次元の計算問題は、既知のNP困難問題への還元によりNP困難であることが示された。
• グラフ族$ \mathcal{G} $の同時( k,t )-距離次元$ \operatorname{Sd}_k(\mathcal{G}) $ は、特定の条件下で単一のグラフ$ G $の( k,t )-距離次元に等しくなることがある。
• 理論は、$ t \geq D(G) $ のときの標準的k-距離次元と$ t = 2 $ のときのk-隣接次元を統合し、一般化の連続的スケールを提供する。