[논문 리뷰] Parity Edge-Coloring of Graphs

David P. Bunde, Kevin G. Milans외 2명|ArXiv.org|2006. 02. 15.

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

한 줄 요약

이 논문은 그래프의 패리티 엣지-색칠법과 강한 패리티 엣지-색칠법을 도입하며, 이는 어떤 산책(워크)에서도 색이 홀수 번 사용되지 않도록 하는 조건을 만족한다. 강한 패리티 색칠 수(strong parity chromatic number) $\widehat{p}(K_n)$ 는 모든 $n$ 에 대해 $\widehat{p}(K_n) = 2^{\lceil \lg n \rceil} - 1$ 임을 증명하며, $n$ 이 2의 거듭제곱일 경우 유일한 최적 색칠법이 존재한다. 또한 $n \leq 16$ 일 때는 $p(K_n) = \widehat{p}(K_n)$ 임을 증명한다. 이 결과는 대칭 차집합에 관한 고전적인 극값 집합 이론의 경계를 강화한다.

ABSTRACT

In a graph whose edges are colored, a parity walk is a walk that uses each color an even number of times. The parity edge chromatic number p(G) of a graph G is the least k so that there is a coloring of E(G) using k colors that does not contain a parity path. The strong parity edge chromatic number p'(G) of G is the least k so that there is a coloring of E(G) using k colors with the property that every parity walk is closed. Our main result is to determine p'(K_n). Specifically, if m is the least power of two that is as large as n, then p'(K_n) has value m - 1. As a corollary, we strengthen a special case of an old result of Daykin and Lovasz. Other results include determining p(G) and p'(G) whenever G is a path, cycle, or of the form K_{2,n}, and an upper bound on p'(G) for the case that G is a complete bipartite graph. We conclude with a sample of open problems.

연구 동기 및 목표

• 패리티 엣지-색칠법과 강한 패리티 엣지-색칠법을 정의하고 연구함으로써, 어떤 산책에서도 색이 홀수 번 사용되지 않도록 하는 엣지-색칠법을 다룸.
• 이러한 색칠법에 필요한 최소 색의 수를 결정함으로써, 각각 $p(G)$ 및 $\widehat{p}(G)$ 라는 매개변수를 도입함.
• 패리티 색칠법을 이용해 하이퍼큐브에 임베딩 가능한 그래프를 특성화함으로써, 그래프 이론과 부울 함수의 극값 문제를 연결함.
• 강한 패리티 엣지-색칠법의 최적값 $\widehat{p}(K_n)$ 의 정확한 값을 해결하고, 특히 $n$ 이 2의 거듭제곱일 경우 최적 색칠법의 구조를 기술함.
• 패리티 엣지-색칠법 $p(G)$, 강한 패리티 엣지-색칠법 $\widehat{p}(G)$ 와 고전적 그래프 매개변수 $\chi'(G)$ 및 $\lg n(G)$ 간의 관계를 탐색함.

제안 방법

• 모든 색이 짝수 번 나타나는 산책을 패리티 워크(parity walk)로 정의하고, 패리티 엣지-색칠법은 이러한 워크를 금지함.
• 강한 패리티 엣지-색칠법(spec) 은 모든 패리티 워크가 닫혀 있음을 의미함 (즉, 같은 정점에서 시작하고 끝남).
• 하이퍼큐브 임베딩 특성화를 활용: 연결된 그래프 $G$ 가 $Q_k$ 에 임베딩 가능할 때는, 모든 사이클이 패리티 워크이고, 모든 경로가 어떤 색을 홀수 번 사용하는 $k$-엣지-색칠법이 존재함.
• 체 $\mathbb{F}_2$ 위에서의 대수적 기법과 벡터 공간 논리를 사용하여, 정점 레이블의 대칭 차집합을 통해 엣지-색칠법을 모델링함.
• 강한 패리티 색칠법의 최적 해가 $K_n$ 에서는 길이 $\lceil \lg n \rceil$ 인 이진 벡터로 정점에 레이블을 붙이고, 엣지는 그 대칭 차집합으로 색칠함을 증명함.
• 극값 집합 이론을 적용하여, $n$ 개의 집합의 서로 다른 대칭 차집합의 수가 $2^{\lceil \lg n \rceil}$ 이상임을 보이며, $n$ 이 2의 거듭제곱일 경우 등호가 성립함.

실험 결과

연구 질문

• RQ1 완전 그래프 $K_n$ 의 강한 패리티 엣지-색칠법에 필요한 최소 색의 수는 얼마인가?
• RQ2 다양한 그래프에 대해 강한 패리티 색칠 수 $\widehat{p}(G)$ 와 패리티 엣지-색칠 수 $p(G)$ 는 어떻게 관련되어 있는가?
• RQ3 어떤 그래프들이 $p(G) = \widehat{p}(G)$ 를 만족하고, 언제는 다를까?
• RQ4 최적의 강한 패리티 엣지-색칠법이 $K_n$ 에서 유일하게 특성화될 수 있는가, 특히 $n$ 이 2의 거듭제곱일 경우에 대해?
• RQ5 패리티 엣지-색칠법과 그래프가 하이퍼큐브에 임베딩되는 것 사이의 관계는 무엇인가?

주요 결과

• 완전 그래프 $K_n$ 의 강한 패리티 엣지-색칠 수는 모든 $n$ 에 대해 $\widehat{p}(K_n) = 2^{\lceil \lg n \rceil} - 1$ 이다.
• 만약 $n = 2^k$ 이면, $K_n$ 의 최적 강한 패리티 엣지-색칠법은 유일하며, 정점에 서로 다른 $k$-비트 이진 문자열을 레이블링하고, 엣지는 그 대칭 차집합으로 색칠하는 것과 대응된다.
• $n \leq 16$ 일 때는 $p(K_n) = \widehat{p}(K_n)$ 이며, 이는 패리티 색칠 수와 강한 패리티 색칠 수가 일치함을 의미한다.
• 이 결과는 Daykin과 Lovász의 극값 집합 이론 결과의 특수 케이스를 강화하며, $n$ 개의 집합이 최소 $2^{\lceil \lg n \rceil}$ 개의 서로 다른 비어 있지 않은 대칭 차집합을 가짐을 증명한다.
• 홀수 사이클 $C_n$ 에 대해 $p(C_n) = \widehat{p}(C_n) = 1 + \lceil \lg n \rceil$ 이고, $K_{2,n}$ 에 대해 $p(K_{2,n}) = \widehat{p}(K_{2,n})$ 는 $n$ 이 짝수일 경우 $n$, 홀수일 경우 $n+1$ 이다.
• 논문은 연결된 그래프에 대해 $p(G) \geq \lceil \lg n(G) \rceil$ 임을 증명하며, 경로와 짝수 사이클에서는 등호가 성립함을 보이고, 하이퍼큐브의 모든 부분그래프에 대해 $p(G) = \lceil \lg n(G) \rceil$ 가 성립함을 보여준다.