[논문 리뷰] The k-metric dimension of graphs: a general approach

Alejandro Estrada‐Moreno, Ismael G. Yero외 1명|arXiv (Cornell University)|2016. 05. 21.

Graph Labeling and Dimension Problems참고 문헌 28인용 수 7

한 줄 요약

이 논문은 그래프의 k-거리 차원을 일반화한 프레임워크를 제안하며, 절단 거리 $ d_t(x,y) = \min\{d(x,y), t\} $ 를 사용하여 표준 k-거리 차원($ t \geq D(G) $일 때)과 k-인접 거리 차원($ t = 2 $일 때)을 통합한다. 주요 기여는 비연결 그래프로까지 확장 가능한 포괄적인 이론을 수립하고, 홀수 $ 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-거리 차원을 탐색하고, 공통의 생성자가 존재하는 조건을 규명한다.

제안 방법

• 지오데식 거리 $ d $ 를 갖는 그래프 $ G $ 에 대해 절단 거리 $ d_t(x,y) = \min\{d(x,y), t\} $ 를 정의하며, $ t $ 는 양의 정수이다.
• ({k,t})-거리 생성자 개념을 도입한다: 임의의 서로 다른 $ u,v \in V $ 에 대해, $ u $ 와 $ v $ 를 구분하는 데 서로 다른 거리를 갖는 $ S $ 에서 최소 $ k $ 개의 정점이 존재하는 부분집합 $ S \subseteq V $ 를 의미한다.
• (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-인접 거리 차원을 통합하여 연속적인 일반화 스펙트럼을 제공한다.