English
Related papers

Related papers: Solving the Rubik's Cube Optimally is NP-complete

200 papers

In this paper we present a novel quantum algorithm, namely the quantum grid search algorithm, to solve a special search problem. Suppose $ k $ non-empty buckets are given, such that each bucket contains some marked and some unmarked items.…

Quantum Physics · Physics 2019-09-11 Alok Shukla , Prakash Vedula

We obtain sharp bounds for the number of n-cycles in a finite graph as a function of the number of edges, and prove that the complete graph is optimal in more ways than could be imagined. En route, we prove some sharp estimates on power…

Combinatorics · Mathematics 2007-05-23 Igor Rivin

We resolve the longstanding open problem concerning the computational complexity of Max Cut on interval graphs by showing that it is NP-complete.

Computational Complexity · Computer Science 2021-04-01 Ranendu Adhikary , Kaustav Bose , Satwik Mukherjee , Bodhayan Roy

Although, the Hamiltonicity of solid grid graphs are polynomial-time decidable, the complexity of the longest cycle problem in these graphs is still open. In this paper, by presenting a linear-time constant-factor approximation algorithm,…

Data Structures and Algorithms · Computer Science 2015-02-26 Asghar Asgharian Sardroud , Alireza Bagheri

Consider $n^2-1$ unit-square blocks in an $n \times n$ square board, where each block is labeled as movable horizontally (only), movable vertically (only), or immovable -- a variation of Rush Hour with only $1 \times 1$ cars and fixed…

Computational Complexity · Computer Science 2020-05-05 Josh Brunner , Lily Chung , Erik D. Demaine , Dylan Hendrickson , Adam Hesterberg , Adam Suhl , Avi Zeff

In this paper, we investigate Hamiltonian path problem in the context of split graphs, and produce a dichotomy result on the complexity of the problem. Our main result is a deep investigation of the structure of $K_{1,4}$-free split graphs…

Discrete Mathematics · Computer Science 2017-11-28 P. Renjith , N. Sadagopan

Let $G$ be a graph having a vertex $v$ such that $H = G - v$ is a trivially perfect graph. We give a polynomial-time algorithm for the problem of deciding whether it is possible to add at most $k$ edges to $G$ to obtain a trivially perfect…

Combinatorics · Mathematics 2022-04-15 Mitre C. Dourado , Luciano N. Grippo , Mario Valencia-Pabon

Proximity graphs have been studied for several decades, motivated by applications in computational geometry, geography, data mining, and many other fields. However, the computational complexity of classic graph problems on proximity graphs…

Computational Complexity · Computer Science 2021-07-12 Pascal Kunz , Till Fluschnik , Rolf Niedermeier , Malte Renken

Let $\mathbf{k} := (k_1,\dots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\mathbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges…

Combinatorics · Mathematics 2017-10-11 Oleg Pikhurko , Katherine Staden , Zelealem B. Yilma

The "Subset Sum problem" is a very well-known NP-complete problem. In this work, a top-k variation of the "Subset Sum problem" is considered. This problem has wide application in recommendation systems, where instead of k best objects the k…

Data Structures and Algorithms · Computer Science 2021-08-27 Biswajit Sanyal , Subhashis Majumder , Priya Ranjan Sinha Mahapatra

A graph H is a square root of a graph G if G can be obtained from H by adding an edge between any two vertices in H that are of distance 2. The Square Root problem is that of deciding whether a given graph admits a square root. This problem…

Data Structures and Algorithms · Computer Science 2016-08-30 Manfred Cochefert , Jean-François Couturier , Petr A. Golovach , Dieter Kratsch , Daniël Paulusma , Anthony Stewart

We prove the computational intractability of rotating and placing $n$ square tiles into a $1 \times n$ array such that adjacent tiles are compatible--either equal edge colors, as in edge-matching puzzles, or matching tab/pocket shapes, as…

Computational Complexity · Computer Science 2017-01-03 Jeffrey Bosboom , Erik D. Demaine , Martin L. Demaine , Adam Hesterberg , Pasin Manurangsi , Anak Yodpinyanee

How many moves does it take to solve Rubik's Cube? Positions are known that require 20 moves, and it has already been shown that there are no positions that require 27 or more moves; this is a surprisingly large gap. This paper describes a…

Symbolic Computation · Computer Science 2008-03-25 Tomas Rokicki

We present a quantum algorithm that has rigorous runtime guarantees for several families of binary optimization problems, including Quadratic Unconstrained Binary Optimization (QUBO), Ising spin glasses ($p$-spin model), and $k$-local…

Determining if an input undirected graph is Hamiltonian, i.e., if it has a cycle that visits every vertex exactly once, is one of the most famous NP-complete problems. We consider the following generalization of Hamiltonian cycles: for a…

Data Structures and Algorithms · Computer Science 2026-05-06 Antoine Amarilli , Arthur Lombardo , Mikaël Monet

We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…

Optimization and Control · Mathematics 2022-04-15 Daniel Bienstock , Alberto del Pia , Robert Hildebrand

The Fibonacci cube of dimension n, denoted as $\Gamma$ n , is the subgraph of the n-cube 5 Q n induced by vertices with no consecutive 1's. Ashrafi and his co-authors proved the non-existence of perfect codes in $\Gamma$ n for n $\ge$ 4. As…

Combinatorics · Mathematics 2020-04-23 Michel Mollard

We present fully polynomial-time (deterministic or randomised) approximation schemes for Holant problems, defined by a non-negative constraint function satisfying a generalised second order recurrence modulo a couple of exceptional cases.…

Data Structures and Algorithms · Computer Science 2018-08-07 Heng Guo , Chao Liao , Pinyan Lu , Chihao Zhang

The Traveling Salesman Problem is one of the best studied NP-hard problems in combinatorial optimization. Powerful methods have been developed over the last 60 years to find optimum solutions to large TSP instances. The largest TSP instance…

Discrete Mathematics · Computer Science 2014-03-03 Stefan Hougardy , Rasmus T. Schroeder

The diameter of the Cayley graph of the Rubik's Cube group is the fewest number of turns needed to solve the Cube from the hardest initial configuration. For the 2$\times$2$\times$2 Cube, the diameter is 11 in the half-turn metric, 14 in…

Discrete Mathematics · Computer Science 2024-10-02 So Hirata