17점 집합에서 두 개의 서로 떨어진 5구멍

초록

이 논문은 일반 위치에 있는 17개의 점이면 반드시 서로 볼록 껍질이 겹치지 않는 5개의 점으로 이루어진 두 개의 구멍(5‑hole)이 존재한다는 것을 컴퓨터 보조 증명을 통해 입증한다. 또한 15점에서는 두 개의 내부‑분리 5구멍이 항상 존재함을 보이고, 다중 파라미터 h(k₁,…,k_l)와 F_k(n)에 대한 새로운 상한·하한을 제시한다. 증명은 삼중 방향(orientation)만을 이용해 SAT 인코딩을 만든 뒤 최신 SAT 솔버로 해결하는 방식이다.

상세 분석

논문은 먼저 기존 연구에서 제시된 k‑hole과 k‑gon 개념을 정리하고, 특히 두 개 이상의 구멍이 서로 볼록 껍질이 겹치지 않는(disjoint) 경우에 대한 최소점수 h(k₁,…,k_l) 문제를 다룬다. 기존에는 h(5,5)≤19만 알려져 있었으며, 16점 집합이 두 개의 서로 떨어진 5구멍을 만들지 못한다는 예시가 존재한다. 저자는 SAT 기반 모델링을 도입해 이 격차를 메우고 정확히 h(5,5)=17임을 증명한다. 핵심 아이디어는 점 집합을 좌표가 아닌 삼중 방향(orientation) 정보만으로 완전하게 기술하는 것이다. 삼중 방향은 세 점이 이루는 순서가 시계 방향인지 반시계 방향인지를 ±1로 나타내며, 이는 볼록 껍질, 내부 포함 관계, 그리고 두 집합의 분리 가능성을 모두 표현한다. 이러한 이산적 표현을 바탕으로 “두 5구멍이 존재하지 않는다”는 부정 명제를 SAT 변수와 절(clause)로 변환하고, 최신 SAT 솔버(glucose 4.0, picosat)로 부정 가능성을 탐색한다. 계산은 3 GHz CPU 한 대에서 약 2시간 만에 완료되었으며, DRAT‑trim을 이용해 결과의 검증까지 수행하였다.

또한 저자는 동일한 SAT 프레임워크를 활용해 다음과 같은 부수 결과를 얻는다. (1) 15점이면 항상 두 개의 interior‑disjoint 5구멍이 존재한다는 사실, 즉 내부가 겹치지 않으면서도 볼록 껍질이 겹치지 않을 필요는 없다는 점을 확인한다. (2) 17점이면 반드시 6‑gon(6개의 점이 모두 볼록 껍질에 위치)도 존재함을 기존 Szekeres‑Peters 프로그램보다 훨씬 짧은 시간에 검증한다. (3) 다중 파라미터 h(k,5,5)와 h(5,5,5)에 대한 새로운 상한·하한을 도출한다. 예를 들어 h(2,5,5)=17, h(3,5,5)≤19, h(4,5,5)≤23, 그리고 21점 집합이 세 개의 서로 떨어진 5구멍을 방해한다는 구성을 제시한다. 이러한 구성을 찾기 위해 저자는 파이썬 기반의 “pyotlib” 라이브러리를 이용해 로컬 탐색을 수행했으며, 추후 SAT 모델에 직접 입력해 검증 가능하도록 설계했다.

마지막으로 F_k(n) 함수, 즉 n개의 점에서 보장되는 최대 서로 떨어진 k‑hole 개수에 대한 기존 상한을 재검토한다. 특히 k=5인 경우, 새로운 하한 F_5(n)≥⌊2n/17⌋를 제시함으로써 이전에 알려진 F_5(n)≈n/6보다 강력한 비율을 얻는다. 이는 h(5,5)=17 결과를 직접적으로 이용한 것으로, 큰 n에 대해 선형적인 성장률을 보다 정확히 추정할 수 있게 한다. 전체적으로 이 논문은 조합기하학의 오래된 개방 문제를 현대 SAT 기술과 정밀한 combinatorial encoding을 결합해 해결한 대표적인 사례이며, 향후 더 복잡한 다중 구멍 문제에도 동일한 방법을 적용할 가능성을 열어준다.