[논문 리뷰] Breaking the Barrier Of 2 for the Competitiveness of Longest Queue Drop

Antonios Antoniadis, Matthias Englert외 2명|arXiv (Cornell University)|2020. 12. 07.

Optimization and Search Problems참고 문헌 17인용 수 1

한 줄 요약

이 논문은 공유 메모리 스위치의 버퍼 관리에서 Longest Queue Drop (LQD) 알고리즘의 경쟁 비율에 대해 처음으로 (2−ε) 상한을 확립하며, 이 알고리즘이 1.6918-경쟁적임을 증명한다. 정교한 잠재함수 분석과 맞춤형 하한 설정, 그리고 최적화에 라멘트 W 함수를 활용함으로써 저자들은 오랫동안 지속된 2-경쟁성 장벽을 돌파하였으며, 이는 온라인 버퍼 관리 분야에서 중요한 이론적 진전이다.

ABSTRACT

We consider the problem of managing the buffer of a shared-memory switch that transmits packets of unit value. A shared-memory switch consists of an input port, a number of output ports, and a buffer with a specific capacity. In each time step, an arbitrary number of packets arrive at the input port, each packet designated for one output port. Each packet is added to the queue of the respective output port. If the total number of packets exceeds the capacity of the buffer, some packets have to be irrevocably evicted. At the end of each time step, each output port transmits a packet in its queue and the goal is to maximize the number of transmitted packets. The Longest Queue Drop (LQD) online algorithm accepts any arriving packet to the buffer. However, if this results in the buffer exceeding its memory capacity, then LQD drops a packet from whichever queue is currently the longest, breaking ties arbitrarily. The LQD algorithm was first introduced in 1991, and is known to be $2$-competitive since 2001. Although LQD remains the best known online algorithm for the problem and is of practical interest, determining its true competitiveness is a long-standing open problem. We show that LQD is 1.6918-competitive, establishing the first $(2-\varepsilon)$ upper bound for the competitive ratio of LQD, for a constant $\varepsilon>0$.

연구 동기 및 목표

• 공유 메모리 스위치 버퍼 관리에서 Longest Queue Drop (LQD) 알고리즘에 대해 알려진 2-경쟁적 상한과 최고의 하한 사이의 오랫동안 남아있던 격차를 메우기 위해.
• 이전 접근 방식을 초월하여 잠재함수 방법을 정교화함으로써 LQD에 대한 더 날카운 경쟁 비율 분석을 개발하기 위해.
• 양의 상수 ε>0에 대해 LQD의 경쟁 비율에 대해 처음으로 (2−ε) 상한을 확립하여 오랫동안 남아있던 열린 문제를 해결하기 위해.
• 패킷 전송 이득과 큐 길이 불균형 사이의 상호 교환 관계를 체계적으로 형식화하고, 라멘트 W 함수와 같은 고급 수학적 도구를 활용해 최적화하기 위해.

제안 방법

• 각 출력 큐 q에 대해 S-증가(최적 알고리즘의 추가 전송에서 기인)와 L-증가(큐 길이 불균형에서 기인)를 조합한 새로운 잠재함수 Φq를 도입한다.
• 조절 가능한 매개변수 α와 β를 사용하여 b0, b1, ..., bj로 구성된 철저히 설계된 값의 수열을 통해 총 잠재함수 증가 ∆Φq의 하한을 유도한다.
• 잠재함수 증가의 로그 항을 유한하게 제한하기 위해 스타링의 근사법을 적용하여 정밀한 점근적 분석을 가능하게 한다.
• 잠재함수 증가의 도함수를 0으로 설정하여 유도된 핵심 최적성 조건을 해결하기 위해 라멘트 W 함수를 사용한다.
• 효율적 경쟁 비율 상한을 최대화하기 위해 매개변수 α ∈ (0, 2/3]에 대해 최적화를 수행하며, β는 1−√(1−α−α/2)로 정의된다.
• 최적 알고리즘의 추가 전송을 LQD의 잠재함수 증가로 매핑하는 청산 논증을 활용하여 총 잠재함수 증가가 최적 알고리즘의 추가 패킷 수를 초과함을 보장한다.

실험 결과

연구 질문

• RQ1 Longest Queue Drop (LQD) 알고리즘의 경쟁 비율은 오랫동안 지속된 2-경쟁성 상한을 넘어서 개선될 수 있는가?
• RQ2 이전 연구에서 추측된 바와 같이, 어떤 양의 상수 ε>0에 대해 LQD의 경쟁 비율에 대해 (2−ε) 상한이 존재하는가?
• RQ3 임의의 적대적 패킷 도착 상황 하에서 LQD가 달성할 수 있는 가장 날카운 경쟁 비율은 무엇인가?
• RQ4 라멘트 W 함수를 통한 분석적 최적화를 통한 정교한 잠재함수 방법은 이전의 청산 논증보다 더 엄밀한 상한을 도출할 수 있는가?

주요 결과

• Longest Queue Drop (LQD) 알고리즘이 1.6918-경쟁적임이 증명되었으며, 이는 ε>0에 대해 처음으로 (2−ε) 상한을 확립한 것이다.
• 경쟁 비율 상한은 잠재함수 매개변수 최적화를 통해 달성되며, 최적의 α≈0.618906은 경쟁 비율를 1.6917948 이하로 유지한다.
• 이 분석은 로그 항과 조화수 항을 조합한 새로운 잠재함수 증가 하한을 도입하며, 스타링의 근사법을 통해 정교화된다.
• 라멘트 W 함수의 사용은 큐 길이 불균형과 전송 이득 사이의 최적 균형을 정확하게 특성화할 수 있게 한다.
• 이 결과는 20년이 넘는 오랜 기간 동안 열려있던 온라인 버퍼 관리 분야의 핵심 열린 문제를 해결하였으며, LQD의 경쟁성이 2를 엄격히 초월함을 보여준다.
• 이 방법은 잠재함수 기법을 활용한 버퍼 관리 분야의 온라인 알고리즘 분석을 위한 일반적 프레임워크를 제공하며, 다른 변형으로의 확장 가능성도 있다.