평면 점 집합의 직사각형 분할 수 상한 개선

초록

본 논문은 n개의 평면 점 집합에 대해 가능한 직사각형 분할(레크탱글레이션)의 수를 기존의 18ⁿ·n⁴ 상한에서 (16 + 5/6)ⁿ 으로 크게 낮추는 새로운 상한을 제시한다. 핵심은 교차 그래프 충전 기법을 정교히 활용한 새로운 충전 스키마이다.

상세 분석

이 연구는 평면에 일반 위치(general position)로 놓인 n개의 점 집합 P에 대해, 직사각형 분할 R(P)의 개수 rc(P)를 조사한다. 기존 문헌에서는 Ackerman이 rc(n)=O(18ⁿ·n⁴)이라는 상한을, Felner가 rc(n)=Ω(8ⁿ·n⁴)라는 하한을 제시했으며, 상한을 더 낮추는 것이 주요 난제였다. 저자들은 Sharir‑Welnz와 Sharir‑Sheffer가 도입한 교차 그래프 충전‑스키마(cross‑graph charging scheme)를 기반으로, 각 직사각형 분할의 세그먼트(점과 연결된 축평행 선분)를 ‘차수(degree)’에 따라 분류하고, 차수가 2인 세그먼트에 집중한다.

우선 차수 i 세그먼트에 대해 초기 전하를 5‑i 단위로 부여한다. 이는 전체 전하가 5n‑∑i·di(G) 형태로 표현되며, 여기서 di(G)는 차수 i인 세그먼트 수이다. 전체 차수 합은 4n 이하이므로, 전체 전하는 최소 n이 된다. 이후 차수가 2보다 큰 세그먼트를 차수 2 세그먼트로 ‘다듬는(trimming)’ 과정을 통해 전하를 옮긴다. 이때 한 차수 2 세그먼트가 받을 수 있는 최대 전하는 9가 되며, 결과적으로 평균 차수 2 세그먼트당 전하 ≥ n/9 를 얻는다. 이를 Lemma 3.1의 재귀식 rc(n) ≤ 2·δₙ·rc(n‑1)와 결합하면 rc(n) ≤ 18ⁿ 를 얻는다.

하지만 18ⁿ 은 아직 충분히 강력하지 않다. 저자들은 더 정교한 충전 방식을 도입한다. 각 점 p에 대해 그 주변 네 개의 ‘경계 세그먼트’를 정의하고, 이들 세그먼트가 형성하는 내부 사각형을 분석한다. 특히 ‘스파이럴 구성(spiral configuration)’이라 불리는 특수한 배치를 식별하고, 이러한 경우와 비스파이럴 경우에 따라 전하 이동 규칙을 달리한다. 스파이럴이 아닌 경우, 한 방향으로 연장할 수 없는 차수 2 세그먼트는 최대 6의 전하만 받는다. 스파이럴 구성에서는 회전(rotation)과 연장을 통해 전하를 1.5씩 두 개의 직사각형 사이에 재분배하는 두 가지 절차(Procedure 1, Procedure 2)를 적용한다. 이를 반복하면 모든 점 p에 대한 총 전하가 16 + 2/3 이하가 되고, 결국 차수 2 세그먼트당 전하는 8 + 1/3 이하가 된다.

따라서 ˆd₂(P) ≥ n/(8 + 5/12) 가 성립하고, Lemma 3.1과 결합하면 최종 상한 rc(n) ≤ (16 + 5/6)ⁿ 를 얻는다. 이 결과는 기존 Ackerman 상한보다 지수적 계수가 약 10% 정도 감소한 것으로, 직사각형 분할 문제에서 새로운 기록을 세운다.

핵심 통찰은 (1) 차수 기반 전하 할당을 통해 전체 구조를 정량화하고, (2) 차수 2 세그먼트에 전하를 집중시켜 재귀적 상한을 도출하며, (3) 스파이럴 구성이라는 기하학적 특성을 활용해 전하 이동을 최적화함으로써 상수를 크게 낮춘다. 이러한 방법론은 다른 평면 그래프 열거 문제에도 적용 가능성을 시사한다.