[논문 리뷰] On minimal edge version of doubly resolving sets of a graph

Muhammad Ahmad, Zohaib Zahid외 1명|arXiv (Cornell University)|2018. 07. 06.

Graph Labeling and Dimension Problems인용 수 5

한 줄 요약

이 논문은 그래프의 선 거리(line graph)를 기반으로 정의된 엣지 버전의 이중 해상 집합(edge version of doubly resolving sets)을 도입하며, n-선형 그래프(S_n)와 프리즘 그래프(Y_n)에 대해 최소 기수 $ψ_E(G)$를 계산한다. 모든 $n \geq 3$에 대해 $ψ_E(S_n) = 3$이며, 이는 홀짝성과 무관하다. 또한 $n \geq 6$일 때 $ψ_E(Y_n) = 3$임을 증명하여, 이러한 경우 엣지 버전의 이중 해상 집합이 엣지 거리 차원(edge metric dimension)과 일치함을 보여준다.

ABSTRACT

In this paper, we introduce the edge version of doubly resolving set of a graph which is based on the edge distances of the graph. As a main result, we computed the minimum cardinality $ψ_E$ of edge version of doubly resolving sets of family of $n$-sunlet graph $S_n$ and prism graph $Y_n$.

연구 동기 및 목표

• 그래프의 선 그래프에서 엣지 거리 기반으로 엣지 버전의 이중 해상 집합의 개념을 도입하고 체계화하기.
• $n$-선형 그래프 $S_n$과 프리즘 그래프 $Y_n$에 대해 이러한 집합의 최소 기수 $\psi_E(G)$를 결정하기.
• 특정 그래프 가족에서 엣지 거리 차원 $\dim_E(G)$와 엣지 버전의 이중 해상 집합 $\psi_E(G)$ 사이의 관계를 설정하기.
• $S_n$과 $Y_n$에 대해 대칭적 엣지 레이블링과 거리 차이 분석을 활용하여 최소 엣지 이중 해상 집합의 명시적 구성 제공하기.

제안 방법

• 두 엣지 $f,g$ 사이의 엣지 거리 $d_E(f,g)$를 선 그래프 $L(G)$에서 해당 정점 간의 최단 경로 길이로 정의한다.
• 정렬된 엣지 집합 $N_E$에 대한 엣지 $e$의 엣지 버전 표현 $r_E(e, N_E)$를 도입하며, 엣지 거리의 $k$-튜플로 구성된다.
• 두 개의 서로 다른 엣지 $e \neq f$에 대해, $D_E$에 속한 두 엣지가 그들의 엣지 거리 좌표에서 서로 다른 차이를 만들어내는 엣지 집합 $D_E$를 이중 해상 집합으로 정의한다.
• $S_n$과 $Y_n$에 대해 대칭적 레이블링을 활용하여 명시적 엣지 이중 해상 집합 $D_E^*$를 구성하고, 엣지 거리 차이 벡터의 유일성을 검증한다.
• n의 홀짝성에 기반한 케이스 분석을 통해 $n \geq 3$일 때 $ψ_E(S_n) = 3$이며, $n \geq 6$일 때 $ψ_E(Y_n) = 3$임을 증명한다. 이는 메트릭 좌표의 표 기반 검증을 통해 이루어진다.
• 기존의 엣지 거리 차원 $\dim_E(G)$에 대한 결과를 활용하여 $\psi_E(G)$와 비교하며, $\dim_E(G) \leq \psi_E(G)$임을 보이고, $S_n$과 $Y_n$에서 등호가 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 n-선형 그래프 $S_n$에 대해 엣지 버전의 이중 해상 집합의 최소 기수 $\psi_E(G)$는 얼마인가요?
• RQ2 프리즘 그래프 $Y_n$에 대해 엣지 버전의 이중 해상 집합 기수 $\psi_E(Y_n)$는 $n$의 함수로서 어떻게 행동합니까?
• RQ3 S_n와 Y_n에서 엣지 버전의 이중 해상 집합이 엣지 거리 차원 $\dim_E(G)$와 일치합니까?
• RQ4 $S_n$과 $Y_n$에 대해 대칭적 엣지 레이블링과 거리 차이 분석을 활용하여 엣지 버전의 이중 해상 집합을 명시적으로 구성할 수 있습니까?

주요 결과

• 모든 $n \geq 3$에 대해 엣지 버전의 이중 해상 집합 기수 $\psi_E(S_n)$는 3이며, 이는 $n$의 홀짝성과 무관하다.
• n-선형 그래프 $S_n$의 경우 엣지 거리 차원 $\dim_E(S_n)$는 $n$의 홀짝성에 따라 달라지지만, $\psi_E(S_n)$는 항상 3로 일정하다.
• 프리즘 그래프 $Y_n$의 경우 $n \geq 6$일 때 $\psi_E(Y_n) = 3$이며, 이 값은 엣지 거리 차원 $\dim_E(Y_n)$와 일치한다.
• $n = 2k$, $k \geq 3$인 $Y_n$에 대해 명시적 최소 엣지 이중 해상 집합 $D_E^* = \{e_0, e_{k-1}, f_{k+1}\}$을 구성하고 엣지 거리 차이 벡터를 통해 검증하였다.
• $n = 2k+1$, $k \geq 3$인 $Y_n$에 대해 다른 명시적 집합 $D_E^* = \{e_0, e_k, g_{k+2}\}$을 구성하고 검증하여 $\psi_E(Y_n) = 3$임을 확인하였다.
• 결과적으로 $n \geq 6$일 때 $S_n$과 $Y_n$에서 $\dim_E(G) = \psi_E(G)$임을 보여주며, 엣지 거리 차원이 엣지 이중 해상성을 달성하는 데 충분함을 시사한다.