English
Related papers

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

200 papers

Let $S=\{K_{1,3},K_3,P_4\}$ be the set of connected graphs of size 3. We study the problem of partitioning the edge set of a graph $G$ into graphs taken from any non-empty $S'\subseteq S$. The problem is known to be NP-complete for any…

Data Structures and Algorithms · Computer Science 2022-08-29 Laurent Bulteau , Guillaume Fertin , Anthony Labarre , Romeo Rizzi , Irena Rusu

We show that every cubic bridgeless graph with n vertices has at least 3n/4-10 perfect matchings. This is the first bound that differs by more than a constant from the maximal dimension of the perfect matching polytope.

Combinatorics · Mathematics 2015-09-28 Louis Esperet , Daniel Kral , Petr Skoda , Riste Skrekovski

For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show…

Combinatorics · Mathematics 2016-08-22 Matthew Jenssen , Jozef Skokan

The maximum stable set problem is a well-known NP-hard problem in combinatorial optimization, which can be formulated as the maximization of a quadratic square-free polynomial over the (Boolean) hypercube. We investigate a hierarchy of…

Optimization and Control · Mathematics 2013-10-11 Monique Laurent , Zhao Sun

The Number Partitioning Problem (NPP) is one of the NP-complete computational problems. Its definite exact solution generally requires a check of all $N$ solution candidates, which is exponentially large. Here we describe a path to the fast…

Quantum Physics · Physics 2023-08-23 Nikolai A. Sinitsyn , Bin Yan

We present a near-linear-time algorithm that, given a bridgeless cubic graph, finds a perfect matching intersecting every 3-edge-cut in exactly one edge. This improves over a cubic algorithm of Boyd et al. for the same problem, and over our…

Data Structures and Algorithms · Computer Science 2026-05-04 Babak Ghanbari , Robert Šámal

In this paper we consider the following total functional problem: Given a cubic Hamiltonian graph $G$ and a Hamiltonian cycle $C_0$ of $G$, how can we compute a second Hamiltonian cycle $C_1 \neq C_0$ of $G$? Cedric Smith proved in 1946,…

Data Structures and Algorithms · Computer Science 2020-08-11 Argyrios Deligkas , George B. Mertzios , Paul G. Spirakis , Viktor Zamaraev

Given a set $P$ of $n$ points in the plane, the unit-disk graph $G(P)$ is a graph with $P$ as its vertex set such that two points of $P$ have an edge if their Euclidean distance is at most $1$. We consider the problem of computing a maximum…

Computational Geometry · Computer Science 2025-06-30 Anastasiia Tkachenko , Haitao Wang

A complete graph is the graph in which every two vertices are adjacent. For a graph $G=(V,E)$, the complete width of $G$ is the minimum $k$ such that there exist $k$ independent sets $\mathtt{N}_i\subseteq V$, $1\le i\le k$, such that the…

Discrete Mathematics · Computer Science 2016-12-28 Van Bang Le , Sheng-Lung Peng

We construct an explicit Hamiltonian cycle in the state graph of the 5-puzzle on a toroidal 2x 3 grid, a graph with 720 vertices. The cycle is described by a short symbolic sequence of 48 moves over the alphabet {L,R,V}, repeated $15$…

Combinatorics · Mathematics 2025-11-17 Taizo Sadahiro

For a set of n points in the plane, we consider the axis--aligned (p,k)-Box Covering problem: Find p axis-aligned, pairwise-disjoint boxes that together contain n-k points. In this paper, we consider the boxes to be either squares or…

Computational Geometry · Computer Science 2010-07-28 Hee-Kap Ahn , Sang Won Bae , Erik D. Demaine , Martin L. Demaine , Sang-Sub Kim , Matias Korman , Iris Reinbacher , Wanbin Son

In a seminal paper on finding large matchings in sparse random graphs, Karp and Sipser proposed two algorithms for this task. The second algorithm has been intensely studied, but due to technical difficulties, the first algorithm has…

Combinatorics · Mathematics 2018-11-14 Michael Anastos , Alan Frieze

We derive the Cardano formula of cubic equations by completing the cube, and provide radical solutions to some algebraic equations of higher degree by completing powers. The main idea of completing powers arises from Harrison's center…

Number Theory · Mathematics 2024-03-14 Hua-Lin Huang , Shengyuan Ruan , Xiaodan Xu , Yu Ye

With the evolution of quantum computing, researchers now-a-days tend to incline to find solutions to NP-complete problems by using quantum algorithms in order to gain asymptotic advantage. In this paper, we solve $k$-coloring problem…

Emerging Technologies · Computer Science 2022-02-23 Amit Saha , Debasri Saha , Amlan Chakrabarti

We study the generalization of the game Lights Out in which the standard square grid board is replaced by a graph. We examine the probability that, when a graph is chosen uniformly at random from the set of graphs with $n$ vertices and $e$…

Combinatorics · Mathematics 2025-08-14 Bradley Forrest , Riya Goyal

We describe a hybrid procedure for solving the traveling salesman problem (TSP) to provable optimality. We first sparsify the instance, and then use a hybrid algorithm that combines a branch-and-cut TSP solver with a Hamiltonian cycle…

Data Structures and Algorithms · Computer Science 2017-05-22 Vladimir Ejov , Michael Haythorpe , Serguei Rossomakhine

The problem of deciding if a Traveling Salesman Problem (TSP) tour is minimal was proved to be coNP-complete by Papadimitriou and Steiglitz. We give an alternative proof based on a polynomial time reduction from 3SAT. Like the original…

Computational Complexity · Computer Science 2014-03-24 Marzio De Biasi

Deciding whether a graph can be embedded in a grid using only unit-length edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a number of graph classes for which the problem is polynomial, even…

Data Structures and Algorithms · Computer Science 2012-04-13 Vinícius G. P. de Sá , Guilherme D. da Fonseca , Raphael Machado , Celina M. H. de Figueiredo

In this note, we study the emergence of Hamiltonian Berge cycles in random $r$-uniform hypergraphs. For $r\geq 3$, we prove an optimal stopping-time result that if edges are sequently added to an initially empty $r$-graph, then as soon as…

Combinatorics · Mathematics 2021-07-01 Deepak Bal , Ross Berkowitz , Pat Devlin , Mathias Schacht

The balanced hypercube, $BH_n$, is a variant of hypercube $Q_n$. Zhou et al. [Inform. Sci. 300 (2015) 20-27] proposed an interesting problem that whether there is a fault-free Hamiltonian cycle in $BH_n$ with each vertex incident to at…

Combinatorics · Mathematics 2017-01-13 Pingshan Li , Min Xu