games with costs and delays
play

Games with Costs and Delays Martin Zimmermann Saarland University - PowerPoint PPT Presentation

Games with Costs and Delays Martin Zimmermann Saarland University June 20th, 2017 LICS 2017, Reykjavik, Iceland Martin Zimmermann Saarland University Games with Costs and Delays 1/14 Gale-Stewart Games Bchi-Landweber: The winner of a


  1. Games with Costs and Delays Martin Zimmermann Saarland University June 20th, 2017 LICS 2017, Reykjavik, Iceland Martin Zimmermann Saarland University Games with Costs and Delays 1/14

  2. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  3. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  4. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b O : Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  5. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b O : a Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  6. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a O : a Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  7. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a O : a a Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  8. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b O : a a Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  9. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b · · · I wins! · · · O : a a Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  10. Gale-Stewart Games Büchi-Landweber: The winner of a zero-sum two-player game of infinite duration with ω -regular winning condition can be deter- mined effectively. � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b · · · I wins! · · · O : a a Many possible extensions... we consider two: Interaction: one player may delay her moves. Winning condition: quantitative instead of qualitative. Martin Zimmermann Saarland University Games with Costs and Delays 2/14

  11. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  12. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b O : Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  13. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a O : Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  14. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b O : Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  15. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b O : b Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  16. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b O : b Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  17. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b O : b b Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  18. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a O : b b Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  19. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a O : b b a Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  20. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a O : b b a Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  21. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a O : b b a a Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  22. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a b O : b b a a Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  23. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a b O : b b a a b Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  24. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a b b O : b b a a b Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  25. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a b b O : b b a a b b Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  26. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a b b · · · O wins! O : b b a a b b · · · Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  27. Delay Games Allow Player O to delay her moves: � α ( 0 ) �� α ( 1 ) � · · · ∈ L , if β ( i ) = α ( i + 2 ) for every i β ( 0 ) β ( 1 ) I : b a b b a a b b · · · O wins! O : b b a a b b · · · Typical questions: How often does Player O have to delay to win? How hard is determining the winner of a delay game? Does the ability to delay allow Player O to improve the quality of her strategies? Martin Zimmermann Saarland University Games with Costs and Delays 3/14

  28. Previous Work If winning conditions given by deterministic parity automata: Theorem (Klein, Z. ’15) If Player O wins delay game induced by A , then also by delaying at most 2 |A| 2 times. Martin Zimmermann Saarland University Games with Costs and Delays 4/14

  29. Previous Work If winning conditions given by deterministic parity automata: Theorem (Klein, Z. ’15) If Player O wins delay game induced by A , then also by delaying at most 2 |A| 2 times. Lower bound 2 |A| (already for safety automata). Martin Zimmermann Saarland University Games with Costs and Delays 4/14

  30. Previous Work If winning conditions given by deterministic parity automata: Theorem (Klein, Z. ’15) If Player O wins delay game induced by A , then also by delaying at most 2 |A| 2 times. Lower bound 2 |A| (already for safety automata). Determining the winner is EXPTIME -complete (hardness already for safety automata). Martin Zimmermann Saarland University Games with Costs and Delays 4/14

Recommend


More recommend