English
Related papers

Related papers: Local obstructions in sequences revisited

200 papers

Finite turn-based safety games have been used for very different problems such as the synthesis of linear temporal logic (LTL), the synthesis of schedulers for computer systems running on multiprocessor platforms, and also for the…

Logic in Computer Science · Computer Science 2014-05-08 Gilles Geeraerts , Joël Goossens , Amélie Stainer

We study the computational complexity of the popular board game backgammon. We show that deciding whether a player can win from a given board configuration is NP-Hard, PSPACE-Hard, and EXPTIME-Hard under different settings of known and…

Computational Complexity · Computer Science 2021-12-15 R. Teal Witter

The goal of this article is to understand some interesting features of sequences of arbitrage operations, which look relevant to various processes in Economics and Finances. In the second part of the paper, analysis of sequences of…

Trading and Market Microstructure · Quantitative Finance 2010-04-06 Victor Kozyakin , Brian O'Callaghan , Alexei Pokrovskii

Competition among cooperators, defectors, and loners is studied in an evolutionary prisoner's dilemma game with optional participation. Loners are risk averse i.e. unwilling to participate and rather rely on small but fixed earnings. This…

Disordered Systems and Neural Networks · Physics 2009-11-07 Gyorgy Szabo , Christoph Hauert

Capacitated network bargaining games are popular combinatorial games that involve the structure of matchings in graphs. We show that it is always possible to stabilize unit-weight instances of this problem (that is, ensure that they admit a…

Discrete Mathematics · Computer Science 2024-09-05 Laura Sanità , Lucy Verberk

Fictitious play with reinforcement learning is a general and effective framework for zero-sum games. However, using the current deep neural network models, the implementation of fictitious play faces crucial challenges. Neural network model…

Machine Learning · Computer Science 2019-12-02 Rong-Jun Qin , Jing-Cheng Pang , Yang Yu

The brain is targeted for processing temporal sequence information. It remains largely unclear how the brain learns to store and retrieve sequence memories. Here, we study how recurrent networks of binary neurons learn sequence attractors…

Neural and Evolutionary Computing · Computer Science 2024-04-04 Yao Lu , Si Wu

Combinatorial games are two-player games of pure strategy where the players, usually called Left and Right, move alternately. In this paper, we introduce Cheating Robot games. These arise from simultaneous-play combinatorial games where one…

Combinatorics · Mathematics 2022-02-11 Melissa A. Huggan , Richard J. Nowakowski

This text provides an introduction to distributed local algorithms -- an area at the intersection of theoretical computer science and discrete mathematics. We collect recent results in the area and demonstrate how they lead to a clean…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-22 Václav Rozhoň

Suppose that the outcomes of a roulette table are not entirely random, in the sense that there exists a successful betting strategy. Is there a successful `separable' strategy, in the sense that it does not use the winnings from betting on…

Logic · Mathematics 2019-04-18 George Barmpalias , Nan Fang , Andrew Lewis-Pye

This thesis presents some geometric insights into three different types of two player prediction games -- namely general learning task, prediction with expert advice, and online convex optimization. These games differ in the nature of the…

Machine Learning · Computer Science 2018-05-23 Parameswaran Kamalaruban

The generalization of the problem of adaptive competition, known as the minority game, to the case of $K$ possible choices for each player is addressed, and applied to a system of interacting perceptrons with input and output units of the…

Disordered Systems and Neural Networks · Physics 2009-10-31 Liat Ein-Dor , Richard Metzler , Ido Kanter , Wolfgang Kinzel

We investigate certain word-construction games with variable turn orders. In these games, Alice and Bob take turns on choosing consecutive letters of a word of fixed length, with Alice winning if the result lies in a predetermined target…

Formal Languages and Automata Theory · Computer Science 2020-04-29 Pierre Marcus , Ilkka Törmä

We study two-player games played on the infinite graph of sentential forms induced by a context-free grammar (that comes with an ownership partitioning of the non-terminals). The winning condition is inclusion of the derived terminal word…

Logic in Computer Science · Computer Science 2016-11-02 Lukáš Holík , Roland Meyer , Sebastian Muskalla

In Combinatorial Game Theory, short game forms are defined recursively over all the positions the two players are allowed to move to. A form is decomposable if it can be expressed as a disjunctive sum of two forms with smaller birthday. If…

Combinatorics · Mathematics 2023-06-13 Michael Fisher , Neil A. McKay , Rebecca Milley , Richard J. Nowakowski , Carlos P. Santos

Let S be a topological property of sequences (such as, for example, "to contain a convergent subsequence" or "to have an accumulation point"). We introduce the following open-point game OP(X,S) on a topological space X. In the n'th move,…

General Topology · Mathematics 2019-06-10 Alejandro Dorantes-Aldama , Dmitri Shakhmatov

The linear complexity of a sequence $s$ is one of the measures of its predictability. It represents the smallest degree of a linear recursion which the sequence satisfies. There are several algorithms to find the linear complexity of a…

Cryptography and Security · Computer Science 2019-12-30 Yeow Meng Chee , Johan Chrisnata , Tuvi Etzion , Han Mao Kiah

We propose a simple method for combining together voting rules that performs a run-off between the different winners of each voting rule. We prove that this combinator has several good properties. For instance, even if just one of the base…

Artificial Intelligence · Computer Science 2012-03-15 Nina Narodytska , Toby Walsh , Lirong Xia

A knockout tournament is one of the most simple and popular forms of competition. Here, we are given a binary tournament tree where all leaves are labeled with seed position names. The players participating in the tournament are assigned to…

Discrete Mathematics · Computer Science 2025-06-05 Klim Efremenko , Hendrik Molter , Meirav Zehavi

We study the problem of learning a good search policy for combinatorial search spaces. We propose retrospective imitation learning, which, after initial training by an expert, improves itself by learning from \textit{retrospective…

Machine Learning · Computer Science 2019-06-25 Jialin Song , Ravi Lanka , Albert Zhao , Aadyot Bhatnagar , Yisong Yue , Masahiro Ono