[논문 리뷰] Odd colourings, conflict-free colourings and strong colouring numbers

Robert Hickingbotham|arXiv (Cornell University)|2022. 03. 19.

Limits and Structures in Graph Theory인용 수 12

한 줄 요약

이 논문은 임의의 그래프의 충돌 없는 색상 수가 2-강한 색상 수의 두 배에서 1을 뺀 값 이하임을 증명하며, 이는 $k$-평면 및 $K_t$-미니어스가 없는 그래프에 대해 날카로운 상한을 이끌어낸다. 또한, 충격 없는 색상 수와 기현색상 수가 모두 유계임을 보이며, 이는 $k$-평면 그래프에 대해 이전의 $O(k^5)$ 상한을 $O(k)$로 개선한다.

ABSTRACT

The odd chromatic number and the conflict-free chromatic number are new graph parameters introduced by Petruševski and Škrekovski [2021] and Fabrici, Lužar, Rindošová and Soták [2022] respectively. In this note, we show that graphs with bounded $2$-strong colouring number have bounded odd chromatic number and bounded conflict-free chromatic number. This implies that graph classes with bounded expansion have bounded odd chromatic number and bounded conflict-free chromatic number. Moreover, it follows by known results that the odd chromatic number and the conflict-free chromatic number of $k$-planar graphs is $O(k)$ which improves a recent result of Dujmović, Morin and Odak [2022].

연구 동기 및 목표

• 2-강한 색상 수에 따라 충돌 없는 색상 수에 대한 날카로운 상한을 확립하는 것.
• 유계 확장성을 갖는 그래프 클래스가 유계 기현색상 수와 충돌 없는 색상 수를 갖는다는 것을 보여주는 것.
• $k$-평면 및 $K_t$-미니어스가 없는 그래프의 기현색상 수와 충돌 없는 색상 수에 대한 기존 상한을 개선하는 것.
• $K_t$-미니어스가 없는 그래프의 충돌 없는 색상 수에 대해 처음으로 알려진 상한을 제공하는 것.
• 강한 색상 수를 중심 매개변수로 삼아 최근의 기현색상 및 충돌 없는 색상에 관한 결과들을 통합하고 확장하는 것.

제안 방법

• 모든 정점 순서에 대해, 정점 $v$에서 시작하여 인덱스가 증가하는 짧은 경로를 통해 갈 수 있는 정점들의 집합 $R(G,\preceq,v,2)$ 의 최대 크기의 최소값으로 2-강한 색상 수 $\operatorname{scol}_2(G)$ 를 정의한다.
• 정점 순서에 따라 색을 할당함으로써 충돌 없는 색상 수를 구성하며, 각 정점은 자신의 왼쪽에 있는 가장 가까운 이웃과 거리 2 이내의 정점에서 사용된 색상들을 피한다.
• 닭장 원리(피그노울 원리)를 적용하여 각 정점에 대해 $[2\operatorname{scol}_2(G)-1]$ 범위 내에서 자유 색상을 확보함으로써 적절하고 충돌 없는 성질을 보장한다.
• 각 정점의 왼쪽에 있는 가장 가까운 이웃이 그 닫힌 이웃 내에서 유일한 색상을 유지함을 증명함으로써 충돌 없는 조건을 만족시킨다.
• $k$-평면 및 $K_t$-미니어스가 없는 그래프에 대해 $\operatorname{scol}_2(G)$ 의 알려진 상한을 활용하여 충돌 없는 색상 수에 대한 정량적 상한을 유도한다.
• 이 결과를 적용하여, 유계 확장성을 갖는 클래스가 유계 기현색상 수와 충돌 없는 색상 수를 갖는다는 것을 보이며, 이러한 클래스들이 유계 $\operatorname{scol}_2(G)$ 를 갖기 때문이다.

실험 결과

연구 질문

• RQ1 충돌 없는 색상 수는 2-강한 색상 수에 따라 유계로 표현될 수 있는가?
• RQ2 이러한 상한이 유계 확장성을 갖는 그래프 클래스에 대해 어떤 함의를 갖는가?
• RQ3 이 상한은 $k$-평면 그래프에 대해 기존 상한보다 어떻게 개선되는가?
• RQ4 이 접근법을 통해 $K_t$-미니어스가 없는 그래프의 충돌 없는 색상 수에 대해 처음으로 상한을 구할 수 있는가?
• RQ5 강한 색상 수는 기현색상 수와 같은 다른 그래프 색상 수치를 얼마나 잘 제어하는가?

주요 결과

• 모든 그래프 $G$ 에 대해 충돌 없는 색상 수 $\chi_{\text{pcf}}(G)$ 는 $2\operatorname{scol}_2(G) - 1$ 이하이며, 이 상한은 날카로운 것이다.
• $k$-평면 그래프에 대해 $\chi_{\text{pcf}}(G) \leq 60k + 59$ 이며, 이는 이전의 $O(k^5)$ 상한을 개선한 것이다.
• $K_t$-미니어스가 없는 그래프에 대해 $\chi_{\text{pcf}}(G) \leq 5(t-1)(t-2) - 1$ 이며, 이는 이 클래스에 대해 처음으로 알려진 상한이다.
• 유계 확장을 갖는 그래프 클래스는 기현색상 수와 충돌 없는 색상 수가 모두 유계이며, 이는 $\operatorname{scol}_2(G)$ 가 유계이기 때문이다.
• $k$-평면 그래프의 기현색상 수는 이제 $O(k)$ 로 알려졌으며, 이는 이전의 $O(k^5)$ 결과를 개선한 것이다.
• 증명 기법은 $2\operatorname{scol}_2(G) - 1$ 개의 색상만을 사용하여 적절하고 충돌 없는 성질을 보장하는 구축 가능한 그레디 색상 알고리즘을 유도한다.