[논문 리뷰] Randomised Buffer Management with Bounded Delay against Adaptive Adversary

Łukasz Jeż|arXiv (Cornell University)|2009. 01. 01.

Optimization and Search Problems참고 문헌 5인용 수 3

한 줄 요약

이 논문은 버퍼 관리 문제에서 한정된 지연 조건 하에서 RMix 알고리즘이 적응형-온라인 대안자에 대해 $\frac{e}{e-1}$-competitive임을 새롭게 증명한다. 이는 이전 연구에서의 격차를 메우며, 대안자가 알고리즘의 난수 선택에 적응함에도 불구하고 결과가 성립함을 보여주어, 오직 도착 순서만 알려진 더 일반적인 모델로 유효성을 확장한다.

ABSTRACT

We study the Buffer Management with Bounded Delay problem, introduced by Kesselman et al. [4], or, in the standard scheduling terminology, the problem of online scheduling of unit jobs to maximise weighted throughput. The adaptive-online adversary model for this problem has recently been studied by Bienkowski et al. [2], who proved a lower bound of 4 3 on the competitive ratio and provided a matching upper bound for 2-bounded sequences. In particular, the authors of [2] claim that the algorithm RMix [3] is e e−1 -competitive against an adaptive-online adversary. However, the original proof of Chin et al. [3] holds only in the oblivious adversary model. The reason is as follows. First, the potential function used in the proof depends on the adversary’s future schedule, and second, it assumes that the adversary follows the earliest-deadline-first policy. Both of these cannot be assumed in adaptive-online adversary model, as the whole schedule of such adversary depends on the random choices of the algorithm. We give an alternative proof that RMix indeed is e e−1 -competitive against an adaptive-online adversary. Similar claim about RMix was made in another paper by Bienkowski et al. [1] studying a slightly more general problem. It assumes that the algorithm does not know exact deadlines of the packets, and instead knows only the order of their expirations. However, any prefix of the deadline-ordered sequence of packets can expire in every step. The new proof that we provide holds even in this more general model, as both the algorithm and its analysis rely only on the relative order of packets’ deadlines.

연구 동기 및 목표

• 적응형-온라인 대안자 모델 하에서 RMix의 경쟁 분석에 존재하는 격차를 메우기 위해, 이전 증명이 잘못된 가정에 의존했음을 시정한다.
• 대안자가 알고리즘의 난수 결정에 적응함에도 불구하고 RMix이 여전히 $\frac{e}{e-1}$-competitiveness를 유지함을 입증한다.
• 알고리즘이 패킷의 도착 순서만 알고 있을 때도 적용 가능한 더 일반적인 모델으로 분석을 확장한다.
• 대안자가 가장 빨리 도래하는 도착일 우선 순서를 따르지 않는다는 가정 없이도 성립하는 증명을 제공한다.
• Bienkowski 등 [1]과 [2]에서 제기된 이전 연구의 주장, 즉 RMix이 적응형 환경에서도 $\frac{e}{e-1}$-competitiveness를 달성한다는 것을 검증한다.

제안 방법

• 대안자의 미래 스케줄에 의존하지 않는 잠재 함수를 사용하여 RMix의 경쟁 분석을 재구성한다.
• 대안자가 알고리즘의 난수 선택에 따라 전략을 조정하는 적응형-온라인 행동 조건에서도 유효한 증명 기법을 설계한다.
• 정확한 도착일 값이 아닌 패킷 도착일의 상대적 순서에만 의존하도록 분석을 보장하여 부분 정보 모델으로 일반화한다.
• 잠재 함수를 대안자의 정책에 독립적으로 조정함으로써, 대안자가 가장 빨리 도래하는 도착일 우선 순서를 따르는 가정을 제거한다.
• RMix 알고리즘의 난수 선택 구조를 활용하여, 대안자 예측 가능성에 대한 가정 없이도 기대 경쟁 비율을 유 bounds한다.

실험 결과

연구 질문

• RQ1 적응형-온라인 대안자 모델 하에서 RMix의 $\frac{e}{e-1}$-competitiveness가 엄밀하게 증명될 수 있는가?
• RQ2 Chin 등이 제시한 원래 증명은 대안자가 알고리즘의 난수 선택에 적응함에도 유효한가?
• RQ3 도착일의 정확한 값이 아닌 도착일 순서만 알려진 경우에도 경쟁 비율 결과를 확장할 수 있는가?
• RQ4 대안자의 스케줄이 알고리즘의 난수성에 의존할 경우, 이전 증명에서 사용된 잠재 함수는 유효한가?
• RQ5 대안자의 정책에 대한 가정 없이도 $\frac{e}{e-1}$ 경쟁 비율을 유지하는 새로운 증명을 구성할 수 있는가?

주요 결과

• Chin 등이 제시한 원래 증명은 적응형-온라인 대안자 모델 하에서 대안자의 미래 행동에 의존하므로 유효하지 않다.
• 대안자가 적응형-온라인 방식으로 행동함에도 불구하고 RMix이 $\frac{e}{e-1}$-competitive임을 보여주는 새로운 증명이 제시되어, 문헌에 존재하는 기초적인 격차를 시정한다.
• 새로운 증명은 알고리즘이 패킷 도착일의 상대적 순서만 안다는 더 일반적인 모델에서도 유효하다.
• 분석은 대안자가 가장 빨리 도래하는 도착일 우선 순서를 따르는 가정에 의존하지 않아, 적응형 스케줄링 전략에 대해 강건하다.
• 이 결과는 Bienkowski 등 [1]과 [2]에서 제기된 이전 주장들을 확인하고 확장하며, 현실적인 적응형 환경에서 RMix의 성능을 검증한다.