업그레이드 반순서의 온라인 체인 분할과 황금비

초록

이 논문은 폭 w인 업그레이드 반순서에 대해 온라인 체인 분할 게임의 최적값을 구한다. 스포일러가 제시하는 순서를 알고리즘이 즉시 체인에 배정할 때, 필요한 최소 체인 수는 ⌊φ·w⌋ (φ는 황금비)이며, 이는 하한과 상한을 각각 구성·전략으로 증명한다.

상세 분석

논문은 두 명이 번갈아 진행하는 온라인 체인 분할 게임을 정의한다. 스포일러는 현재까지 제시된 부분 순서의 최대 원소만을 추가하는 ‘업그레이드’ 제약을 갖고, 알고리즘은 새로운 원소를 즉시 그리고 영구적으로 기존 체인 중 하나에 배정한다. 폭 w인 반순서는 단위 구간 표현을 가지는 반순서이며, (2+2)와 (3+1) 금지 구조로도 특징지어진다.

먼저 저자들은 하한을 보이기 위해 일련의 부등식 시스템 (Iₖ) :
x₀ + … + x_{j‑1} + 2x_j – x_{j+1} ≤ w (j = 0…k)
을 도입한다. 정수 해 (x₀ > x₁ > … > x_k > x_{k+1}=0)가 존재하면, 스포일러는 ‘강제 경로’를 이용해 폭 w인 업그레이드 반순서를 구성하고, 알고리즘이 최소 w + x₀개의 체인을 사용하도록 강제한다. 여기서 x₀는 φ·w의 정수 부분에 근접한다.

핵심 아이디어는 ‘스킵 체인’(높이 2, 바닥은 최소 원소 집합 A, 꼭대기는 C_j에 위치)과 ‘강제 경로’를 교차시키는 것이다. 각 경로는 알고리즘이 기존 체인 위에 새 원소를 놓게 하면 D_i 집합에 해당 체인의 꼭대기를 기록하고, 이후 단계에서 그 꼭대기를 피하도록 강제한다. 이렇게 하면 경로 길이가 제한되고, 각 단계에서 새로 도입되는 B_{j+1} 집합의 크기가 x_j – x_{j+1} 로 조절되어 전체 폭이 w를 초과하지 않는다.

다음으로 상한을 증명한다. 저자들은 φ와 피보나치 수열 사이의 관계를 이용해, 알고리즘이 ‘가장 높은 꼭대기’를 선택하는 그리디 전략을 설계한다. 구체적으로, 현재까지 제시된 원소들의 상향 집합을 높이 기준으로 정렬하고, 새로운 원소가 들어올 때마다 가장 낮은 가능한 체인(즉, 현재 체인의 꼭대기보다 큰 최소 꼭대기)에 배정한다. 반순서의 (3+1) 금지 성질과 높이 ≤3이라는 제한 덕분에 이 전략은 언제나 φ·w 이하의 체인만을 사용한다.

피보나치 수열 F₀=0, F₁=1, F_{i+2}=F_i+F_{i+1}이 (Iₖ)의 해를 구성하는 데 등장하고, 이는 φ = (1+√5)/2 와 정확히 일치한다. 따라서 하한과 상한이 일치함을 보이며, 최적값이 ⌊φ·w⌋임을 확정한다.

이 결과는 기존의 일반 반순서(2w–1)나 업그레이드 전순서(⌈(w+1)/2⌉)와는 다른 새로운 상수 계수를 보여준다. 특히 황금비가 등장한다는 점은 조합 최적화와 수학적 상수 사이의 흥미로운 연결 고리를 제공한다.