[논문 리뷰] Resolving sets for breaking symmetries of graphs

Delia Garijo, Antonio González외 1명|arXiv (Cornell University)|2014. 01. 15.

Graph Labeling and Dimension Problems참고 문헌 31인용 수 3

한 줄 요약

이 논문은 그래프에서 거리 차원과 결정 수의 차이가 임의로 클 수 있는지에 대한 오랫동안 남아있던 질문을 해결하며, 나무에서 이 차이가 정확히 ⌊2n/7⌋에 도달하고, 특정 그래프 가족에서는 최대 ⌊n/2⌋에 도달할 수 있음을 증명한다. 저자들은 위치 지정 도메이션 집합과 새로운 다항식 시간 알고리즘을 사용하여 이러한 차이를 극복하며, 이전의 상한을 크게 향상시키고 나무에 대한 문제를 해결한다.

ABSTRACT

This paper deals with the maximum value of the difference between the determining number and the metric dimension of a graph as a function of its order. Our technique requires to use locating-dominating sets, and perform an independent study on other functions related to these sets. Thus, we obtain lower and upper bounds on all these functions by means of very diverse tools. Among them are some adequate constructions of graphs, a variant of a classical result in graph domination and a polynomial time algorithm that produces both distinguishing sets and determining sets. Further, we consider specific families of graphs where the restrictions of these functions can be computed. To this end, we utilize two well-known objects in graph theory: $k$-dominating sets and matchings.

연구 동기 및 목표

• Boutin이 제기한 바와 같이, 그래프에서 거리 차원과 결정 수의 차이가 임의로 클 수 있는지 여부를 규명하는 것.
• 모든 순서 n인 그래프에서 거리 차원과 결정 수의 최대 차이인 (dim - Det)(n)에 대한 상한과 하한을 향상시키는 것.
• λ가 위치 지정 도메이션 수일 때 관련 함수 (λ - Det)(n)을 연구하고, 그래프 구성과 알고리즘 방법을 통해 상한을 설정하는 것.
• 특정 그래프 가족, 특히 나무와 C4-free 그래프에서 (dim - Det)(n)와 (λ - Det)(n)의 정확한 값을 계산하는 것.
• 차이가 나무에서 최대가 되는 것으로 추측된 문제를 해결하고, k-도메이션 집합과 매칭이 이러한 파라미터를 극복하는 데 어떻게 기여하는지 탐색하는 것.

제안 방법

• 저자들은 위치 지정 도메이션 집합을 핵심 도구로 도입하고, 불등식 Det(G) ≤ dim(G) ≤ λ(G)를 통해 거리 차원과 결정 수와 연결한다.
• 쌍둥이 없는 그래프에 대해 분별 집합과 결정 집합을 동시에 생성하는 다항식 시간 알고리즘을 개발하여 Det(G)의 상한을 도출한다.
• 오어의 고전적 도메이션 정리의 변형을 사용하여 위치 지정 도메이션 수 λ(G)를 k-도메이션과 매칭 수 등 다른 그래프 파라미터와 연결한다.
• Tq,s 나무와 같은 특정 그래프 가족을 구성하여 (dim - Det)(n)과 (λ - Det)(n)의 날카로운 하한을 확보한다.
• 나무의 경우, 잎 정점과 그들의 종단 차수의 구조를 활용하여 dim(T)와 Det(T)의 정확한 표현을 유도하며, 주요 결과로 이어진다.
• 에르되시-세케레시 정리를 적용하여 특정 그래프 클래스에서 λ(G)를 근사함으로써 (λ - Det)(n)의 상한을 기여한다.

실험 결과

연구 질문

• RQ1 그래프의 거리 차원과 결정 수의 차이가 임의로 클 수 있는가?
• RQ2 순서 n인 나무에서 dim(G) − Det(G)의 정확한 최대값은 무엇인가?
• RQ3 (λ - Det)(n)에 대한 날카로운 상한과 하한은 무엇인가, 여기서 λ(G)는 위치 지정 도메이션 수이다?
• RQ4 k-도메이션 집합과 매칭은 위치 지정 도메이션 수와 (λ - Det)(n)의 차이와 어떻게 관련이 있는가?
• RQ5 C4-free 그래프에 대해 (dim - Det)(n)의 최대값은 무엇이며, 다른 그래프 가족에 대해서도 정확하게 계산할 수 있는가?

주요 결과

• 모든 n ≥ 49에 대해, 나무에서 거리 차원과 결정 수의 최대 차이는 정확히 ⌊2n/7⌋이며, 이는 이 가정에 대한 해결이다.
• 나무에서 함수 (λ - Det)(n)은 ⌊n/2⌋에 도달하며, 이는 위치 지정 도메이션 집합이 이 가족에서 결정 집합보다 훨씬 클 수 있음을 시사한다.
• Cáceres 등 이전의 상한을 개선하여, (dim - Det)(n)이 λ(G)에 의해 상한이 되며, 더 날카로운 점근적 상한을 제공한다.
• 쌍둥이 없는 그래프에 대해 분별 집합과 결정 집합을 생성하는 다항식 시간 알고리즘을 구축하여 Det(G)의 새로운 상한을 도출한다.
• 저자들은 (λ - Det)(n) ≤ λ_{|C*}(n)임을 증명하고, 극단적 그래프 이론과 도메이션 결과를 사용하여 λ_{|C*}(n)의 상한을 유도한다.
• C4-free 그래프에 대해 (λ - Det)(n) ≤ ⌊n/2⌋임을 증명하고, 특정 구성에서 정확한 값을 도달함을 보였다.