[論文レビュー] On the complexity of computing the $k$-metric dimension of graphs

Ismael G. Yero, Alejandro Estrada‐Moreno+1 more|arXiv (Cornell University)|Jan 1, 2014

Graph Labeling and Dimension Problems被引用数 5

ひとこと要約

この論文は、グラフの$k$-メトリック次元を決定する計算複雑性を確立し、一般のグラフにおいてその意思決定問題がNP完全であることを証明している。一方、木における$k$-メトリック次元と基底を計算する線形時間アルゴリズムを提示しており、グラフ理論およびネットワーク設計における重要な未解決問題を解決している。

ABSTRACT

Given a connected graph $G=(V,E)$, a set $S\subseteq V$ is a $k$-metric generator for $G$ if for any two different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,...,w_k\in S$ such that $d_G(u,w_i) e d_G(v,w_i)$ for every $i\in \{1,...,k\}$. A metric generator of minimum cardinality is called a $k$-metric basis and its cardinality the $k$-metric dimension of $G$. We study some problems regarding the complexity of some $k$-metric dimension problems. For instance, we show that the problem of computing the $k$-metric dimension of graphs is $NP$-Complete. However, the problem is solved in linear time for the particular case of trees.

研究の動機と目的

• グラフの$k$-メトリック次元を計算する計算複雑性を特定すること。
• 一般のグラフにおいて、意思決定問題$\dim_k(G) \leq r$がNP完全であるかどうかを調査すること。
• 木における$k$-メトリック次元および基底を効率的に計算するアルゴリズムを開発すること。
• グラフが$k$-メトリック次元的である最大の整数$k$を特定し、多項式時間でその値を計算できることを示すこと。

提案手法

• 既知のNP完全問題への還元を用いて、$k$-メトリック次元意思決定問題のNP完全性を証明する。
• 標準メトリック次元に関する先行研究の技術を応用し、$k$-メトリック生成子を分析する。
• 木における主要頂点および端末パスを処理する再帰的アルゴリズム（アルゴリズム3）の設計により、$k$-メトリック基底を計算する。
• 各外部主要頂点$w$に対して頂点集合$B_k(w)$を用い、$\lfloor k/2 \rfloor$および$\lceil k/2 \rceil$に基づく基数規則に従って$k$-メトリック基底を構築する。
• 内部ノードにペア$(a_v, b_v)$を再帰的に割り当て、$a_v$は端末パス集合を追跡し、$b_v$は$k$-メトリック基底を蓄積する。
• 木構造を$O(n)$時間で線形時間走査し、動的計画法の原則を用いて$k$-メトリック基底を計算する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフにおいて、$\dim_k(G) \leq r$を判定する問題はNP完全か？
• RQ2 木の$k$-メトリック次元は線形時間で計算可能か？
• RQ3 グラフ$G$が$k$-メトリック次元的である最大の$k$は何か？ その$k$は効率的に計算可能か？
• RQ4 $k \leq \varsigma(T)$のとき、木に対して$k$-メトリック基底をどのように構築できるか？
• RQ5 木のどのような構造的性質が、$k$-メトリック次元を線形時間で計算可能にするのか？

主な発見

• 一般のグラフにおいて、$r \geq k+1$のとき、意思決定問題$\dim_k(G) \leq r$はNP完全であり、$k$-メトリック次元の計算がNP困難であることを示している。
• 木においては、$k$-メトリック次元を線形時間で計算可能であり、特定のアルゴリズム（アルゴリズム3）により$k$-メトリック基底を効率的に構築できる。
• グラフ$G$が$k$-メトリック次元的である最大の整数$k$は多項式時間で計算可能であり、その値は$\varsigma(G)$と表記される。
• パスでない任意の木について、$k \leq \varsigma(T)$のとき、$k$-メトリック基底は頂点数に関して線形時間で計算可能である。
• 木における$k$-メトリック基底の構築は、外部主要頂点からの寄与を集約することに基づき、基数規則は$\lfloor k/2 \rfloor$および$\lceil k/2 \rceil$に依存する。
• 再帰的に部分木を処理し、動的計画法を木構造に適用することで、アルゴリズムは正しく$k$-メトリック基底を計算している。