[논문 리뷰] Coloring graphs using topology

Oliver Knill|arXiv (Cornell University)|2014. 12. 22.

Computational Geometry and Mesh Generation참고 문헌 79인용 수 16

한 줄 요약

이 논문은 두 차원 기하 그래프를 고차원 그래프에 통합하여 위상적 접근을 통해 그래프 색칠 문제를 제안한다. 정밀화와 자기 코버디즘을 사용해 간선 차수를 줄이고 4색 가능성을 달성한다. 네 가지 색으로 충분한 이유를 위상적으로 설명하며, 비가역성 또는 고계수 표면의 경우 5색으로 확장한다. 4차원 임베딩을 통해 5색이 상한임을 보이며, 계산적 도표를 통해 이론적 주장에 대한 지원을 제공한다.

ABSTRACT

Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if all interior edge degrees are even. Using a refinement process which cuts the interior along surfaces we can adapt the degrees along the boundary of that surface. More efficient is a self-cobordism of G with itself with a host graph discretizing the product of G with an interval. It follows from the fact that Euler curvature is zero everywhere for three dimensional geometric graphs, that the odd degree edge set O is a cycle and so a boundary if H is simply connected. A reduction to minimal colouring would imply the four colour theorem. The method is expected to give a reason "why 4 colours suffice" and suggests that every two dimensional geometric graph of arbitrary degree and orientation can be coloured by 5 colours: since the projective plane can not be a boundary of a 3-dimensional graph and because for higher genus surfaces, the interior H is not simply connected, we need in general to embed a surface into a 4-dimensional simply connected graph in order to colour it. This explains the appearance of the chromatic number 5 for higher degree or non-orientable situations, a number we believe to be the upper limit. For every surface type, we construct examples with chromatic number 3,4 or 5, where the construction of surfaces with chromatic number 5 is based on a method of Fisk. We have implemented and illustrated all the topological aspects described in this paper on a computer. So far we still need human guidance or simulated annealing to do the refinements in the higher dimensional host graph.

연구 동기 및 목표

• 모든 두 차원 기하 그래프에 대해 네 가지 색으로 칠할 수 있는 이유를 위상적 관점에서 설명하는 것.
• 3차원 기하 그래프의 정밀화를 통해 4색 가능성을 확보하는 구축적 방법을 개발하는 것.
• 4차원 단순연결된 호스트 그래프를 사용해 비가역성 또는 고계수 표면으로 색칠 프레임워크를 확장하는 것.
• 위상적 차단 조건에 기반해 일반적인 2차원 기하 그래프의 색칠 수가 5로 상한임을 보이는 것.
• 위상적 과정을 계산적으로 구현하고 시각화하여 이론적 주장에 대한 지원을 제공하는 것.

제안 방법

• 2차원 기하 그래프 G를 3차원 기하 그래프 H의 경계로 통합하고, H의 내부를 정밀화하여 내부 간선의 차수를 모두 짝수로 만들며, 이로 인해 4색 가능성을 확보한다.
• 내부를 표면을 따라 잘라내어 경계에 따라 간선 차수를 조정하는 정밀화 과정을 사용한다.
• G를 자기 코버디즘으로 처리하며, G × I(구간)를 이산화한 호스트 그래프를 사용해 위상적 일관성을 유지한다.
• 3차원 기하 그래프에서 올리버 곡률이 0임을 이용해, O(홀수 차수 간선 집합)가 사이클임을 보이고, H가 단순연결이면 그 자체로 경계임을 증명한다.
• 피스크의 방법을 활용해 비가역성 또는 고계수의 경우에 대해 색칠 수가 5인 표면을 구성한다.
• 인간이 가이드하거나 시뮬레이티드 어닐링 기반의 정밀화를 사용해 고차원에서 위상적 구성 과정을 계산적으로 구현한다.

실험 결과

연구 질문

• RQ1 4색 정리는 위상적 관점에서 왜 성립하는가? 기하 그래프 이론을 통해 설명할 수 있는가?
• RQ2 차수나 방향성에 관계없이 모든 2차원 기하 그래프는 위상적 임베딩과 정밀화를 통해 4색으로 칠할 수 있는가?
• RQ3 비가역성 또는 고계수 표면의 4색 가능성을 보장하기 위해 필요한 최소 차원은 무엇인가?
• RQ4 어떤 표면 유형에서는 색칠 수가 5로 증가하는가? 어떤 위상적 조건이 이를 초래하는가?
• RQ5 고차원 임베딩을 사용해 최소 색칠을 달성할 수 있는 구축적이고 알고리즘 기반의 방법을 개발할 수 있는가?

주요 결과

• 3차원 기하 그래프에서 홀수 차수 간선 집합 O는 단순연결이면 사이클이며, 따라서 경계가 되므로 정밀화를 통해 4색 가능성이 보장된다.
• 3차원 기하 그래프 H의 내부를 정밀화하여 모든 내부 간선의 차수를 짝수로 만들면, 경계 G의 4색 가능성이 보장된다.
• 3차원 기하 그래프의 경계가 될 수 없는 비가역 표면(예: 실수 평면)의 경우 5색이 필요하다.
• 고계수 또는 비가역 표면의 경우, 4차원 단순연결 기하 그래프에 임베딩하면 5색 가능성이 보장되며, 이는 5가 상한임을 시사한다.
• 피스크의 방법을 사용해 색칠 수가 3, 4, 5인 표면의 구체적 예를 구성하여 이론적 한계를 확인한다.
• 계산적 구현을 통해 모든 위상적 과정을 성공적으로 시각화했으며, 정밀화 과정은 아직 인간 또는 시뮬레이티드 어닐링 기반의 가이드가 필요로 한다.