[논문 리뷰] Tight Lower Bounds on Envy-Free Makespan Approximation

Amos Fiat, Ariel Levavi|arXiv (Cornell University)|2012. 05. 08.

Optimization and Search Problems참고 문헌 7인용 수 4

한 줄 요약

이 논문은 분할 불가능한 일들을 가진 비동일한 기계에서의 환경 없음 최소화를 위한 근사 비율에 대해 Ω(log m)의 날카로운 하한을 설정한다. 임의의 환경 없음 할당이 최적의 값보다 최소 log m 배의 최대장기(마크스팬)를 가져야 하는 비용 행렬을 구성함으로써, 저자들은 어떤 메커니즘도 O(log m)보다 나은 근사 비율을 보장할 수 없음을 증명하며, 알려진 상한과 하한 사이의 격차를 해결한다.

ABSTRACT

In this work we give a tight lower bound on makespan approximations for envy-free allocation mechanism dedicated to scheduling tasks on unrelated machines. Specifically, we show that no mechanism exists that can guarantee an envy-free allocation of jobs to $m$ machines with a makespan of less than a factor of $O(\log m)$ of the minimal makespan. Combined with previous results, this paper definitively proves that the optimal algorithm for obtaining a minimal makespan for any envy-free division can at best approximate the makespan to a factor of $O(\log m)$.

연구 동기 및 목표

• 비동일한 기계 스케줄링에서 환경 없음 최대장기 근사에 대한 알려진 상한과 하한 사이의 격차를 메우기 위해.
• 어떤 메커니즘도 최적의 최대장기보다 O(log m) 배 이하의 최대장기를 갖는 환경 없음 할당을 보장할 수 없음을 증명하기 위해.
• 이전 연구에서 제시된 O(log m) 상한이 점점 더 날카로운지 확인하기 위해.
• 특정 비용 행렬에 대해 지역적으로 효율적인 환경 없음 할당이라도 최소 Ω(log m)의 최대장기를 가져야 함을 보여주기 위해.
• 최적의 최대장기가 1이지만, 모든 환경 없음 할당이 최소 log m의 최대장기를 가져야 하는 비용 행렬을 구성하기 위해.

제안 방법

• n개의 일과 m = n + l대의 기계를 가진 비용 행렬을 구성하되, l = log n이며, c_{i,j} = 1 (i ≤ n, j = i일 때), c_{i,j} = 2^{i−n} (n < i ≤ n+l 및 모든 j일 때).
• 모순을 통한 최대장기 하한 정의: 지역적으로 효율적인 할당이 최대장기 < 2^l = log n일 경우, 일 묶음을 더 높은 인덱스의 기계로 이동시키면 총 비용이 감소함을 보여준다.
• 조화수 근사값을 사용하여 기계 1에서 n−1로의 일 묶음 이동이 초래하는 총 비용 감소를 근사한다.
• 기계당 일 수의 범위를 활용: 기계 i ≤ n에선 2^{l+1} 미만의 일, 기계 n+1에서 n+l에선 총 2^l 미만의 일.
• 낮은 비용의 기계(초기 기계)에서 높은 비용의 기계(후기 기계)로 일 이동 시 비용 감소가 비용 증가를 상쇄하지 못함을 보여, 최대장기 ≥ log n여야 함을 모순으로 이끌어낸다.
• 결론적으로 모든 환경 없음 할당은 최대장기 Ω(log m)을 가져야 하며, 이는 알려진 O(log m) 상한과 정확히 일치한다.

실험 결과

연구 질문

• RQ1 비동일한 기계 스케줄링에서 분할 불가능한 일들을 고려할 때, 어떤 메커니즘도 최적의 최대장기보다 O(log m) 배 이하의 최대장기를 갖는 환경 없음 할당을 보장할 수 있는가?
• RQ2 환영 없음 최대장기 근사에 대한 O(log m) 상한이 날카로운가, 아니면 더 나은 근사 비율을 달성할 수 있는가?
• RQ3 어떤 비용 행렬의 구조적 특성이 환경 없음 할당이 최소 Ω(log m)의 최대장기를 가져야 함을 강제하는가?
• RQ4 지역적으로 효율적인 환영 없음 할당의 존재가 특정 어려운 사례에서 최대장기 하한을 유도하는가?
• RQ5 최적의 최대장기가 1이지만, 모든 환영 없음 할당이 최소 Ω(log m)의 최대장기를 가져야 하는 비용 행렬을 구성할 수 있는가?

주요 결과

• 논문은 분할 불가능한 일들을 가진 비동일한 기계 스케줄링에서 환영 없음 최대장기 최소화에 대해 Ω(log m)의 날카로운 하한을 설정한다.
• 어떤 메커니즘도 최적의 최대장기보다 O(log m) 배 이하의 최대장기를 갖는 환영 없음 할당을 보장할 수 없으며, 이는 O(log m) 상한이 점점 더 날카로운 것을 증명한다.
• 최적의 최대장기가 1인 구성된 비용 행렬에 대해, 모든 환영 없음 할당은 최소 log n = log m의 최대장기를 가져야 하며, 이는 하한을 확립한다.
• 하한은 지역적으로 효율적인 환영 없음 할당에도 적용되며, 이는 할당 과정의 정교화에 대해 결과가 강건함을 의미한다.
• 기계 비용이 n대의 기계를 초과해 기하급수적으로 증가하는 비용 행렬을 사용하며, 이동된 묶음들이 더 높은 비용의 기계로 가는 것을 피할 수 없음을 보여, 환영 없음 조건을 위반하게 된다.
• 이 결과는 알려진 O(log m) 상한과 최선의 가능한 하한 사이의 격차를 명확히 닫으며, 환영 없음 최대장기의 최적 근사 비율이 O(log m)임을 확립한다.