[논문 리뷰] Computing Threshold Budgets in Discrete-Bidding Games

Guy Avni, Suman Sadhukhan|arXiv (Cornell University)|2022. 01. 01.

Auction Theory and Applications인용 수 2

한 줄 요약

이 논문은 이산-입찰 평형 게임에서 임계 예산을 계산하기 위한 두 가지 새로운 알고리즘을 제안하며, 문제의 복잡도가 NP 및 coNP에 속한다는 것을 입증한다. 첫 번째 알고리즘은 고정점 반복을 통해 임계값의 구조를 드러내고, 두 번째 알고리즘은 선형 메모리만을 사용하여 전략을 구성함으로써 이산-입찰 게임에서의 복잡도 및 메모리 요구량에 관한 오랜 미해결 문제를 해결한다.

ABSTRACT

In a two-player zero-sum graph game, the players move a token throughout the graph to produce an infinite play, which determines the winner of the game. Bidding games are graph games in which in each turn, an auction (bidding) determines which player moves the token: the players have budgets, and in each turn, both players simultaneously submit bids that do not exceed their available budgets, the higher bidder moves the token, and pays the bid to the lower bidder. We distinguish between continuous- and discrete-bidding games. In the latter, the granularity of the players' bids is restricted, e.g., bids must be given in cents. Continuous-bidding games are well understood, however, from a practical standpoint, discrete-bidding games are more appealing. In this paper we focus on discrete-bidding games. We study the problem of finding threshold budgets; namely, a necessary and sufficient initial budget for winning the game. Previously, the properties of threshold budgets were only studied for reachability games. For parity discrete-bidding games, thresholds were known to exist, but their structure was not understood. We describe two algorithms for finding threshold budgets in parity discrete-bidding games. The first algorithm is a fixed-point algorithm, and it reveals the structure of the threshold budgets in these games. Second, we show that the problem of finding threshold budgets is in NP and coNP for parity discrete-bidding games. Previously, only exponential-time algorithms where known for reachability and parity objectives. A corollary of this proof is a construction of strategies that use polynomial-size memory.

연구 동기 및 목표

• 이산-입찰 평형 게임에서 승리 보장이 가능한 최소 초기 예산(임계 예산)을 결정하기 위해.
• 이산-입찰 게임에서 임계 예산 계산의 계산 복잡도에 관한 오랜 미해결 문제를 해결하기 위해.
• 이전의 지수적 메모리 요구량을 초월하여 선형 메모리만을 사용하는 전략을 개발하기 위해.
• 도달 가능성 게임에서의 임계 예산의 구조적 이해을 평형 게임으로 확장하여, 이 경우의 평균 성질을 규명하기 위해.

제안 방법

• 정점 간 평균 성질을 강제로 구현함으로써 반복적으로 임계값을 계산하는 고정점 알고리즘을 도입한다.
• 목표 정점에 도달할 경우 예산 제약 조건을 강제하는 새로운 프루드-평형 목적함수를 정의한다.
• 분석을 위해 입찰 게임을 표준 평형 게임으로 감소시키기 위해 전략 기반 게임 시뮬레이션 (𝐺𝑇,𝐺)을 구성한다.
• 하한선을 검증하기 위해 플레이어 2의 승리 조건과 이중성 관계를 이용한 임계 함수 𝑇′을 사용한 이중 변환을 수행한다.
• 임계 함수의 다항 크기 표현을 활용하고, 무기억 전략을 사용하여 다항 시간 내에 검증한다.
• 전략 기반 평형 게임에서 이산-입찰 게임으로의 감소를 활용하여 복잡도 한계를 확립한다.

실험 결과

연구 질문

• RQ1 이산-입찰 평형 게임에서 임계 예산은 도달 가능성 게임에서와 마찬가지로 평균 성질을 만족하는가?
• RQ2 예산이 이진수로 주어질 때, 이산-입찰 평형 게임에서 임계 예산 계산 문제는 NP 및 coNP에 속하는가?
• RQ3 이산-입찰 평형 게임의 승리 전략은 기존의 지수적 메모리 요구량을 초월하여 선형 메모리만으로 구성될 수 있는가?
• RQ4 도달 가능성 외에 평형 이산-입찰 게임에서 임계 예산의 분포를 지배하는 구조적 성질은 무엇인가?

주요 결과

• 이산-입찰 평형 게임에서의 임계 예산은 이전에 도달 가능성 게임에서만 알려져 있던 평균 성질을 만족한다.
• 예산이 이진수로 주어질 때조차도, 이산-입찰 평형 게임에서 임계 예산 계산 문제는 NP 및 coNP에 속한다.
• 논문은 선형 메모리만을 요구하는 승리 전략을 구성하였으며, 이는 이전의 지수적 메모리 요구량 전략에 비해 상당한 개선이다.
• 임계 함수는 다항 크기로 표현 가능하여 후보 해의 효율적 검증이 가능하다.
• 전략 기반 평형 게임에서 이산-입찰 게임으로의 새로운 감소를 통해, 입찰 메커니즘의 추가 복잡도에도 불구하고 복잡도 클래스가 여전히 NP ∩ coNP임을 확인한다.
• 고정점 알고리즘은 도달 가능성 게임에서 평형 게임으로의 구조적 통찰을 체계적으로 확장할 수 있는 방법을 제공하며, 새로운 알고리즘적 접근법을 가능하게 한다.