불확실성 하에서 DAG 스케줄링: 제한된 폭과 작업자 수에 대한 다항시간 해법

초록

본 논문은 작업 성공 확률이 작업자마다 다른 불확실한 환경에서, DAG 형태의 작업 집합을 최소 기대 완료 시간으로 수행하기 위한 스케줄링 레짐을 찾는 문제를 다룬다. DAG의 폭과 작업자 수가 각각 상수인 경우 다항시간 알고리즘을 제시하고, 폭 또는 작업자 수가 무제한일 때는 각각 NP‑hard임을 보이며, 두 파라미터가 모두 자유로운 경우 5/4 이하의 근사도는 P≠NP 가정 하에 불가능함을 증명한다.

상세 분석

논문은 먼저 작업자 i가 작업 j를 올바르게 수행할 확률을 p_{i,j}라 정의하고, 레짐 Σ가 시간에 따라 작업자‑작업 매핑을 어떻게 정하는지를 형식화한다. 목표는 모든 의존성을 만족하면서 전체 DAG가 완료될 때까지의 기대 시간을 최소화하는 것이다. 핵심 난이도는 작업자들이 동시에 여러 작업에 할당될 수 있고, 동일 작업에 중복 할당해 성공 확률을 높일 수 있다는 점이다. 저자들은 DAG의 폭(width)이란 동시에 실행 가능한 최대 작업 수를 의미한다는 점에 주목한다. 폭과 작업자 수가 모두 상수라면, 각 시점의 가능한 상태(진행된 작업 집합)와 할당 조합이 제한적이므로 동적 프로그래밍(DP)으로 최적 레짐을 구할 수 있다. 구체적으로, 상태를 비트마스크로 표현하고, 각 상태에서 가능한 할당을 모두 열거해 기대 완료 시간을 재귀적으로 계산한다. 상태 수는 O(2^{t})이지만 폭이 상수이므로 실제 탐색 공간은 O(n^{w}·poly(t)) 수준으로 제한된다. 따라서 전체 알고리즘은 다항시간에 수렴한다.

반면 폭이 가변이고 작업자 수가 상수인 경우, 저자들은 3‑SAT을 변환해 NP‑hard임을 보인다. 여기서는 작업자 수가 제한적이므로 중복 할당이 제한되고, 폭이 커질수록 가능한 동시 실행 조합이 급증해 최적 레짐 선택이 조합적 폭발을 일으킨다. 유사하게, 작업자 수가 가변하고 폭이 상수인 경우에도 작업자‑작업 매핑을 그래프 색칠 문제에 귀착시켜 NP‑hard를 증명한다.

두 파라미터가 모두 자유로운 일반 경우에는, 기대 완료 시간을 최소화하는 최적 레짐을 근사하는 것이 5/4보다 작은 비율로는 불가능함을 보여준다. 이를 위해, 최소 컷 문제와의 근사 경계 결과를 이용해 정밀도 하한을 구성한다. 즉, 어떤 인스턴스에서는 최적 기대 시간과 5/4 이하의 근사 해 사이에 차이가 존재함을 보이며, 이는 P≠NP 가정 하에 근사 알고리즘의 한계를 의미한다.

결과적으로, 논문은 실용적인 제한(폭·작업자 수 상수) 하에서는 효율적인 최적 스케줄링이 가능함을, 반면 이러한 제한이 사라지면 문제는 근본적으로 어려워짐을 체계적으로 밝힌다. 이는 그리드 컴퓨팅, 프로젝트 관리, 클라우드 워크플로우 등 불확실성을 내포한 대규모 병렬 작업 배치에 중요한 이론적 지침을 제공한다.