English
Related papers

Related papers: Forced Capture Hnefatafl

200 papers

We consider the $n\times n$ game of Phutball. It is shown that, given an arbitrary position of stones on the board, it is a PSPACE-hard problem to determine whether the specified player can win the game, regardless of the opponent's choices…

Computer Science and Game Theory · Computer Science 2021-03-05 Dariusz Dereniowski

We study the computational complexity of distance games, a class of combinatorial games played on graphs. A move consists of colouring an uncoloured vertex subject to it not being at certain distances determined by two sets, D and S. D is…

Computational Complexity · Computer Science 2019-02-12 Kyle Burke , Silvia Heubach , Melissa Huggan , Svenja Huntemann

Combinatorial games played between two players, called Spoiler and Duplicator, have often been used to capture syntactic properties of formal logical languages. For instance, the widely used Ehrenfeucht-Fra\"iss\'e (EF) game captures the…

Logic in Computer Science · Computer Science 2025-08-01 Ronald Fagin , Neil Immerman , Phokion Kolaitis , Jonathan Lenchner , Rik Sengupta

Using the notion of visibility representations, our paper establishes a new property of instances of the Nondeterministic Constraint Logic (NCL) problem (a PSPACE-complete problem that is very convenient to prove the PSPACE-hardness of…

Computational Complexity · Computer Science 2023-04-27 Michael C. Chavrimootoo

We prove computational intractability of variants of checkers: (1) deciding whether there is a move that forces the other player to win in one move is NP-complete; (2) checkers where players must always be able to jump on their turn is…

Computational Complexity · Computer Science 2018-06-15 Jeffrey Bosboom , Spencer Congero , Erik D. Demaine , Martin L. Demaine , Jayson Lynch

We study algorithmic complexity of solving subtraction games in a~fixed dimension with a finite difference set. We prove that there exists a game in this class such that any algorithm solving the game runs in exponential time. Also we prove…

Computational Complexity · Computer Science 2020-01-14 Vladimir Gurvich , Michael Vyalyi

In this paper we introduce a new game; in this game there are two players who play as rival pirate gangs. The goal is to gather more treasure than your rival. The game is played on a graph and a player gathers treasure by moving to an…

Combinatorics · Mathematics 2012-09-25 Fraser Stewart

We define a new impartial combinatorial game, Flag Coloring, based on flood filling. We then generalize to a graph game, and find values for many positions on two colors. We demonstrate that the generalized game is PSPACE-complete for two…

Combinatorics · Mathematics 2022-12-22 Kyle Burke , Craig Tennenhouse

Consider QBF, the Quantified Boolean Formula problem, as a combinatorial game ruleset. The problem is rephrased as determining the winner of the game where two opposing players take turns assigning values to boolean variables. In this…

Computational Complexity · Computer Science 2014-12-31 Kyle Burke

The study of the combinatorial game Nim and its variants is rich and varied, but little is known of the game Nim with a Pass. It is Nim, but once per game a player is permitted to skip their turn but this can only be done if a nonempty pile…

Combinatorics · Mathematics 2020-10-22 Emet Hirsch

In this paper, we show that the problem of determining whether one player can force a win in a multiplayer version of the children's card game War is PSPACE-hard. The same reduction shows that a related problem, asking whether a player can…

Computational Complexity · Computer Science 2015-03-11 Jonathan Weed

Generalized Geography is a combinatorial game played on a directed graph. Players take turns moving a token from vertex to vertex, deleting a vertex after moving the token away from it. A player unable to move loses. It is well known that…

Computational Complexity · Computer Science 2021-08-24 Nathan Fox , Carson Geissler

We prove PSPACE-completeness of two classic types of Chess problems when generalized to n-by-n boards. A "retrograde" problem asks whether it is possible for a position to be reached from a natural starting position, i.e., whether the…

Computational Complexity · Computer Science 2020-10-20 Josh Brunner , Erik D. Demaine , Dylan Hendrickson , Julian Wellman

In an Avoider-Enforcer game, we are given a hypergraph. Avoider and Enforcer alternate in claiming an unclaimed vertex, until all the vertices of the hypergraph are claimed. Enforcer wins if Avoider claims all vertices of an edge; Avoider…

Computational Complexity · Computer Science 2022-11-21 Tillmann Miltzow , Miloš Stojaković

Fortification-interdiction games are tri-level adversarial games where two opponents act in succession to protect, disrupt and simply use an infrastructure for a specific purpose. Many such games have been formulated and tackled in the…

Computational Complexity · Computer Science 2025-12-22 Alberto Boggio Tomasaz , Margarida Carvalho , Roberto Cordone , Pierre Hosteins

Variations of the Flip-It game have been applied to model network cyber operations. While Flip-It can accurately express uncertainty and loss of control, it imposes no essential resource constraints for operations. Capture the flag (CTF)…

Cryptography and Security · Computer Science 2024-03-19 Jon Goohs , Georgel Savin , Lucas Starks , Josiah Dykstra , William Casey

A poset game is a two-player game played over a partially ordered set (poset) in which the players alternate choosing an element of the poset, removing it and all elements greater than it. The first player unable to select an element of the…

Computational Complexity · Computer Science 2015-03-20 Daniel Grier

Weighted voting games are a popular class of coalitional games that are widely used to model real-life situations of decision-making. They can be applied, for instance, to analyze legislative processes in parliaments or voting in corporate…

Computer Science and Game Theory · Computer Science 2025-08-20 Joanna Kaczmarek , Jörg Rothe

Weighted voting games are a well-known and useful class of succinctly representable simple games that have many real-world applications, e.g., to model collective decision-making in legislative bodies or shareholder voting. Among the…

Computer Science and Game Theory · Computer Science 2024-08-20 Joanna Kaczmarek , Jörg Rothe

Many studies have shown that humans are "predictably irrational": they do not act in a fully rational way, but their deviations from rational behavior are quite systematic. Our goal is to see the extent to which we can explain and justify…

Computer Science and Game Theory · Computer Science 2023-07-27 Xinming Liu , Joseph Y. Halpern
‹ Prev 1 2 3 10 Next ›