English
Related papers

Related papers: Nondango is NP-Complete

200 papers

A structure $\mathcal{A}=\left(A;E_i\right)_{i\in n}$ where each $E_i$ is an equivalence relation on $A$ is called an $n$-grid if any two equivalence classes coming from distinct $E_i$'s intersect in a finite set. A function $\chi: A \to n$…

Logic · Mathematics 2014-09-19 Ramiro de la Vega

A necklace can be considered as a cyclic list of $n$ red and $n$ blue beads in an arbitrary order, and the goal is to fold it into two and find a large cross-free matching of pairs of beads of different colors. We give a counterexample for…

Combinatorics · Mathematics 2020-05-27 Endre Csóka , Zoltán L. Blázsik , Zoltán Király , Dániel Lenger

0-1 Knapsack is a fundamental NP-complete problem. In this article we prove that it remains NP-complete even when the weights of the objects in the packing constraints and their values in the objective function satisfy specific stringent…

Computational Complexity · Computer Science 2009-10-15 Chinmay Karande

We examine the effect of bounding the diameter for well-studied variants of the Colouring problem. A colouring is acyclic, star, or injective if any two colour classes induce a forest, star forest or disjoint union of vertices and edges,…

Data Structures and Algorithms · Computer Science 2021-09-09 Christoph Brause , Petr Golovach , Barnaby Martin , Pascal Ochem , Daniël Paulusma , Siani Smith

The foldings of a connected graph $G$ are defined as follows. First, $G$ is a folding of itself. Let $G'$ be a graph obtained from $G$ by identifying two vertices at distance 2 in $G$. Then every folding of $G'$ is a folding of $G$. The…

Combinatorics · Mathematics 2008-02-25 David R. Wood

A colouring of the edges of an $n \times n$ grid is said to be \emph{reconstructible} if the colouring is uniquely determined by the multiset of its $n^2$ \emph{tiles}, where the tile corresponding to a vertex of the grid specifies the…

Combinatorics · Mathematics 2017-07-18 Paul Balister , Béla Bollobás , Bhargav Narayanan

The list coloring problem is a variation of the classical vertex coloring problem, extensively studied in recent years, where each vertex has a restricted list of allowed colors, and having some variations as the $(\gamma,\mu)$-coloring,…

Computational Complexity · Computer Science 2019-01-01 Simone Gama , Rosiane de Freitas , Mário Salvatierra

We introduce the game INFLUENCE, a scoring combinatorial game, played on a directed graph where each vertex is either colored black or white. The two players, Black and White play alternately by taking a vertex of their color and all its…

Combinatorics · Mathematics 2020-05-27 Eric Duchêne , Stéphane Gonzalez , Aline Parreau , Eric Rémila , Philippe Solal

Game coloring is a well-studied two-player game in which each player properly colors one vertex of a graph at a time until all the vertices are colored. An `eternal' version of game coloring is introduced in this paper in which the vertices…

Combinatorics · Mathematics 2019-04-17 William Klostermeyer , Hannah Mendoza

In the "Game about Squares" the task is to push unit squares on an integer lattice onto corresponding dots. A square can only be moved into one given direction. When a square is pushed onto a lattice point with an arrow the direction of the…

Computational Complexity · Computer Science 2014-08-21 Jens Maßberg

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

We prove that it is NP-complete to determine whether there exists a distance-2 edge coloring (strong edge coloring) with 5 colors of a bipartite 2-inductive graph with girth 6 and maximum degree 3.

Discrete Mathematics · Computer Science 2007-05-23 Jeff Erickson , Shripad Thite , David P. Bunde

Many of the famous single-player games, commonly called puzzles, can be shown to be NP-Complete. Indeed, this class of complexity contains hundreds of puzzles, since people particularly appreciate completing an intractable puzzle, such as…

Artificial Intelligence · Computer Science 2019-07-02 Cédric Piette , Éric Piette , Matthew Stephenson , Dennis J. N. J. Soemers , Cameron Browne

It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.

Complex Variables · Mathematics 2014-09-03 Alvaro Bustinduy , Luis Giraldo

This paper deals with a generalized Sudoku problem and investigates the unicity of a given solution. We introduce constraint sets, which is a generalization of the rows, columns and blocks of a classical Sudoku puzzle. The unicity property…

Combinatorics · Mathematics 2014-10-03 Thomas Fischer

We study compositions whose parts are colored by subsequences of the Fibonacci numbers. We give explicit bijections between Fibonacci colored compositions and several combinatorial objects, including certain restricted ternary and…

Combinatorics · Mathematics 2022-03-15 Juan B. Gil , Jessica A. Tomasko

Let $X,Y$ be finite sets, $r,s,h, \lambda \in \mathbb{N}$ with $s\geq r, X\subsetneq Y$. By $\lambda \binom{X}{h}$ we mean the collection of all $h$-subsets of $X$ where each subset occurs $\lambda$ times. A coloring of…

Combinatorics · Mathematics 2020-09-23 Amin Bahmanian , Sadegheh Haghshenas

We introduce a new decision problem, called Packed Interval Covering (PIC) and show that it is NP-complete.

Computational Complexity · Computer Science 2019-06-11 Abdallah Saffidine , Sébastien Lê Cong , Sophie Pinchinat , François Schwarzentruber

To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggregated according to a voting protocol. However, in realistic settings,…

Computational Complexity · Computer Science 2010-05-03 Nadja Betzler , Britta Dorn

We prove that a particular pushing-blocks puzzle is intractable in 2D, improving an earlier result that established intractability in 3D [OS99]. The puzzle, inspired by the game *PushPush*, consists of unit square blocks on an integer…

Computational Geometry · Computer Science 2007-05-23 Erik D. Demaine , Martin L. Demaine , Joseph O'Rourke