English
Related papers

Related papers: Double Choco is NP-complete

200 papers

Bloxorz is an online puzzle game where players move a 1 by 1 by 2 block by tilting it on a subset of the two dimensional grid. Bloxorz features switches that open and close trapdoors. The puzzle is to move the block from its initial…

Computational Complexity · Computer Science 2014-11-24 Tom C. van der Zanden , Hans L. Bodlaender

We prove that playing Candy Crush to achieve a given score in a fixed number of swaps is NP-hard.

Computational Complexity · Computer Science 2014-03-11 Toby Walsh

Let $P$ be a set of $n\geq 4$ points in general position in the plane. Consider all the closed straight line segments with both endpoints in $P$. Suppose that these segments are colored with the rule that disjoint segments receive different…

Combinatorics · Mathematics 2023-06-22 Ruy Fabila-Monroy , Carlos Hidalgo-Toscano , Jesús Leaños , Mario Lomelí-Haro

We present a new game, Dots & Polygons, played on a planar point set. Players take turns connecting two points, and when a player closes a (simple) polygon, the player scores its area. We show that deciding whether the game can be won from…

Computational Geometry · Computer Science 2020-05-27 Kevin Buchin , Mart Hagedoorn , Irina Kostitsyna , Max van Mulken , Jolan Rensen , Leo van Schooten

A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that a colored graph lacks colorful cycles iff it is Gallai, i.e.,…

Combinatorics · Mathematics 2015-09-21 Richard N. Ball , Aleš Pultr , Petr Vojtěchovský

Consider the following one-player game played on an initially empty graph with $n$ vertices. At each stage a randomly selected new edge is added and the player must immediately color the edge with one of $r$ available colors. Her objective…

Combinatorics · Mathematics 2016-03-25 Andreas Noever

Given a tiling of a 2D grid with several types of tiles, we can count for every row and column how many tiles of each type it intersects. These numbers are called the_projections_. We are interested in the problem of reconstructing a tiling…

Computational Complexity · Computer Science 2009-09-25 Marek Chrobak , Peter Couperus , Christoph Durr , Gerhard Woeginger

In this paper we study the complexity of strategic argumentation for dialogue games. A dialogue game is a 2-player game where the parties play arguments. We show how to model dialogue games in a skeptical, non-monotonic formalism, and we…

Logic in Computer Science · Computer Science 2013-12-17 Guido Governatori , Francesco Olivieri , Simone Scannapieco , Antonino Rotolo , Matteo Cristani

We show that single-digit "Nishio" subproblems in nxn Sudoku puzzles may be solved in time o(2^n), faster than previous solutions such as the pattern overlay method. We also show that single-digit deduction in Sudoku is NP-hard.

Data Structures and Algorithms · Computer Science 2012-03-06 David Eppstein

In the past three decades, deductive games have become interesting from the algorithmic point of view. Deductive games are two players zero sum games of imperfect information. The first player, called "codemaker", chooses a secret code and…

Data Structures and Algorithms · Computer Science 2013-03-27 Mourad El Ouali , Volkmar Sauerland

The class of Poset Take-Away games includes many interesting and difficult games. Playing on an $n$-dimensional positive quadrant (the origin being the bottom of the poset) gives rise to nim, wythoff's nim and chomp. These are impartial…

Combinatorics · Mathematics 2023-10-23 Tomoaki Abuku , Hikaru Manabe , Richard J. Nowakowski , Carlos P. Santos , Koki Suetsugu

The generalised Sudoku problem with $N$ symbols is known to be NP-complete, and hence is equivalent to any other NP-complete problem, even for the standard restricted version where $N$ is a perfect square. In particular, generalised Sudoku…

Data Structures and Algorithms · Computer Science 2016-03-10 Michael Haythorpe

We study the two-player game where Maker and Breaker alternately color the edges of a given graph $G$ with $k$ colors such that adjacent edges never get the same color. Maker's goal is to play such that at the end of the game, all edges are…

Combinatorics · Mathematics 2018-02-14 Ralph Keusch

Motivated by Chudnovsky's structure theorem of bull-free graphs, Abu-Khzam, Feghali, and M\"uller have recently proved that deciding if a graph has a vertex partition into disjoint cliques and a triangle-free graph is NP-complete for five…

Discrete Mathematics · Computer Science 2015-12-08 Marin Bougeret , Pascal Ochem

The starting point of this work is an equality between two quantities $A$ and $B$ found in the literature, which involve the {\em doubling-modulo-an-odd-integer} map, i.e., $x\in {\mathbb N} \mapsto 2x \bmod{(2n+1)}$ for some positive…

Number Theory · Mathematics 2025-04-25 Jean-Paul Allouche , Manon Stipulanti , Jia-Yan Yao

Given a set of colored points in the plane, we ask if there exists a crossing-free straight-line drawing of a spanning forest, such that every tree in the forest contains exactly the points of one color class. We show that the problem is…

Computational Geometry · Computer Science 2018-09-11 Philipp Kindermann , Boris Klemz , Ignaz Rutter , Patrick Schnider , André Schulz

Consider the plane as a checkerboard, with each unit square colored black or white in an arbitrary manner. We show that for any such coloring there are straight line segments, of arbitrarily large length, such that the difference of their…

Classical Analysis and ODEs · Mathematics 2007-11-14 Mihail N. Kolountzakis

Given an integer-valued matrix $A$ of dimension $\ell \times k$ and an integer-valued vector $b$ of dimension $\ell$, the Maker-Breaker $(A,b)$-game on a set of integers $X$ is the game where Maker and Breaker take turns claiming previously…

Combinatorics · Mathematics 2018-11-29 Robert Hancock

Let $k$ and $\ell$ be positive integers. A cycle with two blocks $c(k,\ell)$ is an oriented cycle which consists of two internally (vertex) disjoint directed paths of lengths at least $k$ and $\ell$, respectively, from a vertex to another…

Combinatorics · Mathematics 2016-10-20 Ringi Kim , Seog-Jin Kim , Jie Ma , Boram Park

Circular Nim is a two-player impartial combinatorial game consisting of $n$ stacks of tokens placed in a circle. A move consists of choosing $k$ consecutive stacks and taking at least one token from one or more of the stacks. The last…

Combinatorics · Mathematics 2024-04-11 Matthieu Dufour , Silvia Heubach