단일 면의 복잡도와 s 교차 곡선 배열

논문은 평면에 n개의 조던 곡선이 배치된 경우, 두 곡선이 최대 s번만 교차한다는 전제 하에, 한 면(F)의 조합적 복잡도(경계에 포함된 정점과 변의 총 개수)를 정확히 추정한다. 복잡도는 곡선의 종류에 따라 세 가지 경우로 나뉜다. (0) 양쪽이 무한히 뻗은 bi‑infinite 곡선, (1) 한쪽만 무한히 뻗는 semi‑infinite 곡선, (2) 양쪽이 닫힌 bounded 곡선. 기존 연구에서는 (0)과 (2)에 대해 각각 O(λ_s(n))와 O(λ_{s+2}(n)) 의 상한을 보였으며, (1) 에 대해서는 O(λ_{s+1}(n)) 라는 추측만 존재했다. 본 논문은 이를 정식으로 증명하고, 세 경우를 동일한 방법론으로 다룬다. 먼저 Davenport‑Schinzel(DS) 수열과 λ_k(n) 함수의 정의를 소개한다. DS 수열은 연속 동일 기호 금지와 길이 s+2의 교차 패턴 금지를 만족하는 문자열이며, λ_k(n) 은 알파벳 크기 n 에 대해 가능한 가장 긴 DS(k) 수열의 길이이다. λ_k(n) 은 s가 고정될 때 거의 선형에 로그‑역함수 정도의 성장률을 가진다(예: λ_3(n)=Θ(nα(n))). 핵심 기술은 Fact 2 라는 새로운 조합적 명제이다. 두 알파벳 집합 Σ₁, Σ₂ 로 이루어진 문자열 X 가 (Σ₁,Σ₂)‑k‑friendly(즉, Σ₁와 Σ₂ 사이에 길이 k+1 이상의 교차 패턴이 없고, 연속 동일 기호가 없으며) 이고, X|Σ₁ 와 X|Σ₂ 를 각각 DS(n,s) 수열로 압축한 뒤 다시 복원하면, 전체 길이는 O(k·λ_s(n)) 로 제한된다. 이 명제는 복잡한 교차 구조를 두 개의 독립적인 DS 수열로 분해하고, 압축 과정에서 발생하는 삭제 횟수를 k·λ_s(n) 으로 상한을 잡음으로써 증명된다. 기하학적 전처리 단계에서는 각 곡선 집합 Γ_i (i=0,1,2) 에 대해 경계 C_i 를 따라 곡선을 순서대로 나열한 수열 S_i 를 만든다. Γ₀ 의 경우는 방향이 없는 선형 수열 S₀, Γ₁ 은 오른쪽/왼쪽 기호를 구분해 Σ_R, Σ_L 로 나눈 S_R₁, S_L₁, Γ₂ 은 원형 수열 S₂ 를 선형으로 변형한다. 여기서 Linear Consistency Lemma 와 Circular Consistency Lemma 를 이용해 각 수열 내에서 곡선 부분들의 순서가 원곡선의 실제 순서와 일관됨을 보인다. 특히 S_R₁ 와 S_L₁ 은 (Σ_R,Σ_L)‑k‑friendly이며, k=O(s) 로 제한된다. 다음 단계는 Quadruple Lemma 로, 수열 내 연속 네 요소(ξ₁,γ₁,ξ₂,γ₂) 가 나타날 때마다 해당 두 곡선 a와 b 사이에 새로운 교차점을 강제한다. 이 교차점은 서로 다른 quadruple마다 고유하므로, 길이 l 의 교차 교대 수열이 존재하면 최소 l‑3 개의 서로 다른 교차점이 필요하다. 이를 이용해 S₀ 은 DS(n,s) 수열, S_R₁ 은 DS(2n,s+1) 수열, S₂ 는 DS(4n,s+2) 수열임을 확인한다. 따라서 무한 면의 복잡도는 각각 O(λ_s(n)), O(λ_{s+1}(n)), O(λ_{s+2}(n)) 로 제한된다. 유한 면의 경우, 경계에 가상의 곡선을 삽입해 면을 열고 무한 면으로 변형하는 절차를 제시한다. 이 변형은 복잡도에 상수 배 이상의 영향을 주지 않으며, 동일한 상한을 그대로 적용할 수 있다. 결과적으로, 본 논문은 (i) 반무한 곡선에 대한 기존의 미해결 추측을 정식 증명, (ii) 세 종류의 곡선에 대해 동일한 증명 구조를 제공, (iii) DS 수열 이론과 기하학적 배열 분석을 결합한 새로운 방법론을 제시함으로써, 면 복잡도 연구에 중요한 이정표를 세웠다.