[논문 리뷰] Improved Bicriteria Existence Theorems for Scheduling

Javed Aslam, April Rasala외 2명|arXiv (Cornell University)|2002. 05. 10.

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

한 줄 요약

이 논문은 평균 완료 시간 스케줄을 연속 확률 밀도 함수로 모델링하여 적분 기하학을 통해 단일 절점이 아닌 다중 절점에 대한 최적화를 가능하게 함으로써 이중 기준 스케줄링 근사치의 경계를 향상시킨다. 임의의 ρ∈[0,1]에 대해 (1+ρ, e^ρ/(e^ρ−1))-근사치가 존재함을 증명하며, 제작 시간과 가중 완료 시간의 상호 교환에서 더 날카운 경계, 예를 들어 (2, 1.582), (1.695, 2), (1.806, 1.806)를 도출한다.

ABSTRACT

Two common objectives for evaluating a schedule are the makespan, or schedule length, and the average completion time. This short note gives improved bounds on the existence of schedules that simultaneously optimize both criteria. In particular, for any rho> 0, there exists a schedule of makespan at most 1+rho times the minimum, with average completion time at most (1-e)^rho times the minimum. The proof uses an infininite-dimensional linear program to generalize and strengthen a previous analysis by Cliff Stein and Joel Wein (1997).

연구 동기 및 목표

• 제작 시간과 평균 가중 완료 시간에 대한 기존 이중 기준 존재 정리의 개선을 통해 스케줄링 문제에 대한 근사치 경계를 더욱 정교화하는 것.
• 이산 스케줄링을 분석하기 위해 연속적 확률 기반 프레임워크를 개발하여 절점 선택에 대한 최적화를 가능하게 하는 것.
• Stein과 Wein(1997)의 방법보다 더 날카운 이중 기준 근사치 보장을 확립하여 다양한 스케줄링 문제에 대해 보다 강력한 결과를 도출하는 것.
• 이중 기준 스케줄링 결과의 적용 범위를 여행하는 수리사 문제 및 최소합 최적화 문제와 같은 연관 문제로 확장하는 것.

제안 방법

• 최적의 평균 완료 시간 스케줄을 연속 확률 밀도 함수(pdf)로 모델링하고, 총 가중 완료 시간이 1이 되도록 가중치를 정규화하는 것.
• L가 최적의 제작 시간일 때, αL에서 절점을 정의하고, 이를 바탕으로 제작 시간과 평균 완료 시간을 α의 함수로 분석하는 것.
• αL 이후에 완료되는 작업에 대해 (1+α)/z 요소를 포함하는 pdf를 포함하는 적분을 통해 하이브리드 스케줄의 평균 완료 시간을 표현하는 것.
• 모든 가능한 pdf와 절점에 대한 최악의 성능을 최대화하는 최소화 최적화 문제로 공식화하여 무한차원 선형 프로그램을 도출하는 것.
• 이 프로그램의 이중 문제를 해결하여 최악의 상황에서 성능 격차를 최대화하는 최적의 pdf f_opt(x)를 특정하는 것.
• f_opt(x)가 x=ρ에서 지배적 델타 함수와 결합된 지수 감쇠 함수로 이루어진 조각 함수일 때 최악의 적분이 최대가 됨을 보여 최핵적 결과를 유도하는 것.

실험 결과

연구 질문

• RQ1 단일 절점이 아닌 다중 절점에 대해 최적화를 수행함으로써 제작 시간과 평균 가중 완료 시간에 대한 더 날카운 이중 기준 근사치 경계를 달성할 수 있는가?
• RQ2 제작 시간이 최적의 (1+ρ)배 이내로 허용될 경우, 제작 시간과 평균 완료 시간 사이의 최적의 트레이드오프는 무엇인가?
• RQ3 스케줄링의 이산적 성격을 효과적으로 연속적 확률 분포를 사용하여 모델링하여 이중 기준 분석을 단순화할 수 있는가?
• RQ4 이 논문에서 개발한 프레임워크를 여행하는 수리사 문제와 같은 다른 최소합 최적화 문제로 확장할 수 있는가?
• RQ5 다양한 스케줄링 문제의 광범위한 범주에서 제작 시간과 평균 완료 시간에 대해 달성 가능한 가장 날카운 근사 비율은 무엇인가?

주요 결과

• 모든 ρ∈[0,1]에 대해, 두 가지 일반적 유효 조건을 만족하는 모든 스케줄링 문제에 대해 (1+ρ, e^ρ/(e^ρ−1))-근사 스케줄이 존재한다.
• Stein과 Wein의 (2,2) 구성으로 달성된 평균 완료 시간에 대한 2-근사치보다 e^ρ/(e^ρ−1) 경계가 엄밀히 더 날카롭다.
• 특히, 이 논문은 (2, 1.582)-스케줄, (1.695, 2)-스케줄, (1.806, 1.806)-스케줄의 존재를 입증하며 이전 결과를 향상시킨다.
• 성능 격차를 최대화하는 최악의 상황에서의 pdf f_opt(x)는 [0,ρ)에서 지수 감쇠와 x=ρ에서의 지배적 델타 함수로 구성된 하이브리드이다.
• 이 방법은 스케줄링을 초월하여, 여행하는 판매원 및 여행하는 수리사 문제에 대해 (1+α, β)-근사 순회가 존재함을 암시한다.
• 이 프레임워크는 ∑w_j C_j²와 같은 다른 최소합 목표 함수로도 확장 가능하여 가중 완료 시간을 초월한 광범위한 적용성을 보여준다.