Beating a finite automaton in the big match

  • Authors:
  • Lance Fortnow;Peter Kimmel

  • Affiliations:
  • The University of Chicago, Chicago, Illinois;The University of Chicago, Chicago, Illinois

  • Venue:
  • TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

We look at the Big Match game, a variation of the repeated Matching Pennies game where if the first player plays tails the game ends with the first player receiving the last round's payoff. We study this game when the second player is implemented as a finite automation. We show several results including: • If the first player knows the number of states of the second player's automaton then he can achieve the maximum score with a deterministic polynomial-time algorithm. • If a deterministic first player does not know the number of states of the second player then he can not guarantee himself more than the minimum score. • If we allow player one to run in probabilistic polynomial-time then he still cannot achieve the maximum score but he can get arbitrarily close. • In a slight variation of the Big Match, the first player cannot have an even close to dominant strategy.