[논문 리뷰] Strategic Arrivals into Queueing Networks: The Network Concert Queueing Game

Harsha Honnappa, Rahul Jain|arXiv (Cornell University)|2011. 12. 13.

Advanced Queuing Theory Analysis참고 문헌 10인용 수 4

한 줄 요약

이 논문은 전략적 사용자 도착을 모델링하는 네트워크 콘cert 큐잉 게임을 제안하며, 사용자들이 기다림 시간과 서비스 완료 시간의 비용을 최소화하기 위해 도착 시간과 큐를 선택하는 다중 큐 네트워크를 다룬다. 유체 근사 근사치를 도출하고, 균일한 시간 간격 동안 균형 도착 분포를 특성화하며, 가격의 난리(Price of Anarchy)를 계산하여 대칭적인 경우에 이는 2 이하로 유한함을 보여준다.

ABSTRACT

Queueing networks are typically modelled assuming that the arrival process is exogenous, and unaffected by admission control, scheduling policies, etc. In many situations, however, users choose the time of their arrival strategically, taking delay and other metrics into account. In this paper, we develop a framework to study such strategic arrivals into queueing networks. We start by deriving a functional strong law of large numbers (FSLLN) approximation to the queueing network. In the fluid limit derived, we then study the population game wherein users strategically choose when to arrive, and upon arrival which of the K queues to join. The queues start service at given times, which can potentially be different. We characterize the (strategic) arrival process at each of the queues, and the price of anarchy of the ensuing strategic arrival game. We then extend the analysis to multiple populations of users, each with a different cost metric. The equilibrium arrival profile and price of anarchy are derived. Finally, we present the methodology for exact equilibrium analysis. This, however, is tractable for only some simple cases such as two users arriving at a two node queueing network, which we then present.

연구 동기 및 목표

• 사용자들이 대기 시간과 서비스 완료 시간의 비용 함수를 최소화하기 위해 도착 시간과 큐를 선택하는 큐잉 네트워크에서의 전략적 사용자 도착을 모델링하기.
• 전략적 행동으로 인한 비재생 도착 동역학을 반영하는 큐잉 네트워크 과정에 대한 유체 근사 근사치를 개발하기.
• 사용자 집단 게임 설정에서 균형 도착 프로필을 특성화하며, 이가 시스템 파라미터에 의해 결정되는 시간 간격 동안 균일함을 보여주기.
• 단일 및 다중 집단에 대해 전략적 행동으로 인한 효율성 손실을 정량화하기 위해 가격의 난리를 유도하기.
• 간단한 경우, 예를 들어 두 사용자와 두 큐에 대해 정확한 균형 분석을 수행하며, 구성에 의해 유일성을 증명하기.

제안 방법

• 비외생적 도착 설정에서 큐 길이, 忙한 시간, 가상 대기 시간 과정에 대한 기능적 강한 대수법칙(FSLLN) 근사치를 유도한다.
• 유체 스케일링된 가상 대기 시간 과정을 $ \mathbf{W}^{n}(t) = \mathbf{V}^{n}(A^{n}(t)) - \mathbf{B}^{n}(t) - \mathbf{t_{s,-}}(t) $ 로 정의하고, 적절한 스케일링 하에 유체 근사치로 수렴함을 증명한다.
• 무작위 시간 변화 정리와 마틴게일 기반 기하확률 중심극한정리 기법을 사용하여 유체 스케일링 과정의 수렴을 확립한다.
• 전략적 도착 게임을 사용자들이 대기 시간과 서비스 완료 시간의 선형 비용 함수를 최소화하는 비원자적 집단 게임으로 모델링한다.
• 균형 도착 분포 $ f(t) $ 를 도출하며, 이가 $[-T_0, 0]$ 에서 균일하고 $[0, T]$ 에서는 연속적이며 시간에 따라 변하는 라우팅 확률 $ p_i(t) $ 를 포함함을 보여준다.
• 정규화 조건 $ \int_{-T_0}^{T} f(t) dt = 1 $ 과 경계 조건 $ f(T) = 0 $ 를 충족시키기 위해 $ T_0 $ 와 $ T $ 를 구하며, 대칭적인 두 사용자, 두 큐의 경우에 대해 닫힌 형태의 표현식을 도출한다.

실험 결과

연구 질문

• RQ1 사용자들이 다중 큐 네트워크에서 도착 시간과 큐를 선택하는 전략적 도착 게임에서 나시 균형(Nash equilibrium)이 존재하는가?
• RQ2 큐잉 네트워크의 유체 근사치에서 균형 도착 분포의 구조는 어떻게 되는가?
• RQ3 단일 및 다중 집단 설정에서 전략적 행동으로 인한 비효율성 측정 지표인 가격의 난리가 시스템 파라미터에 따라 어떻게 변화하는가?
• RQ4 작고 대칭적인 시스템에 대해 정확한 균형 분석을 수행할 수 있으며, 그 유일성에 대한 조건은 무엇인가?
• RQ5 서비스 시작 시간, 서비스 속도, 비용 가중치는 균형 도착 프로필과 라우팅 결정에 어떻게 영향을 미치는가?

주요 결과

• 균형 도착 프로필은 $[-T_0, 0]$ 간격에서 균일 분포이며, $ t > 0 $ 에서는 시간에 따라 변하는 라우팅 분포를 가지며, 이는 유체 근사치에서 유도된다.
• 두 사용자와 두 병렬 큐의 경우, 균형은 정규화 및 경계 조건에서 유도된 이차방정식을 풀어 고유하게 결정되며, $ T_0 $ 와 $ T $ 에 대한 명시적 표현식을 도출한다.
• 대칭적인 두 집단과 동일한 서비스 속도를 가진 경우, 가격의 난리는 2 이하로 유한함을 보여주며, 이는 최악의 경우 최대 100%의 효율성 손실을 의미한다.
• 유체 근사치는 전략적 도착의 핵심 역학을 잘 반영하며, 도착 간격이 상관이 있으며 이 과정이 재생 과정이 아니라는 것을 보여준다.
• 도착률 $ f(t) $ 는 조각별 연속적이다: $[-T_0, 0]$ 에서는 일정하고 $[0, T]$ 에서는 $ t $ 의 선형 함수이며, $ f(T) = 0 $ 이다.
• 균형 라우팅 확률 $ p_i(t) $ 는 서비스 시작 이전에는 일정하고, 이후에는 시간에 따라 변하며, 각 큐의 기대 공백 시간에 따라 달라진다.