English
Related papers

Related papers: A PSPACE-complete Graph Nim

200 papers

We describe two constructions of (very) dense graphs which are edge disjoint unions of large {\em induced} matchings. The first construction exhibits graphs on $N$ vertices with ${N \choose 2}-o(N^2)$ edges, which can be decomposed into…

Combinatorics · Mathematics 2011-11-09 Noga Alon , Ankur Moitra , Benny Sudakov

Motivated by the controller placement problems in software-defined networks and the fair division principles of classical "cake cutting", we investigate the following two-player zero-sum game. In our model, a defender places a limited…

Computational Complexity · Computer Science 2026-05-19 Grzegorz Gutowski , Konstanty Junosza-Szaniawski , Antonio Lauerbach , Alexander Wolff

In this article, we propose a new type of square matrix associated with an undirected graph by trading off the naturally imbedded symmetry in them. The proposed matrix is defined using the neighbourhood sets of the vertices. It is called as…

Discrete Mathematics · Computer Science 2019-03-14 Sivakumar Karunakaran , Lavanya Selvaganesh

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 study the following combinatorial game played by two players, Alice and Bob, which generalizes the Pizza game considered by Brown, Winkler and others. Given a connected graph G with nonnegative weights assigned to its vertices, the…

Discrete Mathematics · Computer Science 2013-08-07 Josef Cibulka , Jan Kynčl , Viola Mészáros , Rudolf Stolař , Pavel Valtr

Online computation is a concept to model uncertainty where not all information on a problem instance is known in advance. An online algorithm receives requests which reveal the instance piecewise and has to respond with irrevocable…

Computational Complexity · Computer Science 2023-11-28 Janosch Fuchs , Christoph Grüne , Tom Janßen

Very recently, a long-standing open question proposed by Bodlaender in 1991 was answered: the graph coloring game is PSPACE-complete. In 2019, Andres and Lock proposed five variants of the graph coloring game and left open the question of…

Discrete Mathematics · Computer Science 2019-12-03 Thiago Marcilon , Nicolas Martins , Rudini Sampaio

Graph similarity computation is one of the core operations in many graph-based applications, such as graph similarity search, graph database analysis, graph clustering, etc. Since computing the exact distance/similarity between two graphs…

Machine Learning · Computer Science 2021-05-18 Yunsheng Bai , Hao Ding , Yizhou Sun , Wei Wang

Snake is a classic computer game, which has been around for decades. Based on this game, we study the game of Snake on arbitrary undirected graphs. A snake forms a simple path that has to move to an apple while avoiding colliding with…

Discrete Mathematics · Computer Science 2025-06-27 Denise Graafsma , Bodo Manthey , Alexander Skopalik

In this paper we will be introducing a type of game which as far as this author is aware has never been studied before. These are games where there are two players, one who is trying to get one of his pieces, called a King to a predefined…

Combinatorics · Mathematics 2012-09-07 Fraser Stewart

Numerous popular abstract strategy games ranging from Hex and Havannah to Lines of Action belong to the class of connection games. Still, very few complexity results on such games have been obtained since Hex was proved PSPACE-complete in…

Computational Complexity · Computer Science 2014-03-27 Edouard Bonnet , Florian Jamain , Abdallah Saffidine

A \emph{complete geometric graph} consists of a set $P$ of $n$ points in the plane, in general position, and all segments (edges) connecting them. It is a well known question of Bose, Hurtado, Rivera-Campo, and Wood, whether there exists a…

Combinatorics · Mathematics 2024-08-21 Adrian Dumitrescu , János Pach

Without further ado, we present the P_3-game. The P_3-game is decidable for elementary classes of graphs such as paths and cycles. From an algorithmic point of view, the connected P_3-game is fascinating. We show that the connected P_3-game…

Discrete Mathematics · Computer Science 2016-08-19 Wing-Kai Hon , Ton Kloks , Fu-Hong Liu , Hsiang-Hsuan Liu , Tao-Ming Wang

By resorting to the vector space structure of finite games, skew-symmetric games (SSGs) are proposed and investigated as a natural subspace of finite games. First of all, for two player games, it is shown that the skew-symmetric games form…

Computer Science and Game Theory · Computer Science 2017-12-11 Yaqi Hao , Daizhan Cheng

We consider the problem of reconstructing an undirected graph $G$ on $n$ vertices given multiple random noisy subgraphs or "traces". Specifically, a trace is generated by sampling each vertex with probability $p_v$, then taking the…

Information Theory · Computer Science 2025-08-01 Andrew McGregor , Rik Sengupta

We provide a complete characterization for the computational complexity of finding approximate equilibria in two-action graphical games. We consider the two most well-studied approximation notions: $\varepsilon$-Nash equilibria…

Computer Science and Game Theory · Computer Science 2022-10-03 Argyrios Deligkas , John Fearnley , Alexandros Hollender , Themistoklis Melissourgos

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

Amazons is a board game which combines elements of Chess and Go. It has become popular in recent years, and has served as a useful platform for both game-theoretic study and AI games research. Buro showed that simple Amazons endgames are…

Computational Complexity · Computer Science 2007-05-23 Robert A. Hearn

A graph class is hereditary if it is closed under vertex deletion. We give examples of NP-hard, PSPACE-complete and NEXPTIME-complete problems that become constant-time solvable for every hereditary graph class that is not equal to the…

Computational Complexity · Computer Science 2021-08-06 Barnaby Martin , Daniël Paulusma , Siani Smith

The UNIQUE GAMES problem is a central problem in algorithms and complexity theory. Given an instance of UNIQUE GAMES, the STRONG UNIQUE GAMES problem asks to find the largest subset of vertices, such that the UNIQUE GAMES instance induced…

Data Structures and Algorithms · Computer Science 2020-05-19 Suprovat Ghoshal , Anand Louis