[논문 리뷰] Achieving Target Equilibria in Network Routing Games without Knowing the Latency Functions

Umang Bhaskar, Katrina Ligett외 2명|arXiv (Cornell University)|2014. 08. 06.

Game Theory and Applications참고 문헌 16인용 수 6

한 줄 요약

이 논문은 지연 함수를 사전에 알지 못하는 상태에서 비원자 네트워크 라우팅 게임에서 목표 다중물류 흐름을 나시 균형으로 유도하기 위한 새로운 쿼리 기반 접근법을 제안한다. 다항 수의 균형 오라클 쿼리를 사용하여, 타원체 방법에 기반한 효율적인 알고리즘을 설계하여, 통행료 상한선이나 통행료 부과 불가 엣지와 같은 제약 조건이 있을 경우에도 목표 균형을 달성하는 엣지 통행료를 계산한다.

ABSTRACT

The analysis of network routing games typically assumes, right at the onset, precise and detailed information about the latency functions. Such information may, however, be unavailable or difficult to obtain. Moreover, one is often primarily interested in enforcing a desired target flow as the equilibrium by suitably influencing player behavior in the routing game. We ask whether one can achieve target flows as equilibria without knowing the underlying latency functions. Our main result gives a crisp positive answer to this question. We show that, under fairly general settings, one can efficiently compute edge tolls that induce a given target multicommodity flow in a nonatomic routing game using a polynomial number of queries to an oracle that takes candidate tolls as input and returns the resulting equilibrium flow. This result is obtained via a novel application of the ellipsoid method. Our algorithm extends easily to many other settings, such as (i) when certain edges cannot be tolled or there is an upper bound on the total toll paid by a user, and (ii) general nonatomic congestion games. We obtain tighter bounds on the query complexity for series-parallel networks, and single-commodity routing games with linear latency functions, and complement these with a query-complexity lower bound. We also obtain strong positive results for Stackelberg routing to achieve target equilibria in series-parallel graphs. Our results build upon various new techniques that we develop pertaining to the computation of, and connections between, different notions of approximate equilibrium; properties of multicommodity flows and tolls in series-parallel graphs; and sensitivity of equilibrium flow with respect to tolls. Our results demonstrate that one can indeed circumvent the potentially-onerous task of modeling latency functions, and yet obtain meaningful results for the underlying routing game.

연구 동기 및 목표

• 정확한 지연 함수가 알려져 있거나 모델링하기 어려운 상황에서 네트워크 라우팅 게임에서 원하는 교통 균형을 달성하는 데 도전하는 것.
• 균형 흐름에 접근하기 위한 오라클을 통한 쿼리 모델을 개발하여, 명시적인 지연 함수 지식이 필요 없도록 하는 것.
• 최소한의 가정 하에 주어진 목표 다중물류 흐름을 나시 균형으로 이끄는 엣지 통행료를 계산하기 위한 효율적인 알고리즘을 설계하는 것.
• 통행료 상한선, 통행료 부과 불가 엣지, 일반적인 비원자 혼잡도 게임과 같은 제약 조건을 다룰 수 있도록 프레임워크를 확장하는 것.
• 특정 네트워크 클래스인 병렬-직렬 그래프와 선형 지연 함수에 대해 엄밀한 쿼리 복잡도 한계와 난이도 결과를 설정하는 것.

제안 방법

• 시스템에 대한 유일한 액세스는 주어진 통행료 하에서 균형 흐름을 반환하는 쿼리인 블랙박스 오라클 모델을 도입한다.
• 균형 조건에 기반한 분리 오라클을 활용하여, 타원체 방법을 적용해 목표 흐름을 유도하는 엣지 통행료를 효율적으로 탐색한다.
• 다양한 근사 균형의 개념을 연결하고 통행료 변화에 대한 균형 흐름의 민감도를 분석하기 위한 새로운 기법을 개발한다.
• 병렬-직렬 그래프에서 다중물류 흐름과 통행료의 구조적 성질을 증명하여 더 낮은 쿼리 복잡도 한계를 도출한다.
• 2-Disjoint Paths (2DDP) 문제로부터의 감소를 통해 스택엘베르크 라우팅에 대한 근사 불가능성 결과를 확립한다.
• 정점 간섭이 없는 경로의 존재와 균형 지연 간의 직접적인 연관성을 연결하는 하드네스 인스턴스를 구축하여, 근사 불가능성 임계값을 증명한다.

실험 결과

연구 질문

• RQ1 지연 함수를 알지 못한 채 비원자 라우팅 게임에서 목표 다중물류 흐름을 나시 균형으로 이끌 수 있는가?
• RQ2 주어진 목표 흐름을 달성하기 위해 필요한 균형 오라클 쿼리의 최소 수는 얼마인가?
• RQ3 통행료 상한선이나 통행료 부과 불가 엣지와 같은 제약 조건이 있을 경우 쿼리 복잡도는 어떻게 변화하는가?
• RQ4 균형 지연을 최소화하는 스택엘베르크 라우팅 전략에 대해 강력한 근사 불가능성 결과를 확립할 수 있는가?
• RQ5 병렬-직렬 그래프의 어떤 구조적 성질이 오라클 모델에서 더 낮은 쿼리 복잡도 한계를 가능하게 하는가?

주요 결과

• 논문은 다항 시간 알고리즘을 제시하여, 지연 함수 지식 없이도 다항 수의 균형 오라클 쿼리만을 사용해 목표 다중물류 흐름을 나시 균형으로 이끄는 엣지 통행료를 계산한다.
• 이 알고리즘은 균형 조건에 기반한 분리 오라클을 활용하는 타원체 방법의 새로운 응용에 기반하며, 통행료 계산 문제를 효율적으로 해결한다.
• 병렬-직렬 네트워크에서는 간선 수와 물류 수에 대해 다항 수준의 쿼리 복잡도가 보장되며, 선형 지연 함수의 경우 더 낮은 복잡도 한계가 도출된다.
• 논문은 쿼리 복잡도 하한을 확립하여, 일반적으로 문제를 다항 수의 쿼리 이하로는 해결할 수 없음을 보여준다.
• 병렬-직렬 그래프에서의 스택엘베르크 라우팅에 대해, 균형 지연을 최소화하는 문제는 선형 지연 조건 하에서도 (4/3 − ε)-근사 불가능함을 입증한다. 여기서 ε > 0 이다.
• 이 하드네스 결과는 2-Disjoint Paths (2DDP) 문제로부터의 감소를 통해 증명되며, 정점 간섭이 없는 경로의 존재가 최소 달성 가능한 균형 지연을 직접 결정함을 보여준다.