[논문 리뷰] Bounded Rationality in Concurrent Parity Games

Krishnendu Chatterjee|arXiv (Cornell University)|2011. 01. 01.

Logic, Reasoning, and Knowledge참고 문헌 37인용 수 1

한 줄 요약

이 논문은 유한리소스 제약 조건 하에서 동시성 펄서 게임의 질적 승리 집합을 완전히 특성화한다. 유일한 기억 전략이 유한정밀도 무한기억 전략과 동일한 승리 능력을 지닌다는 것을 보이며, 무한정밀도 기억 전략은 무한정밀도 유한기억 전략과 동일한 능력을 가진다. 핵심 기여는 O(n²d+3) 시간에 거의확실한 승리 집합과 한계확실한 승리 집합을 계산하는 기호 알고리즘을 개발한 것이다. 승리 집합 소속성은 NP ∩ coNP 내에서 결정 가능하다.

ABSTRACT

We consider 2-player games played on a finite state space for infinite rounds. The games are concurrent: in each round, the two players choose their moves simultaneously; the current state and the moves determine the successor. We consider omega-regular winning conditions given as parity objectives. We consider the qualitative analysis problems: the computation of the almost-sure and limit-sure winning set of states, where player 1 can ensure to win with probability 1 and with probability arbitrarily close to 1, respectively. In general the almost-sure and limit-sure winning strategies require both infinite-memory and infinite-precision. We study the bounded-rationality problem for qualitative analysis of concurrent parity games, where the strategy set player 1 is restricted to bounded-resource strategies. In terms of precision, strategies can be deterministic, uniform, finite-precision or infinite-precision; and in terms of memory, strategies can be memoryless, finite-memory or infinite-memory. We present a precise and complete characterization of the qualitative winning sets for all combinations of classes of strategies. In particular, we show that uniform memoryless strategies are as powerful as finite-precision infinite-memory strategies, and infinite-precision memoryless strategies are as powerful as infinite-precision finite-memory strategies. We show that the winning sets can be computed in O(n^{2d+3}) time, where n is the size of the game and 2d is the number of priorities, and our algorithms are symbolic. The membership problem of whether a state belongs to a winning set can be decided in NP cap coNP. While this complexity is the same as for the simpler class of turn-based games, where in each state only one of the players has a choice of moves, our algorithms, that are obtained by characterization of the winning sets as mu-calculus formulas, are considerably more involved.

연구 동기 및 목표

• 기타 자원(기억 및 정밀도) 제약 조건 하에서 동시성 펄서 게임의 질적 분석을 연구한다.
• 결정적, 균일, 유한정밀도, 무한정밀도 전략을 기억 전략(기억 없음, 유한기억, 무한기억)과 조합한 전략 클래스의 표현 능력을 규명한다.
• 모든 전략 클래스 조합에 대해 거의확실한 승리 집합과 한계확실한 승리 집합의 정확하고 완전한 특성화를 수립한다.
• 정확한 전이 확률에 의존하지 않는 효율적인 승리 집합 계산을 위한 기호 알고리즘을 개발한다.
• 기억 및 정밀도의 차이에도 불구하고 일부 전략 클래스가 승리 능력 측면에서 행동적으로 동일하다는 것을 증명한다.

제안 방법

• 유한상태 그래프, 동시 이동, 펄서 목표(ω-정규 승리 조건)를 갖는 동시성 펄서 게임을 수학적으로 정의한다.
• 다섯 가지 정밀도 클래스(결정적, 균일, 유한정밀도, 무한정밀도)와 세 가지 기억 클래스(기억 없음, 유한기억, 무한기억)를 정의하여 총 12개의 전략 클래스 조합을 구성한다.
• 선조 연산자와 증거 구성 기반으로 승리 집합을 특성화하며, 한계확실한 승리 집합이 유한기억 유한정밀도 전략으로 임의의 ε > 0 이내로 근사 가능하다는 것을 증명한다.
• 유한리소스 제약 조건 환경에 맞는 μ-논리 공식 기반 기호 알고리즘을 설계하며, 전통적인 동시 게임 μ-논리 공식과는 다름을 밝힌다.
• Proposition 2를 통해 순차적 게임으로의 변환을 이용하여 b-정밀도 전략을 시뮬레이션하고, 순차적 스토케스틱 게임에서 순수 기억 전략에 대한 기존 결과를 활용한다.
• 승리 집합이 정확한 전이 확률에 의존하지 않음을 증명하며, 전이 지원(전이의 존재 여부)에만 의존함을 보인다.

실험 결과

연구 질문

• RQ1 기억 및 정밀도 클래스의 어떤 조합이 동시성 펄서 게임에서 동일한 표현 능력을 갖는가?
• RQ2 한계확실한 승리 전략은 유한정밀도 기억 전략으로 달성 가능한가? 이는 무한정밀도 또는 무한기억 전략과 비교해 어떻게 되는가?
• RQ3 거의확실한 승리 집합과 한계확실한 승리 집합은 기호적으로 계산 가능한가? 그 소속성의 계산 복잡도는 무엇인가?
• RQ4 질적 승리 집합은 정확한 전이 확률에 의존하는가, 아니면 전이 지원에만 의존하는가?
• RQ5 유한리소스 제약 조건 하에서 효율적이고 정확한 기호 알고리즘을 설계할 수 있는가?

주요 결과

• 균일 기억 전략은 한계확실한 승리 달성에서 유한정밀도 무한기억 전략과 동일한 능력을 지닌다.
• 무한정밀도 기억 전략은 한계확실한 승리 달성에서 무한정밀도 유한기억 전략과 동일한 능력을 지닌다.
• 무한정밀도 기억 전략 하에서의 한계확실한 승리 집합은 무한정밀도 유한기억 전략 하에서의 한계확실한 승리 집합과 동일하다.
• 승리 집합은 O(n²d+3) 시간에 계산 가능하며, 여기서 n은 상태 수이고 2d는 우선순위 수이다.
• 승리 집합 소속 문제는 NP ∩ coNP 내에서 결정 가능하여 높은 계산 가능성을 나타낸다.
• 승리 집합 계산은 정확한 확률이 아닌 전이 지원에만 의존하므로, 정확도의 변동에 대해 강건하다.