[論文レビュー] Breaking the Barrier Of 2 for the Competitiveness of Longest Queue Drop

Antonios Antoniadis, Matthias Englert+2 more|arXiv (Cornell University)|Dec 7, 2020

Optimization and Search Problems参考文献 17被引用数 1

ひとこと要約

本稿は、共有メモリスイッチにおけるバッファ管理におけるLongest Queue Drop（LQD）アルゴリズムの競争比に対する最初の(2−ε)上界を確立し、それが1.6918-competitiveであることを証明している。精密なポテンシャル関数解析と、最適化にラメルトW関数を用いることで、長年にわたり続く2-competitiveの壁を破り、オンラインバッファ管理分野における理論的進展をもたらしている。

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-competitiveの上界と最高の下界との間の長年のギャップを埋めること。
• 従来の手法を超越するポテンシャル関数法の精錬を通じて、LQDのより緊密な競争比解析を開発すること。
• 正の定数ε>0に対して、LQDの競争比に対する最初の(2−ε)上界を確立することにより、長年の未解決問題を解決すること。
• パケット送信の利得とキュー長の不均衡のトレードオフを、ラメルトW関数を含む高度な数学的ツールを用いて形式化・最適化すること。

提案手法

• 各出力キューqに対して、S増加（OPTの余分な送信に起因）とL増加（キュー長の不均衡に起因）を組み合わせた新しいポテンシャル関数Φqを導入する。
• 調整可能なパラメータαとβを用いて、値の列b0, b1, ..., bjを巧みに構築し、総ポテンシャル増加∆Φqの下界を導出する。
• スターリングの近似を用いてポテンシャル関数増加における対数項をバウンドし、正確な漸近的解析を可能にする。
• ポテンシャル増加の微分をゼロと置くことで得られる臨界最適性条件を解くために、ラメルトW関数を用いる。
• 有効な競争比上界を最大化するために、パラメータα ∈ (0, 2/3]について最適化を行い、βは1−√(1−α−α/2)として定義する。
• OPTの余分な送信をLQDのポテンシャル増加にマッピングするチャージング議論を採用し、総ポテンシャル増加がOPTの余分パケット数を超えることを保証する。

実験結果

リサーチクエスチョン

• RQ1 Longest Queue Drop（LQD）アルゴリズムの競争比は、長年にわたり続く2-competitiveの壁を越えて改善可能か？
• RQ2 先行研究で予想されているように、ある定数ε>0に対してLQDの競争比に(2−ε)上界が存在するか？
• RQ3 任意の悪意あるパケット到着に対して、LQDが達成可能な最もタイトな競争比は何か？
• RQ4 ラメルトW関数による解析的最適化を伴う精錬されたポテンシャル関数法は、従来のチャージング議論を上回る明示的でより良い上界をもたらすか？

主な発見

• Longest Queue Drop（LQD）アルゴリズムが1.6918-competitiveであることが証明され、任意のε>0に対して最初の(2−ε)上界が確立された。
• 最適なα≈0.618906を用いることで、競争比上界は最大1.6917948にまで達する。
• スターリングの近似を用いて精錬された、対数項と調和項を組み合わせたポテンシャル関数増加の新たな下界が導入された。
• ラメルトW関数の使用により、キュー長の不均衡と送信利得の最適なバランスが正確に特徴づけられた。
• この結果により、20年以上にわたるオンラインバッファ管理分野の未解決問題が解決され、LQDの競争力が2を厳密に上回ることを示した。
• 本手法は、ポテンシャル関数技術を用いたバッファ管理におけるオンラインアルゴリズムの解析に一般的なフレームワークを提供し、他の変種への応用も可能である。