English
Related papers

Related papers: The Parameterized Complexity of Positional Games

200 papers

Parity games are games that are played on directed graphs whose vertices are labeled by natural numbers, called priorities. The players push a token along the edges of the digraph. The winner is determined by the parity of the greatest…

Computer Science and Game Theory · Computer Science 2015-03-20 Christoph Dittmann , Stephan Kreutzer , Alexandru I. Tomescu

We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current position, and not on the history of the play. A game is…

Logic in Computer Science · Computer Science 2017-01-11 Erich Graedel , Igor Walukiewicz

In numerous positional games the identity of the winner is easily determined. In this case one of the more interesting questions is not {\em who} wins but rather {\em how fast} can one win. These type of problems were studied earlier for…

Combinatorics · Mathematics 2008-06-03 Dan Hefetz , Michael Krivelevich , Miloš Stojaković , Tibor Szabó

We study the biased $(2:b)$ Walker--Breaker games, played on the edge set of the complete graph on $n$ vertices, $K_n$. These games are a variant of the Maker--Breaker games with the restriction that Walker (playing the role of Maker) has…

Combinatorics · Mathematics 2023-06-22 Jovana Forcan , Mirjana Mikalački

In this paper we consider positional games where the winning sets are tree universal graphs. Specifically, we show that in the unbiased Maker-Breaker game on the complete graph $K_n$, Maker has a strategy to occupy a graph which contains…

We study the unbiased WalkerMaker-WalkerBreaker games on the edge set of the complete graph on $n$ vertices, $K_n$, a variant of well-known Maker-Breaker positional games, where both players have the restriction on the way of playing.…

Combinatorics · Mathematics 2019-06-13 Jovana Forcan , Mirjana Mikalački

A large class of Positional Games are defined on the complete graph on $n$ vertices. The players, Maker and Breaker, take the edges of the graph in turns, and Maker wins iff his subgraph has a given -- usually monotone -- property. Here we…

Combinatorics · Mathematics 2016-05-24 József Balogh , Ryan R. Martin , András Pluhár

In classical Maker-Breaker games on graphs, Maker and Breaker take turns claiming edges; Maker's goal is to claim all of some structure (e.g., a spanning tree, Hamilton cycle, etc.), while Breaker aims to stop her. The standard question…

Combinatorics · Mathematics 2025-05-28 Wesley Pegden , Francesca Yu

We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current position, and not on the history of the play. A game is…

Logic in Computer Science · Computer Science 2012-08-29 Erich Graedel , Igor Walukiewicz

For a graph G, a monotone increasing graph property P and positive integer q, we define the Client-Waiter game to be a two-player game which runs as follows. In each turn Waiter is offering Client a subset of at least one and at most q+1…

Combinatorics · Mathematics 2016-03-18 Oren Dean , Michael Krivelevich

We study a random game in which two players in turn play a fixed number of moves. For each move, there are two possible choices. To each possible outcome of the game we assign a winner in an i.i.d. fashion with a fixed parameter p. In the…

Probability · Mathematics 2024-09-05 Natalia Cardona-Tobón , Anja Sturm , Jan M. Swart

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

The parameterized complexity of a problem is considered "settled" once it has been shown to lie in FPT or to be complete for a class in the W-hierarchy or a similar parameterized hierarchy. Several natural parameterized problems have,…

Computational Complexity · Computer Science 2013-08-14 Christoph Stockhusen , Till Tantau

Given a c-colored graph G, a vertex of G is happy if it has the same color as all its neighbors. The notion of happy vertices was introduced by Zhang and Li to compute the homophily of a graph. Eto, et al. introduced the Maker-Maker version…

Discrete Mathematics · Computer Science 2026-01-13 Mathieu Hilaire , Perig Montfort , Nacim Oijid

Hedonic games model settings in which a set of agents have to be partitioned into groups which we call coalitions. In the enemy aversion model, each agent has friends and enemies, and an agent prefers to be in a coalition with as few…

Computer Science and Game Theory · Computer Science 2025-02-20 Martin Durand , Laurin Erlacher , Johanne Müller Vistisen , Sofia Simola

We study turn-based quantitative games of infinite duration opposing two antagonistic players and played over graphs. This model is widely accepted as providing the adequate framework for formalizing the synthesis question for reactive…

Computer Science and Game Theory · Computer Science 2023-06-22 Pierre Ohlmann

Two new versions of the so-called Maker-Breaker Positional Games are defined by J\'ozsef Beck in [{\em Combinatorica} {\bf 22}(2) (2002) 169--216]. He defines two players, Picker and Chooser. In each round, Picker takes a pair of elements…

Combinatorics · Mathematics 2016-05-19 András Csernenszky , Ryan R. Martin , András Pluhár

The sequential allocation protocol is a simple and popular mechanism to allocate indivisible goods, in which the agents take turns to pick the items according to a predefined sequence. While this protocol is not strategy-proof, it has been…

Computer Science and Game Theory · Computer Science 2019-11-27 Michele Flammini , Hugo Gilbert

We study the parameterized complexity of interdiction problems in graphs. For an optimization problem on graphs, one can formulate an interdiction problem as a game consisting of two players, namely, an interdictor and an evader, who…

Computational Complexity · Computer Science 2014-01-14 Jiong Guo , Yash Raj Shrestha

We introduce a general framework for positional games in which players score points by claiming a prescribed portion of each winning set, extending the notion of scoring Maker-Breaker games. In the scoring variant, Maker gains a point by…

Discrete Mathematics · Computer Science 2026-03-06 Eric Duchêne , Valentin Gledel , Miloš Stojaković