[논문 리뷰] Proper conflict-free coloring of sparse graphs

Eun‐Kyung Cho, Ilkyoo Choi외 2명|arXiv (Cornell University)|2022. 03. 30.

Advanced Graph Theory Research인용 수 5

한 줄 요약

이 논문은 희박한 그래프에 대해 적절한 충돌 없는 $c$-색칠을 보장하는 최대 평균 차수(mad)의 날카운 경계를 확립한다. $c \geq 5$인 경우, $\operatorname{mad}(G) \leq \frac{4c}{c+2}$이면 적절한 충돌 없는 $c$-색칠이 가능하며, 단지 $G$가 $K_{c+1}$의 $1$-분할을 포함하지 않는 한이다. $c=4$인 경우, 경계는 $\operatorname{mad}(G) < \frac{12}{5}$이며, $G$가 유도된 $5$-사이클을 포함하지 않는 한이다. 또한, 둘레가 $5$ 이상인 평면 그래프는 적절한 충돌 없는 $7$-색칠을 가진다.

ABSTRACT

A {\it proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once on its neighborhood. This notion was formally introduced by Fabrici et al., who proved that planar graphs have a proper conflict-free 8-coloring and constructed a planar graph with no proper conflict-free 5-coloring. Caro, Petruševski, and Škrekovski investigated this coloring concept further, and in particular studied upper bounds on the maximum average degree that guarantees a proper conflict-free $c$-coloring for $c\in\{4,5,6\}$. Along these lines, we completely determine the threshold on the maximum average degree of a graph $G$, denoted $mad(G)$, that guarantees a proper conflict-free $c$-coloring for all $c$ and also provide tightness examples. Namely, for $c\geq 5$ we prove that a graph $G$ with $mad(G)\leq \frac{4c}{c+2}$ has a proper conflict-free $c$-coloring, unless $G$ contains a $1$-subdivision of the complete graph on $c+1$ vertices. When $c=4$, we show that a graph $G$ with $mad(G)

연구 동기 및 목표

• 모든 $c$에 대해 적절한 충돌 없는 $c$-색칠을 보장하는 최대 평균 차수(mad)의 정확한 임계값을 규명하는 것.
• 그러한 색칠을 방해하는 극한 그래프, 특히 $K_{c+1}$의 $1$-분할과 유도된 $5$-사이클을 특정하는 것.
• Caro, Petruševski, 및 Škrekovski가 제시한 $c \in \{4,5,6\}$에 대한 mad 경계에 대한 이전 결과를 향상시키는 것.
• 특히 둘레 제약 조건이 있는 평면 그래프로 결과를 확장하여, 둘레 $\geq 5$인 경우에 대해 $7$-색칠이 가능하다는 것을 보여주는 것.
• 특히 $5$-사이클과 $K_{c+1}^*$를 포함한 명시적 극한 예시를 통해 경계의 날카로움을 확립하는 것.

제안 방법

• 둘레 제약 조건이 있는 평면 유사 그래프에 대해 전하 재분배 분석을 위한 분배 기법을 사용하여 면의 최종 전하가 음수가 아님을 증명하는 것.
• 분배 규칙 체계 정의: (R1) 면의 크기에 기반한 초기 전하, (R2) 차수와 유형(좋음, 나쁨, $4^+$)에 따라 정점이 인접한 면으로 전하를 전달, (R3) $2$-정점과 $3$-정점에 대해 특별한 규칙 적용, (R4) $9^+$-정점은 각 인접 면에 $\frac{1}{3}$의 전하를 전달.
• 전하 이동을 통제하고 총 수신 전하의 하한을 확보하기 위해 정점과 면을 좋음, 나쁨, 끔찍함으로 분류.
• 구조적 보조정리(예: 나쁜 정점에 관한 보조정리 2.3, $2$- 및 $3$-이웃에 관한 보조정리 2.5)를 적용하여 가능한 구성의 제약을 설정.
• 주어진 mad 경계와 금지된 부분그래프를 배제할 경우, 모든 면이 음수가 아닌 최종 전하를 가지며, 이는 색칠의 존재를 의미함을 증명.
• 극한 예시(예: $K_{c+1}^*$, $5$-사이클)를 사용하여 경계의 날카로움을 입증.

실험 결과

연구 질문

• RQ1 모든 $c$에 대해 적절한 충돌 없는 $c$-색칠을 보장하는 최대 평균 차수(mad)의 정확한 임계값은 무엇인가?
• RQ2 mad 경계를 만족함에도 불구하고 적절한 충돌 없는 $c$-색칠을 방해하는 극한 그래프는 무엇인가?
• RQ3 $c=4$의 경우, 유도된 $5$-사이클을 금지하면 경계를 향상시킬 수 있는가?
• RQ4 평면 그래프가 적절한 충돌 없는 $c$-색칠을 가지기 위해 필요한 최소 둘레는 얼마인가?
• RQ5 구조적 유사성 때문에, 적절한 충돌 없는 색칠의 임계값과 홀수 색칠의 임계값은 어떻게 비교되는가?

주요 결과

• 모든 $c \geq 5$에 대해, $\operatorname{mad}(G) \leq \frac{4c}{c+2}$인 그래프 $G$는 $K_{c+1}$의 $1$-분할을 포함하지 않는 한 적절한 충돌 없는 $c$-색칠을 가진다.
• $c = 4$인 경우, $\operatorname{mad}(G) < \frac{12}{5}$인 그래프 $G$는 유도된 $5$-사이클을 포함하지 않는 한 적절한 충돌 없는 $4$-색칠을 가진다.
• 둘레가 $5$ 이상인 평면 그래프는 적절한 충돌 없는 $7$-색칠을 가지며, 이는 이전에 알려진 $8$-색칠 결과를 향상시킨다.
• $c \geq 5$에 대해 $\frac{4c}{c+2}$ 경계는 $1$-분할된 $K_{c+1}$를 통해 날카로움이 입증되며, 이 그래프의 mad는 정확히 이 값이며 $c+1$개의 색이 필요하다.
• $c=4$의 경우 유일한 극한 그래프는 $5$-사이클이며, $\operatorname{mad} = 2$이고 $5$개의 색이 필요하므로, $\frac{12}{5} = 2.4$의 경계가 이 그래프를 배제할 경우 날카로움을 보여준다.
• 결과로 인해 $g_7 \leq 5$ 및 $g_6 \leq 8$가 도출되며, 여기서 $g_c$는 평면 그래프가 적절한 충돌 없는 $c$-색칠을 가지기 위한 최소 둘레를 의미한다.