English
Related papers

Related papers: Game Derandomization

200 papers

The Kolmogorov complexity function K can be relativized using any oracle A, and most properties of K remain true for relativized versions. In section 1 we provide an explanation for this observation by giving a game-theoretic interpretation…

Logic · Mathematics 2010-03-25 Andrej A. Muchnik , Ilya Mezhirov , Alexander Shen , Nikolay Vereshchagin

Many real-world problems modeled by stochastic games have huge state and/or action spaces, leading to the well-known curse of dimensionality. The complexity of the analysis of large-scale systems is dramatically reduced by exploiting mean…

Systems and Control · Computer Science 2015-03-19 H. Tembine

Many theorems about Kolmogorov complexity rely on existence of combinatorial objects with specific properties. Usually the probabilistic method gives such objects with better parameters than explicit constructions do. But the probabilistic…

Computational Complexity · Computer Science 2012-03-12 Daniil Musatov

Kolmogorov complexity is often used as a convenient language for counting and/or probabilistic existence proofs. However, there are some applications where Kolmogorov complexity is used in a more subtle way. We provide one (somehow)…

Discrete Mathematics · Computer Science 2024-05-16 Alexander Shen

With increasing game size, a problem of computational complexity arises. This is especially true in real world problems such as in social systems, where there is a significant population of players involved in the game, and the complexity…

Computer Science and Game Theory · Computer Science 2016-09-12 Tatsuya Iwase , Takahiro Shiga

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…

Logic in Computer Science · Computer Science 2018-05-01 Stephane Le Roux

We provide another proof to the EL Theorem. We show the tradeoff between compressibility of codebooks and their communication capacity. A resource bounded version of the EL Theorem is proven. This is used to prove three instances of…

Computational Complexity · Computer Science 2023-09-13 Samuel Epstein

This paper examines the integration of computational complexity into game theoretic models. The example focused on is the Prisoner's Dilemma, repeated for a finite length of time. We show that a minimal bound on the players' computational…

Computer Science and Game Theory · Computer Science 2007-05-23 Yishay Mor , Jeffrey S. Rosenschein

In this paper, we introduce complexity-aware planning for finite-horizon deterministic finite automata with rewards as outputs, based on Kolmogorov complexity. Kolmogorov complexity is considered since it can detect computational…

Systems and Control · Electrical Eng. & Systems 2021-09-23 Elis Stefansson , Karl H. Johansson

We study the computational complexity of an important property of simple, regular and weighted games, which is decisiveness. We show that this concept can naturally be represented in the context of hypergraph theory, and that decisiveness…

Computer Science and Game Theory · Computer Science 2013-07-10 Andreas Polyméris , Fabián Riquelme

We study the ergodicity of deterministic two-person zero-sum differential games. This property is defined by the uniform convergence to a constant of either the infinite-horizon discounted value as the discount factor tends to zero, or…

Optimization and Control · Mathematics 2020-01-08 Antoine Hochart

In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several steps. First an adversary selects a completely satisfiable…

Data Structures and Algorithms · Computer Science 2011-04-20 Alexandra Kolla , Konstantin Makarychev , Yury Makarychev

So-called separation automata are in the core of several recently invented quasi-polynomial time algorithms for parity games. An explicit $q$-state separation automaton implies an algorithm for parity games with running time polynomial in…

Formal Languages and Automata Theory · Computer Science 2019-09-27 Alexander Kozachinskiy , Mikhail Vyalyi

Randomized mechanisms can have good normative properties compared to their deterministic counterparts. However, randomized mechanisms are problematic in several ways such as in their verifiability. We propose here to derandomize such…

Computer Science and Game Theory · Computer Science 2024-05-16 Toby Walsh

We study the complexity of solving two-player infinite duration games played on a fixed finite graph, where the control of a node is not predetermined but rather assigned randomly. In classic random-turn games, control of each node is…

Computer Science and Game Theory · Computer Science 2026-01-13 Sarvin Bahmani , Rasmus Ibsen-Jensen , Soumyajit Paul , Sven Schewe , Friedrich Slivovsky , Qiyi Tang , Dominik Wojtczak , Shufang Zhu

Iterated admissibility is a well-known and important concept in classical game theory, e.g. to determine rational behaviors in multi-player matrix games. As recently shown by Berwanger, this concept can be soundly extended to infinite games…

Computer Science and Game Theory · Computer Science 2014-01-24 Romain Brenguier , Jean-François Raskin , Mathieu Sassolas

Bertrand et al. [1] (LMCS 2019) describe two-player zero-sum games in which one player tries to achieve a reachability objective in $n$ games (on the same finite arena) simultaneously by broadcasting actions, and where the opponent has full…

Logic in Computer Science · Computer Science 2019-09-17 Corto Mascle , Mahsa Shirmohammadi , Patrick Totzke

We give a general method for constructing a deterministic strategy of Reality from a randomized strategy in game-theoretic probability. The construction can be seen as derandomization in game-theoretic probability.

Probability · Mathematics 2014-08-05 Kenshi Miyabe , Akimichi Takemura

This paper studies complexity theoretic aspects of quantum refereed games, which are abstract games between two competing players that send quantum states to a referee, who performs an efficiently implementable joint measurement on the two…

Computational Complexity · Computer Science 2020-02-06 Soumik Ghosh , John Watrous

We consider the computational complexity of the question whether a certain strategy can be removed from a game by means of iterated elimination of dominated strategies. In particular, we study the influence of different definitions of…

Computational Complexity · Computer Science 2010-01-20 Arno Pauly
‹ Prev 1 2 3 10 Next ›