[논문 리뷰] A unified approach to truthful scheduling on related machines

Leah Epstein, Asaf Levin외 1명|arXiv (Cornell University)|2013. 01. 06.

Auction Theory and Applications참고 문헌 35인용 수 5

한 줄 요약

이 논문은 관련된 기계에서 진실된 일정을 위한 통합적이고 단조적인 다항시간 근사법(PTAS)을 제시한다. 목적 함수로는 메이크스팬, 최소 로드, ℓp-노름 등이 포함된다. 작업 크기나 기계 속도를 반올림하지 않고, 구조화된 일정 클래스에서 동적 프로그래밍을 사용함으로써, 새로운 프레임워크를 통해 단조성과 메커니즘 설계 호환성을 보장함으로써 (1+ε)-근사치를 달성한다.

ABSTRACT

We present a unified framework for designing deterministic monotone polynomial time approximation schemes (PTAS's) for a wide class of scheduling problems on uniformly related machines. This class includes (among others) minimizing the makespan, maximizing the minimum load, and minimizing the ep norm of the machine loads vector. Previously, this kind of result was only known for the makespan objective. Monotone algorithms have the property that an increase in the speed of a machine cannot decrease the amount of work assigned to it. The key idea of our novel method is to show that for goal functions that are sufficiently well-behaved functions of the machine loads, it is possible to compute in polynomial time a highly structured nearly optimal schedule.An interesting aspect of our approach is that, in contrast to all known approximation schemes, we avoid rounding any job sizes or speeds throughout. We can therefore find the exact best structured schedule using dynamic programming. The state space encodes a sufficient amount of information such that no postprocessing is needed, allowing an elegant and relatively simple analysis without any special cases. The monotonicity is a consequence of the fact that we find the best schedule in a specific collection of schedules. Monotone approximation schemes have an important role in the emerging area of algorithmic mechanism design. In the game-theoretical setting of these scheduling problems there is a social goal, which is one of the objective functions that we study. Each machine is controlled by a selfish single-parameter agent, where its private information is its cost of processing a unit sized job, which is also the inverse of the speed of its machine. Each agent wishes to maximize its own profit, defined as the payment it receives from the mechanism minus its cost for processing all jobs assigned to it, and places a bid which corresponds to its private information. For each one of the problems, we show that we can calculate payments that guarantee truthfulness in an efficient manner. Thus, there exists a dominant strategy where agents report their true speeds, and we show the existence of a truthful mechanism which can be implemented in polynomial time, where the social goal is approximated within a factor of 1 + e for every e > 0.

연구 동기 및 목표

• 균일하게 관련된 기계에서 단조적인 PTAS를 설계하기 위한 통합 프레임워크를 개발하는 것.
• 자기 이익을 추구하는 에이전트가 존재하는 스케줄링 문제에 대한 알고리즘 메커니즘 설계에서 진실된 메커니즘을 설계하는 과제를 해결하는 것.
• 기존의 단조적인 PTAS 결과를 메이크스팬에서 더 넓은 목적 함수 클래스로 확장하는 것, 예를 들어 최소 로드 및 ℓp-노름을 포함한다.
• 근사법에서 작업 크기나 속도를 반올림할 필요를 제거하여, 구조화된 일정의 정확한 계산을 가능하게 하는 것.
• 진정성 있는 전략을 보장하기 위해 지불금을 효율적으로 계산할 수 있도록 보장하는 것.

제안 방법

• 정확히 구조화된 일정 클래스를 구성하여 후처리가 필요 없도록 충분한 정보를 포함시키는 방법.
• 작업 크기나 기계 속도를 반올림하지 않고, 이 구조화된 클래스 내에서 정확한 최적 일정을 동적 프로그래밍을 통해 계산하는 방법.
• 목적 함수의 잘 조절된 성질(예: 볼록성, 연속성)에 기반하여 다항시간 내에 해를 구할 수 있음을 보장하는 방법.
• 알고리즘이 고정된 잘 정의된 집합에서 최적의 일정을 선택하므로, 단조성이 자연스럽게 달성된다.
• 일정의 구조와 에이전트의 입찰 정보를 이용하여 지불금을 효율적으로 계산함으로써, 진실한 보고가 지배 전략이 되도록 보장하는 방법.
• 특수 케이스를 피하고, 여러 목적 함수 간에 깔끔하고 통합적인 분석을 가능하게 하는 방법.

실험 결과

연구 질문

• RQ1 한 개의 프레임워크로 관련된 기계에서 여러 스케줄링 목적으로 단조적인 PTAS를 설계할 수 있는가?
• RQ2 기계가 비밀 속도를 가진 자기 이익을 추구하는 에이전트에 의해 제어되는 스케줄링 문제에 대해, 어떻게 진실된 메커니즘을 설계할 수 있는가?
• RQ3 근사법에서 작업 크기나 속도를 반올림하지 않고 (1+ε)-근사치를 달성할 수 있는가?
• RQ4 어떤 목적 함수의 구조적 성질이 스케줄링에서 효율적인 동적 프로그래밍과 단조성을 가능하게 하는가?
• RQ5 진정성 있는 전략을 보장하기 위해 지불금을 어떻게 효율적으로 계산할 수 있는가?

주요 결과

• 프레임워크는 관련된 기계에서 메이크스팬, 최소 로드, ℓp-노름 목적 함수에 대해 (1+ε)-근사치를 달성한다.
• 알고리즘이 단조롭다. 즉, 기계의 속도를 증가시키더라도 할당된 워크로드가 감소하지 않는다.
• 작업 크기나 속도를 반올림하지 않아, 동적 프로그래밍을 통해 구조화된 일정의 최적치를 정확히 계산할 수 있다.
• 지불금은 다항시간 내에 계산되어 진정성 보장이 가능하므로, 메커니즘이 효율적으로 구현될 수 있다.
• 이 방법은 기존에 메이크스팬에 국한된 결과를 초월하여 여러 스케줄링 목적으로 통합적인 해결책을 제공한다.
• 프레임워크는 에이전트가 자신의 진짜 속도를 보고하는 것이 지배 전략이 되는 진실된 메커니즘 설계를 가능하게 한다.