[논문 리뷰] On the complexity of computing the $k$-metric dimension of graphs

Ismael G. Yero, Alejandro Estrada‐Moreno외 1명|arXiv (Cornell University)|2014. 01. 01.

Graph Labeling and Dimension Problems인용 수 5

한 줄 요약

이 논문은 그래프의 $k$-metric 차원을 결정하는 데 필요한 계산 복잡도를 규명하며, 일반 그래프에 대해 결정 문제의 NP-완전성을 입증한다. 그러나 나무에 대해서는 $k$-metric 차원과 기저를 계산하는 선형 시간 알고리즘을 제시하여 그래프 이론과 네트워크 설계 분야에서 중요한 열린 문제를 해결한다.

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$-metric 차원을 계산하는 데 필요한 계산 복잡도를 규명하기 위해.
• 일반 그래프에 대해 결정 문제 $\dim_k(G) \leq r$ 가 NP-완전한지 조사하기 위해.
• 나무에서 $k$-metric 차원과 기저를 효율적으로 계산하는 알고리즘을 개발하기 위해.
• 그래프가 $k$-metric 차원을 갖는 최대 정수 $k$ 를 특성화하고, 다항 시간 내에 이를 계산할 수 있는지 확인하기 위해.

제안 방법

• 기존의 알려진 NP-완전 문제로의 환원을 통해 $k$-metric 차원 결정 문제의 NP-완전성을 입증하기 위해.
• 기존의 표준 metric 차원에 대한 기법을 변형하여 $k$-metric 생성자 분석에 적용하기 위해.
• 나무의 주요 정점과 종단 경로를 처리함으로써 $k$-metric 기저를 계산하는 재귀 알고리즘(알고리즘 3)을 설계하기 위해.
• 각 외부 주요 정점 $w$ 에 대해 정점 집합 $B_k(w)$ 를 사용하여 $k$-metric 기저를 구성하고, $\lfloor k/2 \rfloor$ 와 $\lceil k/2 \rceil$ 에 기반한 기수 규칙을 적용하기 위해.
• 내부 노드에 대해 쌍 $(a_v, b_v)$ 를 재귀적으로 할당함으로써, $a_v$ 는 종단 경로 집합을 추적하고 $b_v$ 는 $k$-metric 기저를 누적시키기 위해.
• 나무의 구조를 선형 시간 내에 순회하며, 동적 프로그래밍 원리를 적용하여 $O(n)$ 시간 내에 $k$-metric 기저를 계산하기 위해.

실험 결과

연구 질문

• RQ1 일반 그래프에 대해 $\dim_k(G) \leq r$ 를 결정하는 문제는 NP-완전한가?
• RQ2 나무의 $k$-metric 차원은 선형 시간 내에 계산할 수 있는가?
• RQ3 그래프 $G$ 가 $k$-metric 차원을 갖는 최대 $k$ 는 무엇이며, 이 값은 효율적으로 계산할 수 있는가?
• RQ4 나무에서 $k \leq \varsigma(T)$ 를 만족할 때 $k$-metric 기저는 어떻게 구성할 수 있는가?
• RQ5 나무의 어떤 구조적 성질이 $k$-metric 차원을 선형 시간 내에 계산할 수 있게 하는가?

주요 결과

• 일반 그래프에 대해 $r \geq k+1$ 일 때 결정 문제 $\dim_k(G) \leq r$ 는 NP-완전하며, 이는 $k$-metric 차원 계산의 NP-난이도를 입증한다.
• 나무에 대해서는 $k$-metric 차원을 선형 시간 내에 계산할 수 있으며, 특정한 알고리즘(알고리즘 3)을 통해 $k$-metric 기저를 효율적으로 구성할 수 있다.
• 그래프 $G$ 가 $k$-metric 차원을 갖는 최대 정수 $k$ 는 다항 시간 내에 계산 가능하며, 이 값은 $\varsigma(G)$ 로 표기된다.
• 경로가 아닌 나무의 경우 $k \leq \varsigma(T)$ 를 만족할 때 $k$-metric 기저는 정점 수에 대해 선형 시간 내에 계산할 수 있다.
• 나무의 $k$-metric 기저 구성은 외부 주요 정점들의 기여를 집계하는 데 기반하며, 기수 규칙은 $\lfloor k/2 \rfloor$ 와 $\lceil k/2 \rceil$ 에 따라 결정된다.
• 알고리즘은 나무의 구조를 재귀적으로 하위 트리로 처리하고 동적 프로그래밍을 통해 결과를 결합함으로써 $k$-metric 기저를 정확히 계산한다.