[논문 리뷰] A PTAS for Scheduling with Tree Assignment Restrictions

Ulrich M. Schwarz|arXiv (Cornell University)|2010. 09. 23.

Scheduling and Optimization Algorithms참고 문헌 6인용 수 3

한 줄 요약

이 논문은 루트를 포함한 루트-트리에서의 경로를 따라만 할당될 수 있는 작업에 대해 다항시간 근사법(Ptas)을 제시한다. 작업 크기를 기하학적으로 반올림하고, 구성 기반 동적 프로그래밍 및 계층적 하향식 처리를 조합함으로써, 입력 크기의 다항식 시간 내에 $(1+4\epsilon)$-근사해를 얻을 수 있으며, 이는 이전의 $4/3$-근사해보다 향상된 결과이다.

ABSTRACT

Scheduling with assignment restrictions is an important special case of scheduling unrelated machines which has attracted much attention in the recent past. While a lower bound on approximability of 3/2 is known for its most general setting, subclasses of the problem admit polynomial-time approximation schemes. This note provides a PTAS for tree-like hierarchical structures, improving on a recent 4/3-approximation by Huo and Leung.

연구 동기 및 목표

• 트리 계층 할당 제약 조건이 있는 스케줄링 문제에서 알려진 $4/3$-근사해와 최적해 사이의 격차를 메우기.
• 이러한 특수한 비동일 기계 스케줄링 문제의 다항시간 근사법(PTAS)을 개발하기.
• 이전의 네스팅 및 간격 제약 조건을 초월하여 PTAS가 존재하는 할당 구조의 범위를 확장하기.
• 트리 계층적 형태의 할당이 NP-난이도임에도 불구하고 임의로 좋은 근사해를 제공할 수 있음을 보여주기.

제안 방법

• 모든 큰 작업(크기가 $\epsilon C$ 이상인 작업)을 $\epsilon C \cdot (1+\epsilon)^k$ 형태의 크기로 반올림하여 서로 다른 크기의 수를 $O(\log_{1+\epsilon} 1/\epsilon)$로 줄이며, 이는 $\epsilon$에만 의존하는 상수이다.
• 각 노드에서 작업 집합을 구성 튜플로 표현: 큰 작업 크기의 수와 $\epsilon C$의 배수로 올림한 소형 작업의 총 크기.
• 트리에서 하향식 동적 프로그래밍 접근을 사용하여 각 노드가 자식 노드의 타당한 구성 조합을 수집하고 자신의 작업 집합과 조합한다.
• 각 노드에서, 상위로 전파될 수 있는 타당한 구성 조합의 집합을 유지하며, 노드에서 부분 구성 조합을 스케줄링하고 나머지를 위로 전파할 수 있는 선택지를 포함한다.
• 소형 작업은 비어 있는 공간을 $\epsilon C$의 다음 배수까지 탐욕적으로 채우는 방식으로 처리하며, 각 기계당 최대 $\epsilon C$의 초과를 허용한다.
• 마감 시간 $C$에 대해 이진 탐색을 수행하고, 타당성은 동적 프로그래밍 절차를 통해 검증함으로써 $(1+4\epsilon)$-근사 스케줄을 달성한다.

실험 결과

연구 질문

• RQ1 트리에서 루트에서 잎까지의 경로에만 할당 가능한 작업이 있는 스케줄링 문제에 대해 PTAS를 설계할 수 있는가?
• RQ2 트리 계층 할당의 구조는 히우오와 루잉이 이전에 제시한 $4/3$-근사해보다 더 좋은 근사 보장을 가능하게 하는가?
• RQ3 이 문제 유형에 대해 NP-난이도임에도 불구하고 임의로 좋은 근사 비율을 달성할 수 있는가?
• RQ4 크기 제한이 있는 작업 크기 반올림을 고려한 계층적 트리 구조에 대해 구성 기반 동적 프로그래밍 접근법을 어떻게 적응시킬 수 있는가?

주요 결과

• 논문은 트리 계층 할당 제약 조건이 있는 스케줄링 문제에 대해 PTAS를 확립하였으며, 임의의 $\epsilon > 0$에 대해 $(1+4\epsilon)$-근사해를 달성한다.
• 실행 시간은 입력 크기의 다항식이며 $1/\epsilon$에 대해 지수적이다. 이는 PTAS의 정의를 만족한다.
• 큰 작업의 기하학적 반올림과 트리 구조에서의 구성 기반 동적 프로그래밍을 사용함으로써 타당성과 근사 보장을 유지한다.
• 소형 작업은 $\epsilon C$의 배수 단위로 공간을 탐욕적으로 채우며, 각 기계당 최대 $\epsilon C$의 초과를 유발한다. 이는 총 근사 비율 내에서 제한된다.
• 마감 시간 $C$가 존재하는 한, 이론적으로는 이완된 결정 절차를 통해 타당한 스케줄이 길이 $(1+4\epsilon)C$ 이내로 식별된다.
• 이 결과는 히우오와 루잉의 이전 $4/3$-근사해를 향상시키며, 트리 계층적 할당이 임의로 좋은 근사해를 제공할 수 있음을 보여준다.