Memoryless Determinacy of Parity Games CHAPTER 6 IN
- Slides: 49
Memoryless Determinacy of Parity Games CHAPTER 6 IN “AUTOMATA, LOGIC AND INFINITE GAMES”, EDITED BY GRADEL, THOMAS AND WILKE GAMES, LOGIC AND AUTOMATA SEMINAR 19/4/2017 LIOR ZILBERSTEIN
In the Previous Lecture
In the Previous Lecture
In This Lecture Theorem – Every parity game is determined, meaning that the winning regions for player 0 and player 1 partition the set of vertices of the game. We will also see that the winning player have a memoryless winning strategy for the game. From this we get – Every regular game is determined.
But First: Some Useful Notations
Subgames
Subgames
Subgames
Attractors and Attractor Sets
Attractors and Attractor Sets
Attractors and Attractor Sets
Attractors and Attractor Sets
Attractors and Attractor Sets
Attractors and Attractor Sets
Determinacy
Determinacy Now, we can show that parity games are determined and that the winner of a parity game has a memoryless winning strategy. Formally, we prove the main theorem of this lecture: Theorem – The set of vertices of a parity game is partitioned into a 0 paradise and a 1 -paradise We will provide two proofs of this theorem, a non-constructive one, and a constructive one. For finite parity games, the second proof can even be turned into a recursive algorithm for computing the winning regions and the memoryless winning strategies.
Three Lemmas
Three Lemmas
Three Lemmas
Three Lemmas
Three Lemmas
Three Lemmas
Three Lemmas
A Non-constructive Proof for Our Theorem
A Non-constructive Proof for Our Theorem
A Constructive Proof for Our Theorem
A Constructive Proof for Our Theorem
A Constructive Proof for Our Theorem
A Constructive Proof for Our Theorem
Algorithmic Result
The Winning-Regions Algorithm We now present a (naïve) deterministic algorithm, called winning-regions, for computing the winning regions and corresponding winning strategies of the two players of a finite parity game. This algorithm is derived in a straightforward manner from the constructive proof we saw. It’s correctness follows immediately. There are better known deterministic algorithms for computing winning regions, that unlike this algorithm require polynomial space. Since we work with finite graphs, natural induction suffices.
The Winning-Regions Algorithm
The Winning-Regions Algorithm
The Winning-Regions Algorithm
Complexity Result
A Simple Complexity Result
A Simple Complexity Result
A Simple Complexity Result
A Simple Complexity Result
Questions?
- Poisson process exponential distribution
- Discrete memoryless channel
- Discrete memoryless channel
- Determinacy diagram
- Functional determinacy diagram
- Determinancy diagram
- Constraints and statical determinacy
- Determinacy
- Zero force members
- Static determinacy
- Stability and determinacy of structures
- Pltw truss calculations
- Constraints and statical determinacy
- Why do the hunger games start at 10am
- Outdoor games and indoor games
- Interest parity
- Define gender parity
- Purchasing power parity formula
- Put call formula
- "ota insight"
- What is purchasing power
- Parity conservation
- Charge parity violation
- Parity conservation
- Hotel listing parity
- Put-call parity
- What is option trading
- Currency options
- Twins parity
- Hyperemesis gravidorum
- Ppp formula
- Law of one price exchange rate
- Relative purchasing power parity
- Gravidity and parity
- Relative purchasing power parity
- What is high parity
- Futures style options
- Calculating purchasing power parity
- Interest parity
- Demographic parity
- Uncovered interest rate parity formula
- Parity generator applications
- Interest rate parity example
- Putcall parity
- Covered interest arbitrage parity
- International arbitrage example
- Purchasing power parity theory
- Multinational financial management requires that
- How to calculate purchasing power parity
- Brand positioning bullseye