거리 그래프의 포장 색채수 새로운 경계

초록

본 논문은 정수 집합을 정점으로 하고 인접조건을 |i‑j|∈{1,t} 로 정의한 무한 거리 그래프 D(1,t)의 포장 색채수 χₚ(D(1,t))에 대해 상한과 하한을 개선한다. t가 충분히 큰 홀수일 때 χₚ ≤ 35, 짝수일 때 χₚ ≤ 56을 보이며, t≥9에 대해 χₚ ≥ 12임을 증명한다. 또한 작은 t에 대한 구체적인 상·하한을 컴퓨터 탐색으로 정밀히 제시한다.

상세 분석

논문은 먼저 포장 색채수(χₚ)의 정의와 그 계산이 NP‑완전임을 상기한 뒤, 무한 거리 그래프 G(ℤ,D) 중 D={1,t} 형태에 초점을 맞춘다. 기존 연구인 Togni(2017)의 상한 결과는 t가 큰 경우에도 86173 사이의 값에 머물렀는데, 저자들은 새로운 구조적 분해와 색채 패턴을 이용해 이를 크게 낮춘다. 핵심 아이디어는 그래프를 ‘밴드’와 ‘스트립’이라는 두 종류의 무한 경로 집합으로 분해하는 것이다. 밴드 B_i는 정수 i를 시작으로 t 간격으로 이어지는 정점들의 집합이며, 연속된 24개의 밴드가 모여 하나의 스트립 S_i를 이룬다. 스트립 내부에서는 24×24 격자에 대한 기존의 17색 포장 색채 패턴을 주기적으로 적용해 색칠하고, 밴드에서는 색 1을 일정 간격으로 배치한 뒤, 색 1835 사이의 연속된 색을 교대로 사용해 거리 조건을 만족하도록 설계한다.

이러한 구성은 두 경우, 즉 t가 홀수인 경우와 짝수인 경우에 각각 다른 시작점과 이동량을 적용해 전체 그래프를 완전하게 색칠한다. 홀수 t≥575에서는 스트립을 s개, 밴드를 r개( r<24, r은 홀수) 배치하고, 짝수 t≥648에서는 스트립을 s+2개, 밴드를 r개( r는 짝수) 배치한다. 각 스트립은 117 색으로, 각 밴드는 1,1835 색으로 색칠되며, 색 1이 인접한 두 정점에 동시에 배정되지 않도록 세심히 조정한다. 결과적으로 전체 그래프에 대해 χₚ ≤ 35(홀수) 혹은 ≤ 56(짝수)라는 새로운 상한을 얻는다.

하한 측면에서는 t≥9인 경우, D(1,t) 그래프가 2‑차원 격자 ℤ²의 부분그래프임을 이용해 기존에 알려진 격자에 대한 χₚ≥12 결과를 그대로 적용한다. 작은 t(1≤t≤9)에 대해서는 컴퓨터 기반의 완전 탐색과 시뮬레이티드 어닐링을 활용해 색채 패턴을 찾아 상·하한을 구체화한다. 예를 들어 t=4에 대해 χₚ≤15(패턴 길이 320)와 χₚ≥14를 입증하고, t=5,7,9 등에 대해서도 각각 12,14,13 이상의 하한을 제시한다.

전체적으로 이 논문은 무한 거리 그래프의 포장 색채수에 대한 기존 연구보다 훨씬 더 강력한 상·하한을 제공하며, 밴드‑스트립 분해와 주기적 색채 패턴이라는 새로운 방법론을 도입함으로써 향후 유사 무한 그래프의 색채 문제에도 적용 가능한 틀을 제시한다.