English
Related papers

Related papers: Double Choco is NP-complete

200 papers

In this paper, we prove that optimally solving an $n \times n \times n$ Rubik's Cube is NP-complete by reducing from the Hamiltonian Cycle problem in square grid graphs. This improves the previous result that optimally solving an $n \times…

Computational Complexity · Computer Science 2018-04-30 Erik D. Demaine , Sarah Eisenstat , Mikhail Rudoy

The rook graph is a graph whose edges represent all the possible legal moves of the rook chess piece on a chessboard. The problem we consider is the following. Given any set $M$ containing pairs of cells such that each cell of the $m_1…

Combinatorics · Mathematics 2025-07-08 Marién Abreu , John Baptist Gauci , Jean Paul Zerafa

Indexing a set of strings for prefix search or membership queries is a fundamental task with many applications such as information retrieval or database systems. A classic abstract data type for modelling such an index is a trie. Due to the…

Data Structures and Algorithms · Computer Science 2024-03-11 Hideo Bannai , Keisuke Goto , Shunsuke Kanda , Dominik Köppl

We define and give results on the game NecklaceNim NN($n$,$k$) which is PathNim PN($n$,$k$) with an additional move allowed on the end vertices. This game arises as a sub-game in the context of solving CircularNim CN($n$,$k$) when $k-2$…

Combinatorics · Mathematics 2026-04-14 Balaji R. Kadam , Silvia Heubach , Matthieu Dufour

In a polyomino set (1,2)-achievement game the maker and the breaker alternately mark one and two previously unmarked cells respectively. The maker's goal is to mark a set of cells congruent to one of a given set of polyominoes. The breaker…

Combinatorics · Mathematics 2015-03-17 Edgar Fisher , Nandor Sieben

Given an $r$-edge-colouring of the edges of a graph $G$, we say that it can be partitioned into $p$ monochromatic cycles when there exists a set of $p$ vertex-disjoint monochromatic cycles covering all the vertices of $G$. In the literature…

Combinatorics · Mathematics 2025-06-05 Fabrício Siqueira Benevides , Arthur Lima Quintino , Alexandre Talon

We prove that Strings-and-Coins -- the combinatorial two-player game generalizing the dual of Dots-and-Boxes -- is strongly PSPACE-complete on multigraphs. This result improves the best previous result, NP-hardness, argued in Winning Ways.…

Computational Complexity · Computer Science 2023-10-27 Erik D. Demaine , Jenny Diomidova

The author presents two tricks to accelerate depth-first search algorithms for a class of combinatorial puzzle problems, such as tiling a tray by a fixed set of polyominoes. The first trick is to implement each assumption of the search with…

Data Structures and Algorithms · Computer Science 2009-09-25 Donald E. Knuth

Assume that $R_1,R_2,\dots,R_t$ are disjoint parallel lines in the plane. A $t$-interval (or $t$-track interval) is a set that can be written as the union of $t$ closed intervals, each on a different line. It is known that pairwise…

Combinatorics · Mathematics 2024-08-09 János Barát , András Gyárfás , Gábor N. Sárközy

We present and analyze PackIt!, a turn-based game consisting of packing rectangles on an $n \times n$ grid. PackIt! can be easily played on paper, either as a competitive two-player game or in \emph{solitaire} fashion. On the $t$-th turn, a…

Combinatorics · Mathematics 2024-05-17 Thomas Garrison , Marijn J. H. Heule , Bernardo Subercaseaux

We investigate the complexity of a puzzle that turns out to be NL-complete.

Computational Complexity · Computer Science 2015-07-13 Holger Petersen

We study a game puzzle that has enjoyed recent popularity among mathematicians, computer scientist, coding theorists and even the mass press. In the game, $n$ players are fitted with randomly assigned colored hats. Individual players can…

Information Theory · Computer Science 2007-07-16 Hendrik W. Lenstra , Gadiel Seroussi

The Game of Cycles, introduced by Su (2020), is played on a simple connected planar graph together with its bounded cells, and players take turns marking edges with arrows according to a sink-source rule that gives the game a topological…

In a typical regular expression (regex) crossword puzzle, you are given two nonempty lists $R_1,\ldots,R_m$ and $C_1,\ldots,C_n$ of regular expressions over some alphabet, and your goal is to fill in an $m\times n$ grid with letters from…

Computational Complexity · Computer Science 2014-12-01 Stephen A. Fenner

For a simple graph $G$, denote by $n$, $\Delta(G)$, and $\chi'(G)$ its order, maximum degree, and chromatic index, respectively. A connected class 2 graph $G$ is edge-chromatic critical if $\chi'(G-e)<\Delta(G)+1$ for every edge $e$ of $G$.…

Combinatorics · Mathematics 2021-03-10 Yan Cao , Guantao Chen , Songling Shan

Hashiwokakero, or simply Hashi, is a Japanese single-player puzzle played on a rectangular grid with no standard size. Some cells of the grid contain a circle, called island, with a number inside it ranging from one to eight. The remaining…

Discrete Mathematics · Computer Science 2019-05-06 Leandro C. Coelho , Gilbert Laporte , Arinei Lindbeck , Thibaut Vidal

We study a two-person game played on graphs based on the widely studied chip-firing game. Players Max and Min alternately place chips on the vertices of a graph. When a vertex accumulates as many chips as its degree, it fires, sending one…

Combinatorics · Mathematics 2013-05-09 A. Bonato , W. Kinnersley , P. Pralat

Nonogram is a popular combinatorial puzzle (similar in nature to Sudoku or Minesweeper) in which a puzzle solver must determine if there exists a setting of the puzzle parameters that satisfy a given set of constraints. It has long been…

Computational Complexity · Computer Science 2025-09-12 Aaron Foote , Danny Krizanc

We investigate games played between Maker and Breaker on an infinite complete graph whose vertices are coloured with colours from a given set, each colour appearing infinitely often. The players alternately claim edges, Makers aim being to…

Combinatorics · Mathematics 2023-04-26 Nathan Bowler , Marit Emde , Florian Gut

A graph G is dually chordal if there is a spanning tree T of G such that any maximal clique of G induces a subtree in T. This paper investigates the Colourability problem on dually chordal graphs. It will show that it is NP-complete in case…

Discrete Mathematics · Computer Science 2012-11-14 Arne Leitert
‹ Prev 1 3 4 5 6 7 10 Next ›