[논문 리뷰] A Sufficient condition for DP-4-colorability

Seog‐Jin Kim, Kenta Ozeki|arXiv (Cornell University)|2017. 09. 28.

Advanced Graph Theory Research참고 문헌 10인용 수 5

한 줄 요약

이 논문은 평면 그래프에서 DP-4-색칠 가능성을 위한 충분조건을 설정한다. 즉, 4사이클($C_4$)이 없는 모든 평면 그래프는 DP-4-색칠 가능하다는 것을 증명함으로써, 이전의 리스트 색칠 및 서명 색칠 결과를 확장한다. 증명은 최소 반례 추론과 $F_5^3$-부분그래프를 통한 구조적 분해, 잔여 리스트에 대한 근사 색칠 기법을 결합하여 수행되며, 3-퇴화성 조건이 성립하지 않을 경우에도 이러한 그래프가 4-색칠 리스트를 가진 DP-색칠을 허용함을 보여준다.

ABSTRACT

DP-coloring of a simple graph is a generalization of list coloring, and also a generalization of signed coloring of signed graphs. It is known that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-choosable. Furthermore, Jin, Kang, and Steffen \cite{JKS} showed that for each $k \in \{3, 4, 5, 6\}$, every signed planar graph without $C_k$ is signed 4-choosable. In this paper, we show that for each $k \in \{3, 4, 5, 6\}$, every planar graph without $C_k$ is 4-DP-colorable, which is an extension of the above results.

연구 동기 및 목표

• 평면 그래프의 4-선택 가능성 및 서명 4-선택 가능성에 관한 기존 결과를 더 일반적인 DP-색칠 프레임워크로 확장하기 위해.
• 특히 $C_4$-없는 경우에 초점을 맞추어, $k \in \{3,4,5,6\}$인 사이클을 포함하지 않는 평면 그래프에 대한 DP-4-색칠 가능성에 대한 충분조건을 설정하기 위해.
• 3-퇴화성 조건이 실패하는 경우(예: $C_4$-없는 그래프에서처럼)를 해결하기 위해 $F_5^3$-부분그래프를 활용한 새로운 구조적 분해 기법을 도입하기 위해.
• 이전의 리스트 색칠 및 서명 색칠 논문에서 제시된 정리 1과 2를 일반화하고 강화하는 새로운, 독립적인 DP-4-색칠 가능성 증명을 제공하기 위해.

제안 방법

• 최소 반례 $G$를 가정하며, 이는 평면 그래프이고 $C_4$-없으며, DP-4-색칠 가능하지만, 모든 진부분그래프는 DP-4-색칠 가능하다.
• 레마 9를 적용하여, 이러한 $G$는 반드시 $F_5^3$-부분그래프 $H$를 포함해야 한다. 여기서 $H$는 5사이클과 3사이클이 한 변을 공유하는 6정점 부분그래프이며, $G$ 내에서 모든 정점의 차수는 4이다.
• DP-색칠 문제를 $G' = G - V(H)$로 제한하며, 최소성에 의해 ${\mathcal{M}}_{L'}$-색칠이 존재하므로, ${\mathcal{M}}_{L'}$-커버에서 크기 $|V(G)| - 6$인 독립집합 $I'$를 얻는다.
• 정점 $v \in V(H)$에 대해 잔여 리스트 $L^*(v)$를 정의하며, $I'$에서 색칠된 정점과 충돌하는 색상을 제거함으로써, $|L^*(v_2)| \geq 3$, $|L^*(v_6)| \geq 3$, $|L^*(v_j)| \geq 2$ ($j \in \{1,3,4,5\}$)를 확보한다.
• 잔여 색상 가용성에 기반하여 순서 $v_3, v_4, v_5, v_6, v_1$로 근사 색칠을 수행함으로써, $H$에 대해 크기 6인 독립집합 $I^*$를 ${\mathcal{M}}_{L^*}$-커버에서 구성한다.
• 결합된 $I'$와 $I^*$를 통해 전체 독립집합 $I = I' \cup I^*$를 크기 $|V(G)|$로 구성함으로써, $G$가 DP-4-색칠 가능하지 않다는 가정과 모순됨.

실험 결과

연구 질문

• RQ1 3-퇴화성이 성립하지 않는 $C_4$-없는 평면 그래프도 DP-4-색칠 가능할 수 있는가?
• RQ2 DP-색칠 프레임워크는 평면 그래프의 4-선택 가능성 및 서명 4-선택 가능성에 관한 기존 결과를 통합하고 확장할 수 있는가?
• RQ3 $C_4$-없는 평면 그래프에 $F_5^3$-부분그래프가 존재함으로써, 퇴화성 기반 추론이 실패할 경우에도 DP-4-색칠 가능성에 대한 구성적 증명이 가능한가?
• RQ4 최소 반례 추론과 잔여 리스트 색칠 기법의 조합이 DP-색칠에서 $C_4$-없는 경우를 해결할 수 있는가?

주요 결과

• 모든 $C_4$-없는 평면 그래프는 DP-4-색칠 가능하며, 이는 이 클래스에 대한 DP-4-색칠 가능성에 대한 충분조건를 설정한다.
• 이 결과는 이전의 리스트 색칠에 관한 정리 1과 서명 색칠에 관한 정리 2를 더 넓은 DP-색칠 프레임워크로 일반화한다.
• 증명 기법은 3-퇴화성 조건이 실패하는 $C_4$-없는 경우를 성공적으로 다루며, $F_5^3$-부분그래프의 구조적 성질을 활용한다.
• 잔여 리스트 방법은 $G'$에서 사전 색칠된 부분그래프와의 충돌을 고려한 후에도 $H$에서의 근사 색칠에 충분한 색상 가용성을 보장한다.
• ${\mathcal{M}}_L$-커버에서 전체 독립집합 $I = I' \cup I^*$의 구성은 최소성 가정과 모순되며, 이는 주요 결과를 증명한다.
• 본 연구는 $k \in \{3,4,5,6\}$에 대해 $C_k$-없는 평면 그래프에 대해 DP-4-색칠 가능성에 대한 새로운 독립적 증명을 제공하며, 이는 이전 결과들을 통합하고 강화한다.