1. Randomness for Free
- Author
-
Hugo Gimbert, Thomas A. Henzinger, Krishnendu Chatterjee, Laurent Doyen, Institute of Science and Technology [Austria] (IST Austria), Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), and Petr Hliněný and Antonín Kučera
- Subjects
FOS: Computer and information sciences ,Computer Science - Logic in Computer Science ,Computer Science::Computer Science and Game Theory ,Theoretical computer science ,Computer science ,004 Data processing & computer science ,0102 computer and information sciences ,Characterization (mathematics) ,01 natural sciences ,Theoretical Computer Science ,Computer Science - Computer Science and Game Theory ,0101 mathematics ,Randomness ,Mathematics ,Discrete mathematics ,Basis (linear algebra) ,[INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT] ,Transition function ,Transition (fiction) ,Stochastic game ,010102 general mathematics ,Mode (statistics) ,Probabilistic logic ,ComputingMilieux_PERSONALCOMPUTING ,Randomized algorithms as zero-sum games ,Computer Science Applications ,Logic in Computer Science (cs.LO) ,Computational Theory and Mathematics ,010201 computation theory & mathematics ,[MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA] ,Information Systems ,Computer Science and Game Theory (cs.GT) - Abstract
International audience; We consider two-player zero-sum games on graphs. These games can be classified on the basis of the information of the players and on the mode of interaction between them. On the basis of information the classification is as follows: (a) partial-observation (both players have partial view of the game); (b) one-sided complete-observation (one player has complete observation); and (c) complete-observation (both players have complete view of the game). On the basis of mode of interaction we have the following classification: (a) concurrent (both players interact simultaneously); and (b) turn-based (both players interact in turn). The two sources of randomness in these games are randomness in transition function and randomness in strategies. In general, randomized strategies are more powerful than deterministic strategies, and randomness in transitions gives more general classes of games. In this work we present a complete characterization for the classes of games where randomness is not helpful in: (a) the transition function probabilistic transition can be simulated by deterministic transition); and (b) strategies (pure strategies are as powerful as randomized strategies). As consequence of our characterization we obtain new undecidability results for these games.
- Published
- 2010
- Full Text
- View/download PDF