[논문 리뷰] The $k$-metric dimension of the lexicographic product of graphs

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

Graph Labeling and Dimension Problems참고 문헌 26인용 수 5

한 줄 요약

이 논문은 요인 그래프의 $k$-접근 차원과 관련지어 레이크소그래픽 곱 그래프의 $k$-미터릭 차원에 대한 날카운 bounds와 폐쇄형 공식을 수립한다. 특히 직경이 6 이상인 그래프의 경우, 레이크소그래픽 곱 그래프의 $k$-미터릭 차원이 요인의 $k$-접근 차원의 합과 일치함을 증명하며, 특정 구조적 조건 하에서 완전한 특성화를 제공한다.

ABSTRACT

Given a simple and connected graph $G=(V,E)$, and a positive integer $k$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$, if for any pair of different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,\ldots,w_k\in S$ such that $d_G(u,w_i) e d_G(v,w_i)$, for every $i\in \{1,\ldots,k\}$, where $d_G(x,y)$ denotes the distance between $x$ and $y$. The minimum cardinality of a $k$-metric generator is the $k$-metric dimension of $G$. A set $S\subseteq V$ is a $k$-adjacency generator for $G$ if any two different vertices $x,y\in V(G)$ satisfy $|((N_G(x) riangledown N_G(y))\cup\{x,y\})\cap S|\ge k$, where $N_G(x) riangledown N_G(y)$ is the symmetric difference of the neighborhoods of $x$ and $y$. The minimum cardinality of any $k$-adjacency generator is the $k$-adjacency dimension of $G$. In this article we obtain tight bounds and closed formulae for the $k$-metric dimension of the lexicographic product of graphs in terms of the $k$-adjacency dimension of the factor graphs.

연구 동기 및 목표

• 레이크소그래픽 곱 그래프의 $k$-미터릭 차원을 그 요인 그래프의 관점에서 결정하기 위해.
• 곱 그래프의 $k$-미터릭 차원이 요인의 $k$-접근 차원의 합과 일치하는 조건을 설정하기 위해.
• 곱 그래프에서 $k$-미터릭 차원을 계산하는 복잡성을 요인의 간단한 불변량으로 환원하여 해결하기 위해.
• 특히 요인 그래프의 직경이 클 경우 $k$-미터릭 차원이 날카운 bounds에 도달하는 그래프의 클래스를 특성화하기 위해.

제안 방법

• 저자들은 $k$-미터릭 생성자와 $k$-접근 생성자를 정의하여, 거리가 다름 또는 대칭 이웃 차이가 있는 최소 $k$개의 정점으로 임의의 정점 쌍을 구별할 수 있도록 한다.
• 그들은 레이크소그래픽 곱의 구조적 분석을 통해 $k$-미터릭 기저와 $k$-접근 기저 사이의 관계를 도입한다.
• 증명은 거리 집합 $\mathcal{D}_{K_1+G}(x,y)$ 와 $\mathcal{C}_G(x,y)$ 를 분석하여, $G$ 의 직경이 $\geq 6$ 일 때 $K_1 + G$ 에서의 $k$-미터릭 기저가 $G$ 에서의 $k$-접근 기저와 대응됨을 보여준다.
• 그들은 각 요인 그래프 $H_i$ 의 직경 $D(H_i) \geq 6$ 이면, $K_1 + H_i$ 의 $k$-미터릭 기저가 $V(H_i)$ 내부에 포함되며, $H_i$ 의 $k$-접근 기저와 대응됨을 보여주는 보조정리를 사용한다.
• 주요 결과는 이러한 구조적 동치를 바탕으로, 거짓 쌍정점 자유 및 진짜 쌍정점 자유 그래프의 성질을 조합하여 곱 그래프의 $k$-미터릭 차원이 구성 요소 간에 가산적임을 보장함으로써 도출된다.
• 분석은 이웃의 대칭 차이와 거리 기반의 구별 집합을 활용하여, 제시된 조건 하에서 $\dim_k(G \circ \mathcal{H}) = \sum_{i=1}^n \mathrm{adim}_k(H_i)$ 를 증명한다.

실험 결과

연구 질문

• RQ1 레이크소그래픽 곱 그래프의 $k$-미터릭 차원이 요인 그래프의 $k$-접근 차원의 합과 일치하는 조건은 무엇인가?
• RQ2 요인 그래프의 직경이 레이크소그래픽 곱에서 $k$-미터릭 차원과 $k$-접근 차원 간의 관계에 미치는 영향은 무엇인가?
• RQ3 기저 그래프 $G$ 의 어떤 구조적 성질(예: 쌍정점 자유)이 $G \circ \mathcal{H}$ 의 $k$-미터릭 차원이 $H_i$ 에서 가산적으로 작용하도록 보장하는 데 필요한가?
• RQ4 $K_1 + G$ 의 $k$-미터릭 차원이 $G$ 의 $k$-접근 차원을 통해 완전히 특성화될 수 있는가?
• RQ5 Universal 정점이 $K_1 + G$ 에서 $k$-미터릭 기저를 결정하는 데 어떤 역할을 하는가, 그리고 언제 기저에서 제외될 수 있는가?

주요 결과

• 순서 $n \geq 2$ 인 연결된 거짓 쌍정점 자유 그래프 $G$ 와 직경 $D(H_i) \geq 6$ 인 그래프의 가족 $\mathcal{H} = \{H_1, \dots, H_n\}$ 에 대해, $k \in \{1, \dots, \min\{\mathcal{T}(G\circ\mathcal{H}), \mathcal{C}(\mathcal{H})\}\}$ 일 때, 레이크소그래픽 곱 $G \circ \mathcal{H}$ 의 $k$-미터릭 차원은 정확히 $\sum_{i=1}^n \mathrm{adim}_k(H_i)$ 와 같다.
• 연결된 진짜 쌍정점 자유 그래프 $G$ 에 대해, 동일한 조건 하에서 $G \circ \overline{\mathcal{H}}$ 의 $k$-미터릭 차원 역시 $\sum_{i=1}^n \mathrm{adim}_k(H_i)$ 와 같다.
• $K_1 + G$ 의 $k$-미터릭 기저는 $G$ 의 직경이 6 이상이면 $V(G)$ 내부에 완전히 포함되며, 정확히 $G$ 의 $k$-접근 기저와 대응된다.
• $G$ 의 직경이 $\geq 6$ 이면, 그래프 $G$ 의 $k$-접근 차원은 $K_1 + G$ 의 $k$-미터릭 차원과 동일하며, 이는 두 불변량 간의 직접적인 대응 관계를 수립한다.
• 결과는 요인 그래프 $H_i$ 의 직경이 최소 6 이상이라는 가정 하에 성립하며, 이는 $K_1 + H_i$ 의 universal 정점이 $k$-미터릭 기저에 영향을 주지 않음을 보장한다.
• 논문은 $k$-미터릭 차원이 $k \leq \min\{\mathcal{T}(G\circ\mathcal{H}), \mathcal{C}(\mathcal{H})\}$ 인 $k$-미터릭 차원 그래프에 대해 $\dim_k(G \circ \mathcal{H}) = \sum_{i=1}^n \mathrm{adim}_k(H_i)$ 를 증명하며, 이 클래스에 대한 완전한 특성화를 제공한다.