[論文レビュー] Optimality Gap of Asymptotically-derived Prescriptions with Applications to Queueing Systems

Ramandeep S. Randhawa|arXiv (Cornell University)|Oct 9, 2012

Advanced Queuing Theory Analysis参考文献 15被引用数 4

ひとこと要約

本稿は、M/M/sおよびM/M/s+Mキューイングシステムにおける平方根スタッフイングなどの漸近的に導かれた容量規定が、システム規模が増大するにつれて最適性ギャップが消える o(1)-最適であることを確立している。正則性条件下で、目的関数における O(1) の近似誤差が o(1) の最適性ギャップをもたらすことを示すことにより、大規模キューイングシステムにおける拡散近似の広範な使用を正当化する。

ABSTRACT

In complex systems, it is quite common to resort to approximations when optimizing system performance. These approximations typically involve selecting a particular system parameter and then studying the performance of the system as this parameter grows without bound. In such an asymptotic regime, we prove that if the approximation to the objective function is accurate up to $\mathcal{O}(1)$, then under some regularity conditions, the prescriptions that are derived from this approximation are $o(1)$-optimal, i.e., their optimality gap is asymptotically zero. A consequence of this result is that the well-known square-root staffing rules for capacity sizing in $M/M/s$ and $M/M/s+M$ queues to minimize the sum of linear expected steady-state customer waiting costs and linear capacity costs are $o(1)$-optimal. We also discuss extensions of this result for the case of non-linear customer waiting costs in these systems.

研究の動機と目的

• 漸近的近似から導かれたキューイングシステムの容量規定の最適性ギャップを分析すること。
• 漸近的近似が、システムサイズが増大するにつれて最適性ギャップがゼロに収束する o(1)-最適となるような条件を確立すること。
• 線形コスト構造下で、M/M/s および M/M/s+M システムにおける広く用いられる平方根スタッフイングルールが o(1)-最適であることを検証すること。
• 非線形顧客待機コストおよび顧客離脱を伴うシステムへの分析を拡張すること。
• 制約条件や拡散近似が成立しない状況（例：凸コストを伴う単一サーバーシステム）における漸近的規定のロバストネスを検討すること。

提案手法

• 到着率 λ → ∞ となる漸近的設定を採用し、最適スタッフ数 sλ* が λ の関数としてどのように振る舞うかを分析する。
• 最適サーバー数を sλ* = λ/μ + O(√λ) として表現し、拡散近似を用いて sλ* = λ/μ + σ*√(λ/μ) に精緻化する。
• Halfin-Whitt の拡散極限を適用して定常状態のキュー長を近似し、E[Q(s)] ≈ q(σ)√(λ/μ) + O(1) を得る。ここで q(σ) は標準正規分布関数および確率密度関数の関数である。
• h·q(σ) + c·σ を最小化することで最適セーフティスタッフ数 σ* を導出し、これは強凸関数であるため一意の最小化点を持つ。
• 得られた規定 s̄λ = λ/μ + σ*√(λ/μ) が sλ* = s̄λ + o(√λ) を満たすことを示し、コストギャップ Πλ(s̄λ) − Πλ*(sλ*) = o(√λ) が成立することを示す。
• 正則性条件（例：3階微分が有界）の下で、最適性ギャップが λ → ∞ の際にゼロに収束することを示すことにより o(1)-最適性を証明する。

実験結果

リサーチクエスチョン

• RQ1 目的関数における O(1) の近似誤差が、漸近的容量規定において o(1) の最適性ギャップをもたらす条件は何か？
• RQ2 線形待機コストおよび容量コストの和を最小化する際、M/M/s および M/M/s+M キューイングシステムにおける平方根スタッフイングルールは o(1)-最適か？
• RQ3 顧客離脱を伴うキューイングシステムにおける非線形待機コスト関数では、最適性ギャップはどのように振る舞うか？
• RQ4 一般の耐性時間分布を伴うシステムでは、フロイド近似が o(1)-最適な規定をもたらすか？
• RQ5 拡散近似が失敗する（例：凸コストを伴う単一サーバーシステムに近い）状況では、漸近的近似の限界は何か？

主な発見

• 漸近的に導かれた規定の最適性ギャップは o(1) であり、システムスケール λ → ∞ の際に消える。これは、目的関数の近似誤差が O(1) であっても成り立つ。
• 線形待機コストおよび容量コストの下で、M/M/s および M/M/s+M キューイングシステムにおける平方根スタッフイングルールは o(1)-最適であり、λ の増大に従いギャップがゼロに収束する。
• 非線形待機コスト（例：凸遅延コスト）では、最適性ギャップは r ∈ (1,3) の場合に O(λ^(3−r)/(2(1+r))) となる。これは o(1) より大きいので、このような状況では規定が o(1)-最適でない可能性があることを示唆する。
• 顧客離脱および凸遅延コストを伴うシステムでは、フロイド近似が O(1) の精度を保ち、結果として o(1)-最適な規定が得られる。
• 制約付き最適化問題に対しても結果は拡張可能であるが、制約が O(1)-最適性を超える改善を制限する可能性があり、遅延確率の閾値問題のような例でその兆候が観察される。
• M/Ph/n+M システムに関する最近の結果は、近似誤差が O(n^(-1/4)) であることを示唆しており、追加の正則性条件の下で o(n^(-1/4))-最適性が得られる可能性がある。