[논문 리뷰] On the maximum value of conflict-free verex-connection number of graphs

Zhenzhen Li, Baoyindureng Wu|arXiv (Cornell University)|2017. 09. 05.

Advanced Graph Theory Research참고 문헌 6인용 수 4

한 줄 요약

이 논문은 리 등이 제기한 추측을 확인한다. 즉, 순서 $ n $ 인 연결 그래프의 갈등 없는 정점 연결 수는 경로 $ P_n $ 의 그것보다 크지 않다. 이를 증명하여 $ vcfc(G) \leq vcfc(P_n) = \lceil \log_2(n+1) \rceil $ 를 도출한다. 증명은 귀납법과 트리에서의 정점 제거에 관한 핵심 보조정리를 사용하여, 임의의 트리가 최대 $ \lceil \log_2(n+1) \rceil $ 개의 색으로 갈등 없는 정점 색칠이 가능하다는 것을 보이며, 이로써 경로 그래프가 갈등 없는 정점 연결 수의 최대값을 가지는 극값 그래프임을 입증한다.

ABSTRACT

A path in a vertex-colored graph is called {\it conflict-free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be {\it conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. The {\it conflict-free vertex-connection number}, denoted by $vcfc(G)$, is defined as the smallest number of colors required to make $G$ conflict-free vertex-connected. Li et al. conjectured that for a connected graph $G$ of order $n$, $vcfc(G)\leq vcfc(P_n)$. We confirm that the conjecture is true and pose a a relevant conjecture concerning the conflict-free connection number introduced by Czap et al..

연구 동기 및 목표

• 순서 $ n $ 인 연결 그래프 $ G $ 에 대해 갈등 없는 정점 연결 수가 경로 $ P_n $ 의 그것보다 크지 않다는 추측을 해결하는 것.
• 순서 $ n $ 인 모든 연결 그래프에 대해 갈등 없는 정점 연결 수 $ vcfc(G) $ 의 최대 가능한 값을 결정하는 것.
• 경로 $ P_n $ 가 최대 $ vcfc(G) $ 를 달성하며, $ vcfc(P_n) = \lceil \log_2(n+1) \rceil $ 임을 입증하는 것.
• 특히 정점 제거와 구성요소 크기 분석을 통해 갈등 없는 정점 연결 수를 최대화하는 트리의 구조적 성질을 탐색하는 것.

제안 방법

• 핵심 보조정리 증명: 순서 $ n \geq 3 $ 인 홀수인 임의의 트리 $ T $ 에 대해, $ T - v $ 의 가장 큰 구성요소의 크기가 $ \frac{n-1}{2} $ 이하가 되는 정점 $ v $ 가 존재한다.
• 모든 더 작은 트리에 대해 결과가 성립한다고 가정하는 $ n $ 에 대한 귀납법을 사용한다.
• 순서 $ n $ 인 트리 $ T $ 에 대해, $ T - v $ 의 모든 구성요소의 크기가 $ 2^{k-1} - 1 $ 이하가 되도록 중심 정점 $ v $ 를 선택한다. 여기서 $ k = \lceil \log_2(n+1) \rceil $ 이다.
• 각 구성요소 $ T_i $ 는 귀납 가정에 의해 $ k-1 $ 개의 색으로 칠해지며, 각 구성요소 내에서 갈등 없는 경로를 보장한다.
• 중심 정점 $ v $ 는 $ k $-번째 색으로 할당되어, $ v $ 를 지나는 모든 경로가 $ v $ 에서 고유한 색을 가지게 하여 갈등 없는 경로를 확보한다.
• 이 색칠 방식은 전체 트리 $ T $ 가 $ k $ 개의 색으로 갈등 없는 정점 연결을 가지게 하며, 따라서 $ vcfc(T) \leq k = vcfc(P_n) $ 를 증명한다.

실험 결과

연구 질문

• RQ1 경로 그래프 $ P_n $ 는 순서 $ n $ 인 모든 연결 그래프 중에서 갈등 없는 정점 연결 수를 최대화하는가?
• RQ2 순서 $ n $ 인 연결 그래프 $ G $ 에 대해 $ vcfc(G) $ 의 최대값은 얼마인가?
• RQ3 임의의 트리에 대해 갈등 없는 정점 연결 수가 $ \lceil \log_2(n+1) \rceil $ 이하로 유계임을 증명할 수 있는가?
• RQ4 갈등 없는 정점 연결 수를 최대화하는 트리의 구조적 성질은 무엇인가? 특히, 정점 제거 후 구성요소의 크기가 충분히 작아져 귀납적 색칠이 가능하도록 보장하는 정점의 존재 여부는?
• RQ5 스타 그래프 $ K_{1,n-1} $ 는 $ vcfc(G) $ 를 최소화하며, 경로 $ P_n $ 는 트리 중에서 그것의 최대값을 달성하는가?

주요 결과

• 순서 $ n $ 인 연결 그래프 $ G $ 에 대해 $ vcfc(G) \leq vcfc(P_n) $ 라는 추측이 참임을 확인하였다.
• 모든 순서 $ n $ 인 연결 그래프에 대해 갈등 없는 정점 연결 수의 최대값은 $ \lceil \log_2(n+1) \rceil $ 이며, 이는 경로 $ P_n $ 에 의해 달성된다.
• 순서 $ n $ 인 임의의 트리 $ T $ 에 대해 $ vcfc(T) \leq \lceil \log_2(n+1) \rceil $ 이며, 등호는 $ T = P_n $ 일 때 성립한다.
• 순서 $ n \geq 3 $ 인 홀수인 임의의 트리 $ T $ 에서, $ T - v $ 의 모든 구성요소의 크기가 $ \frac{n-1}{2} $ 이하가 되는 중심 정점 $ v $ 가 존재한다. 이는 귀납적 색칠을 가능하게 한다.
• 트리의 갈등 없는 정점 연결 수는 $ \log_{3/2} n $ 으로 유계이지만, 더 날카운 유계인 $ \lceil \log_2(n+1) \rceil $ 가 최대값으로 확인되었다.
• 결과적으로 경로 그래프가 $ vcfc(G) $ 를 최대화하는 극값 그래프임을 의미하며, 스타 그래프 $ K_{1,n-1} $ 는 최소값 $ vcfc = 2 $ 를 달성한다.