병렬 기계 선점 스케줄링의 총 지연시간 최소화 논문 오류 지적

초록

본 논문은 Kravchenko와 Werner(2010)가 제시한 두 가지 스케줄링 문제의 NP‑Hard 증명에 존재하는 핵심 오류를 지적한다. 구체적으로 P|pmtn|∑Tj와 P|rj, pj = p, pmtn|∑Tj 문제에 대한 감축 과정에서 발생한 논리적 모순을 반례를 통해 보여주며, 이들 문제의 복잡도 판정이 아직 미해결임을 강조한다.

상세 분석

Kravchenko와 Werner는 2010년 논문에서 두 가지 병렬 기계 스케줄링 문제, 즉 선점이 허용된 총 지연시간 최소화 문제(P|pmtn|∑Tj)와 동일 작업시간(pj = p) 및 도착시간(rj)이 주어진 선점 가능한 경우(P|rj, pj = p, pmtn|∑Tj)를 NP‑Hard로 주장하였다. 그들의 증명은 각각 PARTITION 문제와 3‑PARTITION 문제로부터 다항시간 감축을 구성하는 방식에 기반한다. 그러나 본 논문은 그 감축 과정에서 두 가지 치명적인 오류를 발견한다. 첫 번째 오류는 PARTITION 인스턴스를 스케줄링 인스턴스로 변환할 때, 작업들의 처리시간과 마감시간을 설정하는 방식이 실제로는 모든 가능한 파티션을 만족시키지 못한다는 점이다. 즉, 제시된 스케줄이 존재한다면 반드시 원래 PARTITION 인스턴스가 ‘예’인 것이 아니라, 특정 구조의 파티션만을 만족시키는 제한된 경우에만 성립한다. 이를 반증하기 위해 저자들은 간단한 반례(예: 작업 집합 {4,5,6}과 목표 합 7)를 제시했으며, 이 경우 논문의 감축 규칙에 따라 만든 스케줄링 인스턴스는 실제로는 해가 존재하지만 원 PARTITION 인스턴스는 ‘아니오’가 된다. 두 번째 오류는 3‑PARTITION 기반 감축에서, 작업들의 동일 처리시간(p)과 도착시간(rj)을 동시에 만족시키도록 설계된 스케줄이 존재한다는 전제가 잘못되었다는 점이다. 원 논문은 모든 기계가 동일하게 작업을 나누어 수행한다는 가정 하에 총 지연시간이 최소가 되는 스케줄을 구성했지만, 선점이 허용된 상황에서는 작업을 임의로 분할·재배치할 수 있어, 제시된 스케줄이 실제 최적임을 보장하지 못한다. 저자는 구체적인 수치 예시(예: m=3, p=5, rj와 Dj 값들을 조합)로 이 점을 입증하였다. 결과적으로 두 감축 모두 “만약 원 인스턴스가 ‘예’이면 변환된 인스턴스도 ‘예’이다”라는 일방향성만을 만족시키고, 반대 방향을 보장하지 못한다. 따라서 Kravchenko와 Werner의 NP‑Hard 주장에 대한 증명은 불완전하며, 해당 두 스케줄링 문제의 복잡도는 아직 밝혀지지 않은 상태로 남는다.