[논문 리뷰] Scheduling with Obligatory Tests

Konstantinos Dogeas, Thomas Erlebach외 1명|arXiv (Cornell University)|2024. 01. 01.

Scheduling and Optimization Algorithms인용 수 1

한 줄 요약

이 논문은 각 작업이 처리 시간이 드러나기 전에 사전에 시험을 거쳐야 하는 스케줄링 문제를 다룬다. 저자는 단일 머신에서 완료 시간의 합을 최소화하기 위해 1-SORT 알고리즘을 제안하며, 새로운 지연 기반 그래프 분석을 통해 최대 1.861의 경쟁비를 증명한다. 균일한 시험 시간의 경우, 임계값 기반 알고리즘을 제시하여 1.585의 경쟁비를 달성하며, 결정적 알고리즘에 대해 √2의 하한값이 존재함을 보였다.

ABSTRACT

Motivated by settings such as medical treatments or aircraft maintenance, we consider a scheduling problem with jobs that consist of two operations, a test and a processing part. The time required to execute the test is known in advance while the time required to execute the processing part becomes known only upon completion of the test. We use competitive analysis to study algorithms for minimizing the sum of completion times for $n$ given jobs on a single machine. As our main result, we prove using a novel analysis technique that the natural $1$-SORT algorithm has competitive ratio at most 1.861. For the special case of uniform test times, we show that a simple threshold-based algorithm has competitive ratio at most 1.585. We also prove a lower bound that shows that no deterministic algorithm can be better than $\sqrt{2}$-competitive even in the case of uniform test times.

연구 동기 및 목표

• 의료 진단이나 항공기 정비와 같이 모든 작업이 처리 이전에 시험을 거쳐야 하는 스케줄링 시나리오를 다루기 위해.
• 처리 시간이 시험 후에야 드러나므로, 처리 시간이 알려지지 않은 단일 머신에서 완료 시간의 합을 최소화하기 위해.
• 이 설정에서 온라인 알고리즘의 성능을 경쟁 분석을 통해 분석하기 위해.
• 이 문제의 경쟁비에 대한 알려진 상한과 하한 사이의 격차를 해소하기 위해.
• 시험을 포함한 스케줄링에서 경쟁비를 경계하는 데 사용할 수 있는 새로운 분석 기법을 개발하기 위해.

제안 방법

• 의무적 시험을 위한 (α, β)-SORT의 자연스러운 변형인 1-SORT 알고리즘을 제안한다.
• 각 작업 쌍이 지연을 기여하는 새로운 그래프 기반 분석 기법을 도입하며, 총 완료 시간은 지연의 합에 처리 시간을 더한 것과 같다.
• 알고리즘 스케줄의 지연과 최적 스케줄의 지연 비율을 분석하여, 높은 지연을 가진 간선들이 많은 낮은 지연 간선들에 의해 상쇄됨을 보였다.
• 균일한 시험 시간의 경우, Dürr 등이 제안한 임계값 알고리즘을 변형하여, 처리 시간이 임계값 이하로 드러나면 즉시 처리 부분을 실행한다.
• 레마 17를 통한 최악의 경우 인스턴스 축소를 통해 처리 시간이 0 또는 y 둘 중 하나임을 가정함으로써 경쟁비 분석을 단순화한다.
• 기호 계산을 통해 매개변수 α(작업의 비율)와 γ(처리 시간이 0인 짧은 작업의 비율)에 대해 경쟁비 표현식을 최적화한다.

실험 결과

연구 질문

• RQ1 의무적 시험과 임의의 시험 시간을 가진 스케줄링에서 결정적 온라인 알고리즘의 최선의 가능한 경쟁비는 무엇인가?
• RQ2 1-SORT 알고리즘이 2 이하의 경쟁비를 달성할 수 있으며, 만약 그렇다면 얼마나 낮아질 수 있는가?
• RQ3 균일한 시험 시간이라는 특수 케이스에서 달성 가능한 최적의 경쟁비는 무엇인가?
• RQ4 1-SORT의 분석을 개선하여 그 상한과 알려진 하한 √2 사이의 격차를 메울 수 있는가?
• RQ5 새로운 지연 기반 그래프 분석 기법이 시험을 포함한 다른 스케줄링 변형으로 일반화될 수 있는가?

주요 결과

• 1-SORT 알고리즘은 임의의 시험 시간을 가진 스케줄링에서 최대 1.861의 경쟁비를 달성한다.
• 균일한 시험 시간의 경우, 임계값 기반 알고리즘 SIDLE는 최대 1.585의 경쟁비를 달성한다.
• 1.585의 경쟁비는 최악의 인스턴스가 1.58451에 수렴함으로써 타당한 것으로 입증된다.
• 균일한 시험 시간 케이스에서 임의의 결정적 알고리즘에 대해 √2 ≈ 1.414의 하한값이 증명되었다.
• 완전한 작업 그래프에서 간선 지연을 사용하는 분석 기법은 새로워서, 기존 방법보다 더 날카운 경쟁비 경계를 가능하게 한다.
• 최적의 임계값 매개변수 y0 ≈ 1.35542는 경쟁비를 최소화하며, 이는 2y³ − 9y² + 10y − 2의 두 번째 근으로 유도된다.