연속 유클리드 k센터 문제의 미세 복잡도 하한

본 논문은 연속 유클리드 k‑센터 문제에 대한 미세 복잡도 분석을 수행한다. 문제 정의는 n개의 점이 주어졌을 때 k개의 임의의 중심점을 선택해 최대 거리(반경)를 최소화하는 것이다. 기존 연구에서는 Agarwal‑Procopiuc이 차원 d 고정 시 \(n^{O(k^{1-1/d})}\) 시간 알고리즘과 \((k/\varepsilon)^{O(dk^{1-1/d})}n\) 시간 \((1+\varepsilon)\)‑근사 알고리즘을 제시했으며, 이는 27년간 최선의 결과로 남아 있었다. 그러나 이 결과가 최적인지 여부는 미해결 질문으로 남아 있었다. 첫 번째 기여는 파라미터 k 에 대한 하한이다. 저자들은 ETH를 전제하고, “Binary SumSet on Grid Graphs”라는 문제를 Euclidean k‑센터에 다항 시간으로 감소시킨다. 이 감소는 각 변수에 대응하는 점 집합과, 각 방정식에 대응하는 거리 제약을 설계하는 새로운 기하학적 임베딩을 사용한다. 변환된 인스턴스에서 반경 r 이 충분히 작을 경우에만 k개의 구가 모든 점을 덮을 수 있으며, 이는 원래 방정식 시스템이 만족 가능한 경우와 정확히 일치한다. 따라서 \(f(k)n^{o(k^{1-1/d})}\) 시간 이하의 정확 알고리즘이 존재한다면 ETH가 깨진다. 같은 구조를 근사 버전에도 적용해 \((k/\varepsilon)^{o(k^{1-1/d})}n^{O(1)}\) 시간에 \((1+\varepsilon)\)‑근사를 얻는 것은 ETH와 모순된다. 이는 기존 알고리즘이 차원 d 에 대해 \(k^{1-1/d}\) 지수 의존성을 갖는 것이 본질적으로 최적임을 증명한다. 또한, 고정 \(\varepsilon\) 에 대해 2‑차원에서 \(2^{o(k^{1/4})}n^{O(1)}\) 시간 근사는 불가능함을 보이며, 이는 이전 결과를 거의 최적 수준으로 강화한다. 두 번째 기여는 작은 k 와 고정 차원에 대한 미세 복잡도이다. 3‑SUM 가설을 이용해, 3‑SUM 인스턴스를 \(R^{3}\) 의 2‑센터 문제로 변환한다. 변환 과정에서 각 숫자는 3‑차원 공간에 배치된 점들의 삼중쌍으로 표현되고, 두 구의 반경이 특정 값 이하가 되려면 정확히 하나의 삼중쌍이 같은 구에 포함돼야 한다. 이는 3‑SUM의 “세 수의 합이 0” 조건과 일대일 대응한다. 따라서 2‑센터를 \(O(n^{2-\varepsilon})\) 시간에 해결할 수 있다면 3‑SUM도 같은 복잡도로 해결될 수 있어 가설에 모순된다. 동일한 아이디어를 2‑차원에 적용해 6‑센터 문제에도 동일한 하한을 얻는다. 핵심은 “선형 방정식의 기하학적 임베딩”이라는 새로운 도구로, 변수와 방정식을 점과 거리 제약으로 치환함으로써 연속 클러스터링의 자유도를 제한한다. 이 기법은 기존에 연속 버전에서 어려웠던 “스푸리어스 센터 위치” 문제를 효과적으로 차단한다. 논문은 또한 기존 문헌과의 관계를 정리한다. 파라미터화된 복잡도 측면에서는 ℓ∞‑메트릭에서의 W