English
Related papers

Related papers: On strategies for selection games related to count…

200 papers

The paper proposes a natural measure space of zero-sum perfect information games with upper semicontinuous payoffs. Each game is specified by the game tree, and by the assignment of the active player and of the capacity to each node of the…

Computer Science and Game Theory · Computer Science 2021-04-22 János Flesch , Arkadi Predtetchinski , Ville Suomala

Projection games constitute an important class of nonlocal games where, for any answer from the first player, there is a unique correct answer for the second player. This class of games captures nonlocal games arising from constraint…

Quantum Physics · Physics 2026-03-17 Eric Culf

We study computability-theoretic aspects of differential games. Our focus is on pursuit and evasion games played in Euclidean spaces in the tradition of Rado's "Lion versus Man" game. In some ways, these games can be viewed as continuous…

Optimization and Control · Mathematics 2019-03-05 Gafurjan Ibragimov , Bakh Khoussainov , Arno Pauly

This paper studies a large class of two-player perfect-information turn-based parity games on infinite graphs, namely those generated by collapsible pushdown automata. The main motivation for studying these games comes from the connections…

Formal Languages and Automata Theory · Computer Science 2020-10-14 Christopher H. Broadbent , Arnaud Carayol , Matthew Hague , Andrzej S. Murawski , C. -H. Luke Ong , Olivier Serre

We compare four different `game-spaces' in terms of their usefulness in characterising multi-player tabletop games, with a particular interest in any underlying change to a game's characteristics as the number of players changes. In each…

Artificial Intelligence · Computer Science 2022-02-14 James Goodman , Diego Perez-Liebana , Simon Lucas

Consider a situation with $n$ agents or players where some of the players form a coalition with a certain collective objective. Simple games are used to model systems that can decide whether coalitions are successful (winning) or not…

Computer Science and Game Theory · Computer Science 2016-09-19 Martin Olsen

The main purpose of the paper is the proof of a cardinal inequality for a space with points $G_\delta$, obtained with the help of a long version of the Menger game. This result improves a similar one of Scheepers and Tall.

General Topology · Mathematics 2014-05-12 Leandro F. Aurichi , Angelo Bella

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

Logic · Mathematics 2023-06-22 Andrej Bauer , Andrew Swan

We investigate the transfinite game values arising in infinite chess, providing both upper and lower bounds on the supremum of these values---the omega one of chess---with two senses depending on whether one considers only finite positions…

Logic · Mathematics 2014-02-25 C. D. A. Evans , Joel David Hamkins

A general model for zero-sum stochastic games with asymmetric information is considered. In this model, each player's information at each time can be divided into a common information part and a private information part. Under certain…

Systems and Control · Electrical Eng. & Systems 2019-12-25 Dhruva Kartik , Ashutosh Nayyar

We introduce and study Minkowski games. These are two player games, where the players take turns to chose positions in $\mathbb{R}^d$ based on some rules. Variants include boundedness games, where one player wants to keep the positions…

Computer Science and Game Theory · Computer Science 2016-11-28 Stéphane Le Roux , Arno Pauly , Jean-François Raskin

Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…

General Topology · Mathematics 2016-09-07 Vesko Valov

Although mixed extensions of finite games always admit equilibria, this is not the case for countable games, the best-known example being Wald's pick-the-larger-integer game. Several authors have provided conditions for the existence of…

Computer Science and Game Theory · Computer Science 2017-04-04 Valerio Capraro , Marco Scarsini

Dimensional types of metric scattered spaces are investigated. Revised proofs of Mazurkiewicz-Sierpi\'nski and Knaster-Urbanik theorems are presented. Embeddable properties of countable metric spaces are generalized onto uncountable metric…

General Topology · Mathematics 2015-05-01 Szymon Plewik , Marta Walczyńska

Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of…

Number Theory · Mathematics 2024-12-11 Dzmitry Badziahin , Stephen Harrap , Erez Nesharim , David Simmons

We consider the model of history-deterministic one-counter nets (OCNs). History-determinism is a property of transition systems that allows for a limited kind of non-determinism which can be resolved 'on-the-fly'. Token games, which have…

Formal Languages and Automata Theory · Computer Science 2026-05-28 Keya Prakash , K. S. Thejaswini

By results of Dantzig (1951) and Adler (2013), computing the optimal solutions of a linear program is equivalent to finding optimal strategies in zero-sum bimatrix games. Dantzig's original result was incomplete, in the sense that the…

Optimization and Control · Mathematics 2026-04-27 Jesse Elliott , Constantin Ickstadt , Thorsten Theobald , Elias Tsigaridas

Analyzing refutations of the well known 0pebbling formulas Peb$(G)$ we prove some new strong connections between pebble games and algebraic proof system, showing that there is a parallelism between the reversible, black and black-white…

Logic in Computer Science · Computer Science 2026-05-06 Lisa-Marie Jaser , Jacobo Toran

In statistical decision theory involving a single decision-maker, an information structure is said to be better than another one if for any cost function involving a hidden state variable and an action variable which is restricted to be…

Optimization and Control · Mathematics 2021-01-07 Ian Hogeboom-Burr , Serdar Yüksel

We show the equivalence between the existence of winning strategies for $G_{\delta \sigma}$ (also called $\Sigma^{0}_{3}$) games in Cantor or Baire space, and the existence of functions generalized-recursive in a higher type-2 functional.…

Logic · Mathematics 2015-10-01 P. D. Welch