1차원 온라인 단위 클러스터링 경쟁비 한계 개선

초록

본 논문은 1차원 온라인 단위 클러스터링 문제에서 모든 결정적 온라인 알고리즘의 경쟁비가 최소 13/8(=1.625)임을 보인다. 기존 하한인 8/5(=1.6)를 개선한 것으로, 최신 상한 5/3과 매우 근접한 결과이며, Ehmsen‑Larsen이 제시한 정확 경쟁비가 13/8이라는 추측을 뒷받침한다. 저자들은 정교한 입력 시퀀스를 구성해 알고리즘이 최악의 선택을 강제하고, 그때의 비용 비율을 분석함으로써 하한을 증명한다.

상세 분석

논문은 먼저 온라인 단위 클러스터링 문제의 정의와 기존 연구 동향을 정리한다. d 차원에서 각 클러스터는 초기 길이가 0인 직사각형이며, 각 축을 독립적으로 길이 1까지 연장할 수 있다. 1차원에서는 클러스터가 단순히 길이 1 구간이 되므로, 알고리즘은 새로운 점이 기존 구간에 포함되지 않을 때 새 구간을 만들거나 기존 구간을 연장한다. 경쟁비는 온라인 알고리즘이 만든 구간 수와 최적 오프라인 알고리즘이 만든 구간 수의 비율로 정의된다.

기존에 알려진 결정적 하한은 Epstein‑van Stee가 제시한 8/5(=1.6)이며, 상한은 Ehmsen‑Larsen의 5/3(≈1.667)이다. 저자들은 하한을 13/8(=1.625)으로 끌어올리기 위해 “악조건 입력”을 설계한다. 핵심 아이디어는 온라인 알고리즘이 어느 순간에 새로운 구간을 만들지, 기존 구간을 연장할지를 강제하는 일련의 점들을 순차적으로 제시하는 것이다.

표 2에 제시된 입력 시퀀스는 15개의 점으로 구성된다. 각 점이 등장할 때마다 가능한 두 가지 선택(새 구간 생성 또는 기존 구간 할당)이 존재한다. 저자는 각 선택에 대해 최적 알고리즘이 최소 몇 개의 구간을 필요로 하는지를 계산하고, 온라인 알고리즘이 최악의 선택을 할 경우 전체 비용 비율이 13/8을 초과하지 않도록 설계한다. 예를 들어, 네 번째 점이 위치 6에 도달했을 때, 온라인 알고리즘이 새 구간 F를 만들면 이후 점들의 배치가 이어져 전체 비율이 5/3이 되지만, 기존 구간 E에 할당하면 이후 점들의 배치가 더 불리하게 전개되어 최종 비율이 13/8에 도달한다.

증명은 경우 분석(case‑analysis) 방식으로 진행된다. 각 단계에서 “새 구간을 만들면 비용이 증가한다”, “기존 구간을 사용하면 향후 점들의 배치가 더 악화된다”는 논리를 반복 적용한다. 특히 마지막 단계에서 점 9.5에 대해 온라인 알고리즘이 구간 H를 재사용하면, 이후 점 11.5와 12가 연속으로 들어와 최적 알고리즘은 6개의 구간만 필요하지만 온라인 알고리즘은 13개의 구간을 사용하게 된다. 이때 비용 비율은 정확히 13/8이 된다.

논문은 또한 이러한 하한이 단순히 13/8에 머무는 것이 아니라, x와 y의 정수 쌍 (x, y) satisfying 13/8 < x/y < 5/3 에 대해 가능한 후보가 (13,8), (18,11), (21,13) 등임을 언급한다. 그러나 현재 증명된 입력은 x=13, y=8인 경우에만 적용되며, 더 큰 x에 대한 일반화는 복잡한 경우 분석이 필요함을 지적한다.

결과적으로, 저자들은 1차원 온라인 단위 클러스터링 문제에서 결정적 알고리즘의 경쟁비 하한을 13/8로 확정함으로써, 기존 하한을 0.025만큼 끌어올렸다. 이는 현재 알려진 상한 5/3과의 차이를 0.042 정도로 줄여, 정확 경쟁비가 13/8일 가능성을 크게 뒷받침한다.