10정점 그래프의 삼각형 라무리 수 완전 정리

초록

본 논문은 정점 10개를 갖는 모든 그래프에 대해 삼각형 라무리 수 R(K₃,G)를 구하고, 12 005 158개의 그래프에 대해 정확한 값을 제시한다. 남은 10개의 그래프는 현재 방법으로는 결정되지 않았으며, 개별적인 접근이 필요함을 제시한다. 이를 위해 최대 삼각형‑무관 그래프와 라무리 그래프를 생성하는 최적화된 알고리즘을 개발하고, 이 알고리즘을 이용해 라무리 수 30 이하까지 전부 계산하였다. 또한 30을 초과하는 경우에 적용 가능한 몇 가지 이론적 결과도 증명한다.

상세 분석

이 연구는 그래프 이론에서 가장 난이도가 높은 문제 중 하나인 라무리 수 계산에 대해 실용적인 돌파구를 제공한다. 특히 K₃, 즉 삼각형을 피하는 색칠 문제에 초점을 맞추어, 정점 수가 10인 모든 비동형 그래프에 대해 R(K₃,G)를 체계적으로 조사하였다. 저자들은 먼저 기존의 완전 탐색 방식이 그래프 수의 폭발적 증가로 인해 비효율적임을 지적하고, 최대 삼각형‑무관(maximal triangle‑free, MTF) 그래프와 라무리 그래프를 동시에 생성할 수 있는 새로운 알고리즘을 설계하였다. 이 알고리즘은 그래프의 동형성을 자동으로 판별하고, 불필요한 중복 생성을 방지함으로써 탐색 공간을 급격히 축소한다. 또한, 그래프의 차수 분포와 클리크 수와 같은 구조적 특성을 이용해 사전 필터링을 수행해, 라무리 수가 특정 값 이하인 경우를 빠르게 배제한다.

이와 더불어 저자들은 이론적 측면에서도 중요한 기여를 한다. 라무리 수가 30을 초과하는 경우에 대해, 특정 서브그래프가 포함될 때 라무리 수가 최소값을 갖는 조건을 정리하고, 이를 통해 몇몇 그래프에 대한 상한과 하한을 정확히 일치시켰다. 특히, 그래프의 보완 그래프(complement)와의 관계를 이용한 불가능성 증명은 기존 문헌에 없던 새로운 접근법이다. 이러한 이론적 결과는 계산 결과와 결합되어, 12 005 158개의 그래프에 대해 정확한 라무리 수를 도출하는 데 결정적인 역할을 했다.

남은 10개의 그래프는 현재 알고리즘과 이론적 도구만으로는 라무리 수를 확정할 수 없으며, 각 그래프의 특수한 구조—예를 들어, 높은 차수와 복잡한 사이클 구성—가 기존 방법을 무력화한다는 점을 지적한다. 따라서 향후 연구에서는 이러한 특수 그래프에 맞춤형 구성이나 SAT 기반 증명기술을 도입해야 할 필요성이 강조된다. 전체적으로 이 논문은 계산 복잡도와 이론적 깊이를 동시에 만족시키는 라무리 수 연구의 새로운 표준을 제시한다.