벡터 스케줄링을 일반화된 부하 균형으로 연결한 혁신적 온라인 알고리즘

초록

본 논문은 벡터 스케줄링(VS) 문제를 일반화된 부하 균형(GLB) 문제로 다항식 시간 내에 변환함으로써, 온라인 상황에서도 효율적인 근사 알고리즘을 제시한다. 각 벡터가 도착할 때마다 $L_{\ln(md)}$ 노름을 최소화하도록 배정하면 $e\log(md)$ 배의 근사 비율을 보장한다. 또한, 이 변환을 통해 GLB가 상수 근사 알고리즘을 다항식 시간에 가질 수 없음을 $P\neq NP$ 가정 하에 증명한다.

상세 분석

이 논문은 두 가지 핵심 아이디어를 결합한다. 첫 번째는 VS와 GLB 사이의 구조적 동등성을 이용한 다항식 시간 변환이다. VS에서는 $m$개의 파티션에 $d$차원 벡터들을 할당하면서 각 파티션의 $L_{\infty}$(즉, 최대 차원 합) 값을 최소화하려 한다. 반면 GLB는 각 기계에 여러 종류의 작업이 할당될 때, 기계별 부하 벡터의 $L_{\infty}$를 최소화하는 문제이다. 저자들은 VS의 각 파티션을 GLB의 기계에 대응시키고, 벡터의 각 차원을 GLB의 작업 종류에 매핑함으로써, VS 인스턴스를 GLB 인스턴스로 정확히 변환한다. 이 변환은 해의 질을 보존하면서도, GLB의 기존 알고리즘을 그대로 VS에 적용할 수 있게 만든다.

두 번째는 온라인 환경에서의 단순한 결정 규칙이다. 새 벡터가 도착하면, 현재 각 파티션(기계)의 부하 벡터를 $L_{\ln(md)}$ 노름으로 측정하고, 그 노름이 가장 작아지는 파티션에 할당한다. $L_{p}$ 노름은 $p$가 커질수록 $L_{\infty}$에 근접하므로, $p=\ln(md)$를 선택하면 $L_{\infty}$와 거의 동일한 효과를 얻는다. 수학적으로는, 이 그리디 선택이 전체 최적 해 대비 $e\log(md)$ 배 이하의 비용을 초과하지 않음을 보인다. 여기서 $e$는 자연상수이며, 로그 항은 파티션 수 $m$과 차원 수 $d$의 곱에 대한 로그이다. 기존 다항식 시간 알고리즘이 $O(\log^{2}d)$ 근사 비율을 제공하던 것에 비해, 제안된 방법은 $O(\log(md))$ 로 개선된다. 특히 $m$이 상수이거나 $d$에 비해 작을 경우, 근사 비율은 거의 로그 수준으로 크게 향상된다.

마지막으로 복잡도 이론적 함의를 제시한다. 변환을 역으로 적용하면, GLB 문제는 VS 문제의 일반화된 형태가 된다. 따라서 GLB가 상수 근사 알고리즘을 다항식 시간에 가질 경우, VS 역시 상수 근사 알고리즘을 가질 수 있게 되며, 이는 알려진 $P\neq NP$ 하에서 불가능함을 의미한다. 즉, GLB는 근사 가능성 측면에서 본질적으로 어려운 문제이며, 이 논문의 변환은 그 어려움을 명확히 드러낸다.