[논문 리뷰] On the partition dimension of unicyclic graphs

Juan A. Rodríguez‐Velázquez, Ismael G. Yero외 1명|arXiv (Cornell University)|2011. 11. 15.

Graph Labeling and Dimension Problems참고 문헌 22인용 수 19

한 줄 요약

이 논문은 스패닝 트리와 사이클 구조를 활용하는 해결 파artition 방법을 도입하여, 유일순환 그래프의 분할 차원에 대해 날카러운 경계를 설정한다. 이는 유일순환 그래프의 분할 차원이 그 스패닝 트리의 분할 차원에 3을 더한 값 이내임을 증명하며, 외부 주요 정점이 적은 그래프에 대해 정확한 값을 제공한다.

ABSTRACT

Given an ordered partition $Π=\{P_1,P_2, ...,P_t\}$ of the vertex set $V$ of a connected graph $G=(V,E)$, the \emph{partition representation} of a vertex $v\in V$ with respect to the partition $Π$ is the vector $r(v|Π)=(d(v,P_1),d(v,P_2),...,d(v,P_t))$, where $d(v,P_i)$ represents the distance between the vertex $v$ and the set $P_i$. A partition $Π$ of $V$ is a \emph{resolving partition} if different vertices of $G$ have different partition representations, i.e., for every pair of vertices $u,v\in V$, $r(u|Π) e r(v|Π)$. The \emph{partition dimension} of $G$ is the minimum number of sets in any resolving partition for $G$. In this paper we obtain several tight bounds on the partition dimension of unicyclic graphs.

연구 동기 및 목표

• 정확히 한 개의 사이클을 포함하는 유일순환 그래프의 분할 차원에 대해 날카러운 경계를 결정하는 것.
• 유일순환 구조에 대해 알려진 메트릭 차원 결과를 분할 차원 설정으로 확장하는 것.
• 사이클과 주요 정점의 존재가 정점 파artition의 해결 능력에 미치는 영향을 분석하는 것.
• 유일순환 그래프의 분할 차원과 그 스패닝 트리의 분할 차원 사이의 관계를 설정하는 것.
• 트리에 사이클을 추가할 때 분할 차원이 최대 한도로 증가하는 추측을 제안하고, 약화된 형태는 증명하는 것.

제안 방법

• 정점 집합의 순서 있는 파artition 각각에 대한 거리의 벡터로 정점의 파artition 표현을 정의한다.
• 서로 다른 정점들이 서로 다른 파artition 표현을 가지는 해결 파rtition의 개념을 사용하여 분할 차원 pd(G)를 정의한다.
• 유일순환 그래프 G의 스패닝 트리 T의 최적 해결 파rtition를 수정하여 G에 대한 해결 파rtition를 구성한다.
• 사이클에서 유래한 세 개의 핵심 정점 c₀, c₁, 및 c_{⌊k/2⌋}을 기준점으로 삼아 파artition에 포함시켜, 서로 다른 표현을 보장한다.
• 모든 서로 다른 정점 쌍이 파artition 집합으로부터 다른 거리 벡터를 가지므로, 수정된 파rtition가 여전히 해결 가능하다는 것을 증명한다.
• 거리 등식에 기반한 모순 추론을 사용하여, 서로 다른 사이클 서브트리에 속한 서로 다른 정점들이 파artition의 적어도 하나의 집합에서 거리가 다름을 확인한다.

실험 결과

연구 질문

• RQ1 스패닝 트리와 관련하여 유일순환 그래프의 최대 분할 차원은 무엇인가?
• RQ2 유일순환 그래프의 외부 주요 정점의 수와 구조는 그 분할 차원에 어떤 영향을 미치는가?
• RQ3 유일순환 그래프의 분할 차원은 그 스패닝 트리의 분할 차원으로 유계로 표현될 수 있는가?
• RQ4 유일순환 그래프의 분할 차원이 정확히 3이 되는 조건은 무엇인가?
• RQ5 모든 정점에 대해 서로 다른 표현을 보장하는 사이클과 해결 파rtition 사이에 구조적 관계가 존재하는가?

주요 결과

• 외부 주요 정점이 최대 두 개인 유일순환 그래프에서, 각 정점의 종단 차수(terminal degree)가 1이면, 분할 차원은 정확히 3이다.
• 모든 유일순환 그래프 G와 그 스패닝 트리 T에 대해, pd(G) ≤ pd(T) + 3 이라는 부등식이 성립한다.
• pd(G) ≤ pd(T) + 3 이라는 경계는 날카롭고, 스패닝 트리의 파artition에 사이클에서 유래한 세 개의 특정 정점을 추가하여 구성된다.
• 논문은 두 정점 x와 y가 서로 다른 사이클 서브트리에 속해 있다면, 적어도 하나의 파artition 집합 A_i 에 대해 d(x, A_i) ≠ d(y, A_i) 임을 증명한다. 이는 서로 다른 표현을 보장한다.
• 거리가 사이클 정점에 대해 동일할 경우에도, 다른 집합(예: A_k)으로부터의 거리 차이가 정점들을 구분함을 보장한다.
• pd(G) ≤ pd(T) + 1 이라는 추측은 증명되지 않았지만, 모든 외부 주요 정점의 종단 차수가 1인 특수 케이스에서 강력한 증거를 제공한다.