[논문 리뷰] (1,0,0)-colorability of planar graphs without cycles of length 4 or 6

Ligang Jin, Yingli Kang외 2명|arXiv (Cornell University)|2020. 01. 01.

Computational Geometry and Mesh Generation참고 문헌 23인용 수 3

한 줄 요약

이 논문은 4-사이클이나 6-사이클을 갖지 않는 모든 평면 그래프가 (1,0,0)-색칠 가능하다는 것을 증명한다. 즉, 정점들을 세 집합으로 분할할 수 있으며, 그 중 하나의 집합은 최대 차수 1 이하인 부분그래프를 유도하고, 나머지 두 집합은 최대 차수 0인 부분그래프를 유도한다. 이 결과는 감소 가능한 구성요소와 전하 재분배 규칙을 사용한 방전 방법을 통해 이전의 (2,0,0)-색칠 가능성 및 (1,1,0)-색칠 가능성 결과를 향상시키며, 짧은 사이클이 없는 평면 그래프의 비정상적 색칠 이론에서 핵심 케이스를 해결한다.

ABSTRACT

A graph $G$ is $(d_1,d_2,d_3)$-colorable if the vertex set $V(G)$ can be partitioned into three subsets $V_1,V_2$ and $V_3$ such that for $i\in\{1,2,3\}$, the induced graph $G[V_i]$ has maximum vertex-degree at most $d_i$. So, $(0,0,0)$-colorability is exactly 3-colorability. The well-known Steinberg's conjecture states that every planar graph without cycles of length 4 or 5 is 3-colorable. As this conjecture being disproved by Cohen-Addad etc. in 2017, a similar question, whether every planar graph without cycles of length 4 or $i$ is 3-colorable for a given $i\in \{6,\ldots,9\}$, is gaining more and more interest. In this paper, we consider this question for the case $i=6$ from the viewpoint of improper colorings. More precisely, we prove that every planar graph without cycles of length 4 or 6 is (1,0,0)-colorable, which improves on earlier results that they are (2,0,0)-colorable and also (1,1,0)-colorable, and on the result that planar graphs without cycles of length from 4 to 6 are (1,0,0)-colorable.

연구 동기 및 목표

• 4-또는 6-사이클을 갖지 않는 평면 그래프가 (1,0,0)-색칠 가능할 수 있는지 여부를 해결함으로써, 기존의 (2,0,0)- 및 (1,1,0)-색칠 가능성 결과를 넘어서는 것.
• 스테인베르크 유형의 추측과 그 완화판에 관해, 특히 짧은 사이클이 없는 평면 그래프에서의 비정상적 색칠 이론을 확장하는 것.
• 기존 연구에서 4에서 6사이클을 제외한 평면 그래프에 대해 (1,0,0)-색칠 가능성을 보여준 것보다 더 강력한 결과를 확립하는 것.
• 감소 가능한 구성요소의 구조적 분석을 통해 주요 정리를 증명하기 위해, 철저히 설계된 전하 재분배 규칙을 적용한 방전 방법을 적용하는 것.

제안 방법

• 증명은 초기 전하를 정점과 면의 차수에 따라 할당한 후, 정해진 규칙에 따라 전하를 재분배하는 방전 방법을 사용한다. 이는 최종 전하가 음수가 아님을 보여주는 데 목적이 있다.
• 핵심 규칙으로는 8-이상 면으로부터 인접한 2-정점으로 전하 1을 이관하는 것(R11), 그리고 면의 유형과 인접 정점의 차수에 따라 정점으로부터 면으로 전하를 분배하는 것.
• 특정 구성요소(예: 내부에 2-정점이 있는 면 또는 특정 사이클 구조를 가진 면)의 감소 가능성을 식별하고 증명하여 잠재적 반례를 제거한다.
• 구조적 보조정리(예: 보조정리 3.1, 3.7, 3.19, 3.20)를 사용하여, 특히 2-정점과 무거운 이웃 정점에 관한 면과 정점의 국소적 구조를 제약한다.
• 다양한 면 유형(3-, 5-, 8+-면)과 정점의 차수를 고려한 전하 재분배 규칙를 설계하였으며, 특히 약한/강한 면과 반바퀴형 구조(antiwheels)에 특별한 처리를 한다.
• 초확장된 정리(초확장 정리)를 제시하고 증명하여, 그래프의 추가적인 구조적 제약 조건을 포함함으로써 주요 결과를 더욱 강화한다.

실험 결과

연구 질문

• RQ1 4-또는 6-사이클을 갖지 않는 모든 평면 그래프는 (1,0,0)-색칠 가능할까?
• RQ2 4-와 6-사이클을 제외한 평면 그래프에 대해 (1,0,0)-색칠 가능성을 확립할 수 있는가? 이는 이전의 (2,0,0)- 및 (1,1,0)-색칠 가능성 결과를 향상시키는가?
• RQ3 4-또는 6-사이클을 갖지 않는 평면 그래프의 어떤 구조적 성질이 더 강력한 비정상적 색칠 결과를 가능하게 하는가?
• RQ4 이러한 그래프 내에서 (1,0,0)-색칠 가능성을 방전 방법으로 증명하는 데 사용할 수 있는 감소 가능한 구성요소가 존재하는가?

주요 결과

• 4-또는 6-사이클을 갖지 않는 모든 평면 그래프는 (1,0,0)-색칠 가능하며, 이는 이전에 알려진 (2,0,0)- 및 (1,1,0)-색칠 가능성 결과보다 더 강력한 결과이다.
• 증명은 8-이상 면이 각 인접한 2-정점으로 전하 1을 전달함으로써, 이러한 면의 최종 전하가 음수가 아님을 보여준다.
• 5-면의 최종 전하는 0 이상이며, 이는 5-이상 정점으로부터 최소 8/3의 전하를 받거나 다수의 4-이상 정점으로부터 충분한 전하를 받을 경우에 달성된다.
• 모든 3-면은 최종 전하가 정확히 0이며, 면의 유형과 강도에 따라 인접한 3-정점, 4-정점 및 중량이 큰 외부 이웃 정점으로부터 전하를 수신함으로써 달성된다.
• 방전 과정을 통해 어떤 면이나 정점도 음수 전하를 갖지 않음을 확인함으로써, 감소 가능성과 구조적 가정이 타당함을 검증한다.
• 이전 연구에서 4에서 6사이클을 제외한 평면 그래프에 대해 (1,0,0)-색칠 가능성을 보여준 것보다 더 나아가, 이제는 오직 4-와 6-사이클만 제외하는 경우로 확장된 결과를 얻었다.