[논문 리뷰] Concurrent games and semi-random determinacy

Stéphane Le Roux|arXiv (Cornell University)|2018. 04. 29.

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

한 줄 요약

이 논문은 상태 수열이 아닌 색상 수열에 따라 승리 조건이 정의되는 그래프 위에서 동시적인 무한 지속 두 명의 플레이어 게임을 위한 새로운 프레임워크를 제안한다. 플레이어 1의 유한 기억 전략이 존재하는지 여부는 단순한 조건 하에서 유한 개의 파생된 일인 게임에서 존재하는지 여부와 동치이며, 추가 조건이 만족될 경우 이러한 전략이 존재하지 않는 것은 플레이어 2가 거의 확실히 승리하는 스토하스틱 전략이 존재하는 것과 동치가 된다—특히 오메가-정규 언어의 공정성 변형에 특히 적용 가능하다.

ABSTRACT

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of winning (finite-memory) strategies in finitely many derived one-player games. Several classical winning conditions satisfy this simple requirement. Under an additional requirement on the winning condition, the non-existence of Player 1 winning strategies from all vertices is equivalent to the existence of Player 2 stochastic strategies winning almost surely from all vertices. Only few classical winning conditions satisfy this additional requirement, but a fairness variant of o

연구 동기 및 목표

• 승리 조건을 상태 수열에서 전이에 할당된 색상 수열로 이동시켜 무한 지속 두 명의 플레이어 게임을 재정의한다.
• 플레이어 1의 유한 기억 전략 존재 조건이 유한 개의 일인 게임으로 환원될 수 있는 조건을 규명한다.
• 플레이어 1의 유한 기억 전략이 존재하지 않는 것과 플레이어 2의 거의 확실히 승리하는 스토하스틱 전략 존재 사이의 연결 고리를 설정한다.
• 교차 폐쇄 조건에 대해 닫혀 있는 승리 조건을 전략 존재성 및 결정성 결과의 핵심 기술적 도구로 특성화한다.
• 기존의 결정성 결과를 반무작위 전략을 갖는 동시 게임으로 확장하며, 특히 오메가-정규 언어의 공정성 변형에 초점을 맞춘다.

제안 방법

• 행동이 색상으로 레이블이 붙은 전이를 유도하는 동시 게임을 정의하고, 승리 조건을 무한한 색상 수열에 기반으로 한다.
• 무한 수열 간의 교차 삽입을 통해 성질이 유지되는 교차 폐쇄 승리 조건의 개념을 도입한다.
• 승리 조건과 그 여집합이 모두 교차 폐쇄일 경우, 그 합집합과 교집합도 이 성질을 유지함을 증명한다.
• 접두사 제거 및 요소-접두사 폐쇄 추론을 통해 尾행동이 원래 수열의 행동을 반영함을 보인다.
• 교차 폐쇄성은 합집합과 교집합에 대해 유지되며, 특정 클래스에 대해서는 여집합에 대한 폐쇄성도 입증한다.
• 이론을 오메가-정규 언어의 공정성 변형에 적용하여, 요구 조건을 만족하는지 보여준다.

실험 결과

연구 질문

• RQ1 승리 조건에 어떤 조건이 만족되어야 플레이어 1의 유한 기억 전략 존재성이 유한 개의 일인 게임으로 환원되는가?
• RQ2 플레이어 1의 유한 기억 전략이 존재하지 않을 경우, 플레이어 2의 거의 확실히 승리하는 스토하스틱 전략 존재를 유도하는 조건은 무엇인가?
• RQ3 클래식 및 일반화된 승리 조건(예: 오메가-정규 언어의 공정성 변형 등) 중에서 어떤 것이 교차 폐쇄 성질을 만족하는가?
• RQ4 동시 게임에서 전략 존재성을 특성화하기 위해 교차 폐쇄성이 필수적인가?
• RQ5 교차 폐쇄 조건의 폐쇄 성질을 활용하여 동시 게임에서 전략 합성에 효과적인 알고리즘을 도출할 수 있는가?

주요 결과

• 승리 조건이 접두사 및 요소 연산에 대해 단순한 폐쇄성을 만족할 경우, 플레이어 1의 유한 기억 전략이 존재하는 것은 유한 개의 파생된 일인 게임에서의 존재성과 동치이다.
• 추가 조건—즉, 승리 조건과 그 여집합이 모두 교차 폐쇄일 경우—를 만족할 경우, 플레이어 1의 유한 기억 전략이 존재하지 않는 것은 플레이어 2의 거의 확실히 승리하는 스토하스틱 전략 존재와 동치이다.
• 오메가-정규 언어의 공정성 변형은 필요한 교차 폐쇄성 및 여집합 폐쇄 조건을 만족하므로, 제안된 결정성 결과에 적용 가능하다.
• 교차 폐쇄 조건의 클래스는 합집합, 교집합, 접두사 제거, 요소-접두사 연산에 대해 닫혀 있으며, 강력한 폐쇄 성질을 가진다.
• 증명 기법은 수열 내 해결되지 않은 문제의 수를 제한하는 데 기반하며, 증거를 통해 교차된 수열이 구성 요소로부터 유한성 성질을 상속함을 보여준다.
• 반례를 통해 일반적으로 교차 폐쇄성이 여집합에 대해 유지되지 않음을 보였지만, 도달 가능성, 파리티, 에너지, 평균 수익 조건 등의 특정 클래스에서는 성립함을 확인했다.