소라멘 수와 휠, 일반화 라멘 수의 새로운 경계

초록

본 논문은 책(Book)과 휠(Wheel) 그래프에 대한 작은 라멘 수(Ramsey numbers)의 상·하한을 다양한 계산 기법으로 정밀히 추정한다. 플래그 알지브라, 탭서치, 바텀업 생성, 폴리서큘런트 그래프 열거 등을 활용해 $R(W_5,W_7)=15$, $R(W_5,W_9)=18$, $R(B_2,B_8)=21$, $R(B_3,B_7)=20$ 등 여러 값을 정확히 결정한다. 또한 일반화 라멘 수 $GR(r,K_s,t)$에 대해 $GR(3,K_4,2)=10$, $GR(4,K_4,3)=10$ 등을 구한다.

상세 분석

이 연구는 라멘 수 문제 중에서도 특히 책 그래프 $B_k$와 휠 그래프 $W_k$에 초점을 맞추어, 기존에 알려진 상한과 하한 사이의 격차를 메우는 데 성공하였다. 먼저, 휠 그래프 쌍에 대해 $R(W_5,W_7)=15$라는 정확한 값을 증명했으며, 이는 이전 연구에서 제시된 $16$이라는 상한을 개선한 결과이다. 동일한 방법론을 적용해 $R(W_5,W_9)=18$을 얻었는데, 여기서는 하한과 상한이 모두 $18$로 일치하여 완전한 결론을 도출했다. 책 그래프에 대해서는 $R(B_2,B_8)=21$, $R(B_3,B_7)=20$ 등 여러 새로운 정확한 라멘 수를 제시했으며, 특히 $R(B_2,B_8)$와 $R(B_3,B_7)$은 각각 4‑폴리서큘런트 그래프와 2‑폴리서큘런트 그래프 구조를 이용해 구성된 최적 색칠을 통해 하한을 확보하고, 플래그 알지브라 기반의 반정밀 반정수 계획(semi‑definite programming)으로 상한을 증명하였다.

논문의 핵심 기법은 네 가지로 구분된다. 첫째, 플래그 알지브라 방법을 이용해 상한을 증명한다. 이때 라멘 수 문제를 ‘블로우업(blow‑up)’ 기법으로 확장해 작은 그래프의 구조를 대규모 그래프의 밀도 문제로 전환함으로써, 기존에 비대칭적인 라멘 수 문제에도 적용 가능하도록 하였다. 둘째, 탭서치(taboo search)와 같은 로컬 탐색 기법을 활용해 하한을 위한 색칠 구성을 자동으로 탐색하였다. 여기서는 전체 그래프를 해시로 저장해 이미 방문한 상태를 금지함으로써 탐색 효율을 크게 높였으며, 특히 책 그래프의 경우 스파인(spine)과 페이지(page) 구조를 이용해 점수 함수를 $O(|V|)$ 수준으로 최적화하였다. 셋째, 바텀업 생성(bottom‑up generation) 방식으로 모든 가능한 라멘 그래프를 순차적으로 구축하였다. 이때 nauty 패키지의 geng 프로그램을 확장해 휠·책을 회피하는 제약을 추가함으로써 $R(W_5,W_7)$와 $R(W_5,W_9)$를 각각 90초와 36 CPU‑hour 내에 정확히 계산했다. 넷째, 폴리서큘런트 그래프 열거를 통해 대칭성을 가진 extremal 그래프를 찾아냈다. 특히 $R(B_2,B_8)$의 최적 그래프는 4‑폴리서큘런트 구조를 가지며 240개의 자동동형사상을 보유한다는 점이 흥미롭다.

일반화 라멘 수 $GR(r,K_s,t)$에 대해서는, $r$색상의 완전 그래프 $K_n$에서 $K_s$가 $t$가지 이하의 색으로 나타나는 최소 $n$을 정의한다. 저자들은 $GR(3,K_4,2)=10$과 $GR(4,K_4,3)=10$을 정확히 구했으며, 이는 각각 3‑색과 4‑색 상황에서 2‑색 이하로 클리크를 만들 수 없는 최소 정점 수를 의미한다. 이 구성은 팔레이 그래프와 삼각형들의 조합으로 이루어져 대칭성이 높으며, 다른 일반화 라멘 수에 대해서도 상한·하한을 제시한다.

전체적으로, 이 논문은 작은 라멘 수 문제에 대한 계산적 접근법을 체계화하고, 다양한 알고리즘을 조합함으로써 기존에 미해결이던 값들을 정확히 결정했다. 특히 플래그 알지브라와 로컬 탐색을 결합한 하이브리드 전략은 향후 더 큰 라멘 수 문제에도 적용 가능성을 시사한다.