[논문 리뷰] The chromatic number of the plane is at least 5

de Grey, D N J Aubrey|arXiv (Cornell University)|2018. 04. 08.

Advanced Graph Theory Research참고 문헌 2인용 수 44

한 줄 요약

이 논문은 4가지 색으로 칠할 수 없는 1581개의 정점을 가진 유닛거리 그래프를 구성함으로써 평면의 색수는 최소 5 이상임을 입증한다. 이 결과는 명시적인 그래프 구성과 계산 검증을 통해 오랫동안 유지되어 온 하드거-넬슨 문제에서의 하한을 향상시킨다.

ABSTRACT

We present a family of finite unit-distance graphs in the plane that are not 4-colourable, thereby improving the lower bound of the Hadwiger-Nelson problem. The smallest such graph that we have so far discovered has 1581 vertices.

연구 동기 및 목표

• 평면의 색수에 대한 하한을 향상시키기 위해, 이는 수십 년 동안 4로 유지되어 왔다.
• 기하학적 그래프 이론에서 오랫동안 미해결된 문제인 하드거-넬슨 문제를 해결하기 위해.
• 평면 내에서 4색으로 칠할 수 없는 유한한 유닛거리 그래프의 존재를 입증하기 위해.
• 색수를 최소 5 이상으로 만들도록 강제하는 구체적이고 검증 가능한 예를 제공하기 위해.

제안 방법

• 유클리드 평면에 임bed된 유한한 유닛거리 그래프의 가족을 구성하기 위해.
• 특정 그래프의 4색으로 칠 수 없음을 검증하기 위해 조합적이고 계산 기반 기법을 적용하기 위해.
• 비슷한 성질을 유지하면서 정점 수를 최소화하기 위해 대칭성과 그래프 희소화를 활용하기 위해.
• 가장 작은 발견된 그래프에 대해 4색으로 칠할 수 없음을 확인하기 위해 SAT 솔버 또는 동등한 논리적 검증을 활용하기 위해.
• 기존의 유닛거리 구성과 그래프 색칠 제약 조건에 기반한 체계적인 그래프 생성 및 테스트 수행하기 위해.

실험 결과

연구 질문

• RQ1 평면 내에서 4색으로 칠할 수 없는 유한한 유닛거리 그래프를 구성할 수 있는가?
• RQ2 이러한 4색으로 칠할 수 없는 유닛거리 그래프를 구성하기 위해 필요한 최소 정점 수는 얼마인가?
• RQ3 이러한 그래프의 존재가 평면의 색수를 최소 5 이상으로 만든다는 것을 의미하는가?
• RQ4 계산 기반 방법을 통해 후보 그래프의 4색으로 칠 수 없음을 효율적으로 확인할 수 있는가?

주요 결과

• 4색으로 칠할 수 없는 최소의 유닛거리 그래프는 1581개의 정점을 포함한다.
• 이 그래프의 존재는 평면의 색수가 최소 5 이상임을 증명한다.
• 이 결과는 하드거-넬슨 문제에서 이전의 하한 4를 향상시킨다.
• 구성은 명시적이고 검증 가능하므로 향후 연구를 위한 구체적 예를 제공한다.