[논문 리뷰] A note on scheduling with low rank processing times

Lin Chen, Deshi Ye외 1명|arXiv (Cornell University)|2013. 06. 17.

Scheduling and Optimization Algorithms참고 문헌 7인용 수 4

한 줄 요약

이 논문은 저랭크 처리 시간 행렬을 가진 최소 메이크스패ن 스케줄링 문제에 대한 비근사 가능성 한계를 향상시킨다. 특수화된 3차원 매칭 변종으로부터의 감소와 작업 처리 시간 구성의 정교화를 통해, 저자들은 LRS(4)가 $3/2 - \epsilon$ 요인 내에서 근사가 불가능하다는 것을 증명하며, LRS(3)는 APX-난이도를 지닌다. 이는 이전 결과들보다 더 낮은 랭크를 요구하는 바, $3/2$-근사 가능성 난이도에 대해 랭크 7이 필요했고, APX-난이도에 대해선 랭크 4가 필요했었다.

ABSTRACT

We consider the classical minimum makespan scheduling problem, where the processing time of job $j$ on machine $i$ is $p_{ij}$, and the matrix $P=(p_{ij})_{m imes n}$ is of a low rank. It is proved in (Bhaskara et al., SODA 2013) that rank 7 scheduling is NP-hard to approximate to a factor of $3/2-ε$, and rank 4 scheduling is APX-hard (NP-hard to approximate within a factor of $1.03-ε$). We improve this result by showing that rank 4 scheduling is already NP-hard to approximate within a factor of $3/2-ε$, and meanwhile rank 3 scheduling is APX-hard.

연구 동기 및 목표

• 저랭크 처리 시간 행렬을 가진 스케줄링 문제에 대한 비근사 가능성 결과의 격차를 메우기 위해.
• 랭크 4 스케줄링이 이미 $3/2 - \epsilon$ 내에서 근사가 불가능하다는 것을 보여주어, 이전 연구에서 랭크 7가 필요로 했던 $3/2$-근사 가능성 난이도를 향상시키기 위해.
• 랭크 3 스케줄링에 대한 APX-난이도를 확립하여, 난이도의 임계점을 더욱 좁히기 위해.
• 특수화된 3D 매칭 변종과 섬세한 작업 시간 설계를 통해 조합 문제로부터의 감소를 정교화하기 위해.

제안 방법

• 요소들과 매칭이 특정 대칭성과 고정된 매칭 세트를 가진 특수화된 3차원 매칭 문제(3DM′)의 감소.
• D차원 벡터 모델을 사용한 작업 처리 시간 설계에서 $p_{ij} = u_i \cdot v_j^T$이며, 주요 결과에선 $D=4$, APX-난이도에선 $D=3$.
• 3SAT 인스턴스에서 변수 할당과 절 만족도를 시뮬레이션하기 위해 진리값 할당 및 절 기계를 구성.
• 하중 제약 조건을 강제하고 유일하게 유효한 할당만 균형 잡힌 스케줄을 가능하게 하기 위해 '거대한 작업'과 '더미 작업'을 사용.
• $T_1$과 $T_2$ 매칭의 구조를 활용하여 3SAT 감소에서 논리적 제약 조건을 시뮬레이션.
• 모든 기계가 '진리에 유리한' 상태여야 한다는 것을 증명: 기계에 포함된 모든 비거대 작업은 일관된 진리값을 가져야 하며, 이는 기계 하중과 논리적 일관성 간의 연결 고리를 형성한다.

실험 결과

연구 질문

• RQ1 LRS(4)는 $3/2 - \epsilon$ 요인 내에서 근사가 불가능한가?
• RQ2 $3/2$-근사 가능성의 비근사 가능성 임계점은 이전에 랭크 7이 필요했지만, 이를 랭크 4로 낮출 수 있는가?
• RQ3 LRS(3)는 APX-난이도를 지닌다거나, PTAS를 갖는가?
• RQ4 특수화된 3DM′ 변종으로부터의 더 정교한 감소가 이전 작업보다 더 강력한 비근사 가능성 결과를 도출할 수 있는가?
• RQ5 저랭크 처리 시간 행렬의 구조는 메이크스패ن 스케줄링 문제의 근사 가능성에 본질적으로 영향을 미치는가?

주요 결과

• LRS(4)는 임의의 $\epsilon > 0$에 대해 $3/2 - \epsilon$ 요인 내에서 근사가 불가능하며, 이는 이전 결과에서 이 난이도를 확보하기 위해 랭크 7이 필요로 했던 바를 향상시킨다.
• LRS(3)는 APX-난이도를 지닌다. 즉, $1.03 - \epsilon$ 요인 내에서 근사가 불가능하며, 이는 이전 결과에서 APX-난이도를 확보하기 위해 랭크 4가 필요로 했던 바를 강화한다.
• LRS(4)의 감소는 고정된 $T_2$ 매칭과 구조화된 $T_1$ 매칭을 가진 특수화된 3DM′ 변종을 사용하여, 작업 할당에 대해 더욱 정교한 제어를 가능하게 한다.
• 증명은 모든 기계가 '진리에 유리한' 상태여야 한다는 것을 확립한다. 즉, 기계에 포함된 모든 비거대 작업은 일관된 진리값을 가져야 하며, 이는 스케줄 균형과 논리적 일관성 간의 연결 고리를 형성한다.
• 구성은 유효한 스케줄이 존재하는 것은 해당 3SAT 인스턴스가 만족 가능할 때 뿐이며, 할당이 일관될 경우에만 메이크스패н은 $r + O(\epsilon)$ 이내로 제한된다.
• 이 결과들은 저랭크 스케줄링에 대한 알려진 비근사 가능성 경계의 격차를 메우며, 심지어 랭크 3과 4 행렬이라도 강력한 난이도 결과를 낳는다는 것을 보여준다.