[논문 리뷰] On the 4-color theorem for signed graphs

František Kardoš, Jonathan Narboni|arXiv (Cornell University)|2019. 06. 13.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 모든 서명된 평면 그래프가 4-signed 색칠 가능하다는 추측을 반증하며, 서명된 그래프로의 4색 정리 일반화를 수행한다. 투트의 그래프에 체계적으로 배치된 음성 정점과 에지 레이블링 제약 조건을 통한 이중 그래프 분석을 통해, 일관된 2-팩터가 존재하지 않음을 입증함으로써, 타당한 4-signed 색칠이 존재하지 않음을 보여준다. 이 결과는 서명된 그래프 색칠 이론에서 오랫동안 유지된 추측을 반박하며, 39개 정점을 가진 최소의 비4색 가능 서명된 평면 그래프를 규명한다.

ABSTRACT

There are several ways to generalize graph coloring to signed graphs. M\'a\v{c}ajov\'a, Raspaud and \v{S}koviera introduced one of them and conjectured that in this setting, for signed planar graphs four colors are always enough, generalising thereby The Four Color Theorem. We disprove the conjecture.

연구 동기 및 목표

• Mácajová, Raspaud, 및 Škoviera가 도입한 k-signed 색칠 정의에 따라 4색 정리가 서명된 평면 그래프로 어떻게 일반화되는지 조사하기 위해.
• Mácajová, Raspaud, 및 Škoviera의 [MRŠ16]에서 제기한 바와 같이, 모든 서명된 평면 그래프가 4-signed 색칠을 갖는지 확인하기 위해.
• Zhu의 추측을 통해 서명된 그래프 색칠과 약한 리스트 색칠 간의 관계를 탐색하기 위해.
• Conjecture 1의 반례를 구성하여, 4-signed 색칠이 불가능한 서명된 평면 그래프를 특정하기 위해.

제안 방법

• 서명된 정점 색칠 문제를 이중 그래프 H에서의 약한 서명된 에지 레이블링 문제로 변환하였으며, {0, a, b} 레이블을 사용하였다.
• 정점의 부호(양/음)와 차수의 기수성에 기반한 약한 서명된 에지 레이블링 조건을 정의하여, 서명된 색칠 제약 조건과 일관성을 확보하였다.
• 서명된 평면 그래프와 그 3연결 평면 이중 그래프 간의 이중성을 활용하여, 색칠 문제를 이중 그래프 상의 레이블링 문제로 재구성하였다.
• 투트의 그래프에 음성 정점 12개를 포함시켜 반례를 구성함으로써, 일관된 2-팩터가 존재하지 않음을 증명하였다.
• 투트의 프래그먼트를 적용하여, 일관된 2-팩터에 반드시 포함되어야 할 특정 에지가 존재함을 보였으며, 중심 에지를 배제할 경우 모순이 발생함을 입증하였다.
• 일관된 2-팩터가 존재하지 않음이 약한 서명된 에지 레이블링도 존재하지 않음을 의미하므로, 4-signed 색칠도 존재하지 않음을 보였다.

실험 결과

연구 질문

• RQ1 Mácajová, Raspaud, 및 Škoviera의 Conjecture 1에서 주장한 바와 같이, 모든 서명된 평면 그래프가 4-signed 색칠을 갖는가?
• RQ2 약한 서명된 에지 레이블링의 존재를 방해하는 이중 그래프 내부의 구조적 장애물이 존재하는가? 이는 서명된 그래프에 대한 4색 추측을 무효화한다.
• RQ3 이중 그래프가 일관된 2-팩터를 갖지 않는 서명된 평면 그래프를 구성할 수 있는가? 이는 k-signed 색칠 모델 하에서 비4색 가능성과 관련된다.
• RQ4 k-signed 색칠 정의 하에서 비4색 가능한 서명된 평면 그래프의 최소 크기는 얼마인가?
• RQ5 정삼각형 평면 그래프에서 일관된 2-팩터가 존재하지 않음이 약한 서명된 에지 레이블링의 존재를 불가능하게 하는가?

주요 결과

• 논문은 61개 정점을 가진 서명된 평면 그래프를 구성하여, 이 그래프가 4-signed 색칠이 불가능함을 입증함으로써 Conjecture 1을 반박한다.
• 투트의 그래프의 음성 정점들을 7정점 간접체로 대체하여, 39개 정점을 가진 비4색 가능 서명된 삼각분할 그래프를 구성한다.
• 구성된 그래프의 이중은 12개의 음성 정점을 가진 3연결 정삼각형 평면 그래프이며, 일관된 2-팩터를 갖지 않는다.
• 일관된 2-팩터가 존재하지 않음이 약한 서명된 에지 레이블링도 존재하지 않음을 의미하며, 이는 4-signed 색칠이 존재하지 않음을 의미한다.
• 결과적으로, 4색 정리는 k-signed 색칠 모델 하에서 서명된 그래프로 일반화되지 않음을 보여준다.
• 현재까지 알려진 비4색 가능한 서명된 평면 그래프 중 최소 크기는 39개 정점이며, 이는 8개의 음성 정점을 가진 비해밀로니안 3연결 정삼각형 평면 그래프와 7정점 대체 간접체를 이용해 유도되었다.