볼록 다각형에서 큰 거리의 개수 제한

초록

볼록 n각형에서 가장 큰 거리 d₁, d₂,… 의 발생 횟수 m₁, m₂,… 를 고려한다. 저자들은 새로운 컴퓨터 기반 탐색을 이용해 k≤4인 경우 m₁+…+m_k ≤ k·n 을 증명하고, 일반 k에 대해 m₁+…+m_k ≤ (2k‑1)n 을 얻는다. 또한 m₃ ≤ 3n/2 등 여러 구체적 상한을 제시한다.

상세 분석

이 논문은 볼록 다각형의 정점 집합 S (|S|=n) 에서 두 정점 사이의 거리들을 내림차순으로 정렬한 뒤, i번째 큰 거리 d_i 가 나타나는 쌍의 수를 m_i 로 두는 전통적인 거리 문제를 확장한다. 기존 연구에서는 d₁(지름)의 발생 횟수가 최대 n, d₂(두 번째 큰 거리)의 발생 횟수가 최대 3n/2 (일반 위치) 혹은 4n/3 (볼록 위치) 로 알려져 있었다. 에르되시‑러바시‑베스테르곰비는 “상위 k개의 거리 합계 m₁+…+m_k 은 k·n 을 넘을 수 없다”는 강력한 추측을 제시했으며, k=2에 대해서는 이미 증명된 바 있다.

저자들은 두 가지 핵심 아이디어로 이 문제에 접근한다. 첫 번째는 ‘레벨(level)’이라는 개념이다. 정점들을 시계방향으로 번호 매기고, 대각선 a_j a_{k} 를 j+k (mod n) 로 정의된 레벨에 배정한다. 이렇게 하면 n개의 레벨이 생기며, 각 레벨은 서로 평행한 대각선들의 집합이 된다. 중요한 사실은 한 레벨 안에 포함된 대각선 중 길이가 d_k 이상인 것은 최대 2k‑1개라는 것이다(정리 1.3의 증명에 사용). 이는 레벨당 상한을 구해 전체 상한을 n배만큼 곱해 얻는 간단하면서도 강력한 기법이다.

두 번째는 컴퓨터 보조 증명이다. 저자들은 기존에 알려진 네 가지 기하학적 사실(Fact 3.1~3.4)을 이용해, 두 개의 서로 떨어진 점 구간(‘상부’와 ‘하부’) 사이의 거리 관계를 논리적으로 축소한다. 각 구간 내·외부 정점 쌍에 대해 가능한 거리 종류를 {1,…,k,∞} 로 표현하고, 브랜치‑앤‑바운드 탐색을 통해 모든 가능한 배치를 전수한다. 탐색 과정에서 불가능한 경우는 위 네 가지 사실을 적용해 즉시 배제한다. 특히 ‘특수 대각선’(길이가 d_k 이상이면서 양 끝점 사이에 ≤ℓ개의 정점만 존재하는 경우)의 존재 여부를 판단하는 Lemma 1.5을 통해 탐색 범위를 유한하게 만든다.

이 알고리즘을 구현한 프로그램은 ‘상위 k 거리’가 연속된 몇 개 레벨에 걸쳐 어느 정도 비율로 나타날 수 있는지를 검증한다. 예를 들어, k=2인 경우 레벨당 d₂가 차지할 수 있는 최대 비율을 4/3으로 제한함으로써 m₂ ≤ 4n/3 을 재증명한다. 더 나아가 k=3,4에 대해서는 각각 m₁+…+m₃ ≤ 3n, m₁+…+m₄ ≤ 4n 을 얻으며, 이는 원래 추측을 큰 n에 대해 완전히 입증한다. 또한 m₃ ≤ 3n/2, m₄ ≤ 13n/8, m₂+m₃ ≤ 9n/4 등 구체적인 상한을 도출한다.

기술적인 관점에서 눈에 띄는 점은 Lemma 1.5의 정밀도이다. ℓ개의 정점 사이에 길이가 d_k 이상인 대각선이 존재하면 전체 상위 k 거리의 총합이 n+O(k²(k+ℓ)²) 이하가 된다. 이는 ‘경계 근처’의 긴 대각선을 효과적으로 무시하고, 내부 구조만을 분석하게 해준다. 또한 Lemma 1.6과 비교했을 때, 전자는 전체 개수를, 후자는 특정 대각선의 개수를 제한하는데, 전자가 증명에 더 적합함을 보인다.

결과적으로 이 논문은 (1) 레벨 기반 상한 기법을 통해 일반적인 (2k‑1)n 형태의 전역적 경계를 얻고, (2) 컴퓨터 보조 탐색을 통해 k≤4인 경우 정확히 k·n 을 달성함으로써 에르되시‑러바시‑베스테르곰비 추측을 큰 n에 대해 검증한다는 두 가지 주요 공헌을 한다. 또한 제시된 알고리즘과 구현 코드는 향후 더 큰 k 혹은 다른 거리 관련 문제에 대한 자동화된 증명 도구로 활용될 가능성을 열어준다.