구성 LP의 한계와 비연관 기계 스케줄링 새로운 통찰

초록

본 논문은 비연관 기계에서 작업을 배정해 전체 완료 시간을 최소화하는 문제에 대해, 가장 강력한 선형계획법인 구성(configuration)-LP의 적분갭이 그래프 균형 특수 경우에도 2임을 증명한다. 이는 기존 할당(LP)에도 동일한 한계가 있음을 의미한다. 또한 제한된 경우에 대한 개선된 알고리즘과, 최소 기계 부하를 최대화하는 목표에 대해 2-근사 알고리즘을 제시한다.

상세 분석

비연관 기계 스케줄링 문제는 작업 i가 기계 j에서 수행될 때 소요시간 p_{ij}가 서로 다를 수 있는 일반적인 모델이며, 목표는 가장 큰 기계 부하(메이크스팬)를 최소화하는 것이다. 20년 넘게 2와 3/2 사이의 근사비율 격차가 존재했으며, 현재 알려진 최선의 다항시간 근사 알고리즘은 2-근사율을 제공한다. 이 논문은 이 격차를 이해하기 위해 가장 강력한 LP 완화인 구성-LP(configuration‑LP)를 집중적으로 분석한다. 구성-LP는 각 기계에 대해 “구성”(즉, 해당 기계에 할당될 작업들의 집합) 변수를 도입해, 메이크스팬이 T 이하인 경우 가능한 모든 구성에 대해 0‑1 변수 x_{C}를 두고, 각 작업이 정확히 하나의 구성에 포함되도록 제약한다.

저자들은 특히 “그래프 균형”(graph balancing)이라 불리는 특수 경우—각 작업이 최대 두 대의 기계에만 할당될 수 있는 경우—에 초점을 맞춘다. 이 경우에도 구성-LP의 적분갭이 정확히 2임을 보인다. 구체적으로, 임의의 ε>0에 대해 메이크스팬 T에 대해 LP는 해를 제공하지만, 어떤 정수 해는 최소 2·T−ε 만큼의 메이크스팬을 요구한다는 반례 인스턴스를 구성한다. 이 결과는 기존 할당‑LP에 다양한 컷(cut)들을 추가하더라도 적분갭을 2 이하로 낮출 수 없음을 시사한다. 즉, 현재까지 알려진 LP‑기반 접근법이 근본적인 한계에 봉착했음을 증명한다.

한편, 제한된 경우에 대한 긍정적인 결과도 제시한다. 최근 Svensson이 제한된 할당(restricted assignment) 모델—각 작업이 할당 가능한 기계 집합은 동일한 처리시간을 갖는 경우—에 대해 구성‑LP의 적분갭이 33/17≈1.94임을 보였는데, 본 논문의 결과는 그래프 균형이 이보다 훨씬 복잡함을 보여준다. 또한, 최소 기계 부하를 최대화하는 “max‑min load” 목표에 대해, 작업이 두 대의 기계에만 할당될 수 있는 경우, 순수히 조합론적인 2‑근사 알고리즘을 설계한다. 이 알고리즘은 LP‑기반 (2+ε)‑근사보다 구현이 간단하고, P≠NP 가정 하에 2‑근사가 최적임을 증명한다.

전체적으로 이 논문은 구성‑LP가 비연관 그래프 균형 문제에서 2라는 적분갭을 갖는다는 강력한 하한을 제공함으로써, 기존 2‑근사 알고리즘의 최적성을 암시한다. 동시에, 제한된 모델에서의 개선 가능성을 제시하고, 새로운 목표 함수에 대한 효율적 알고리즘을 제안함으로써 향후 연구 방향을 제시한다.