English
Related papers

Related papers: NP-Completeness of Hamiltonian Cycle Problem on Ro…

200 papers

This paper shows NP-completeness for finding Hamiltonian cycles in induced subgraphs of the dual graphs of semi-regular tessilations. It also shows NP-hardness for a new, wide class of graphs called augmented square grids. This work follows…

Computational Complexity · Computer Science 2019-10-01 Divya Gopinath , Rohan Kodialam , Kevin Lu , Jayson Lynch , Santiago Ospina

Graph packing and partitioning problems have been studied in many contexts, including from the algorithmic complexity perspective. Consider the packing problem of determining whether a graph contains a spanning tree and a cycle that do not…

Combinatorics · Mathematics 2014-09-09 Jed Yang

Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a…

Discrete Mathematics · Computer Science 2019-05-07 Fatemeh Keshavarz-Kohjerdi , Ruo-Wei Hung

As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion…

Combinatorics · Mathematics 2014-05-26 Daniela Kühn , Deryk Osthus

For a connected graph, a path containing all vertices is known as \emph{Hamiltonian path}. For general graphs, there is no known necessary and sufficient condition for the existence of Hamiltonian paths and the complexity of finding a…

Discrete Mathematics · Computer Science 2016-07-21 P. Renjith , N. Sadagopan

We study the following generalization of the Hamiltonian cycle problem: Given integers $a,b$ and graph $G$, does there exist a closed walk in $G$ that visits every vertex at least $a$ times and at most $b$ times? Equivalently, does there…

Computational Complexity · Computer Science 2024-05-28 Brian Liu , Nathan S. Sheffield , Alek Westover

The Hamiltonian cycle problem in digraph is mapped into a matching cover bipartite graph. Based on this mapping, it is proved that determining existence a Hamiltonian cycle in graph is $O(n^3)$.

Data Structures and Algorithms · Computer Science 2007-06-20 Guohun Zhu

We study the Hamiltonian path problem in C-shaped grid graphs, and present the necessary and sufficient conditions for the existence of a Hamiltonian path between two given vertices in these graphs. We also give a linear-time algorithm for…

Computational Complexity · Computer Science 2016-02-25 Fatemeh Keshavarz-Kohjerdi , Alireza Bagheri

A graph is Hamiltonian if it contains a cycle which goes through all vertices exactly once. Determining if a graph is Hamiltonian is known as a NP-complete problem and no satisfactory characterization for these graphs has been found. In…

Combinatorics · Mathematics 2013-08-29 Thierry Vallee

The Hamiltonian cycle polynomial can be evaluated to count the number of Hamiltonian cycles in a graph. It can also be viewed as a list of all spanning cycles of length $n$. We adopt the latter perspective and present a pair of original…

Combinatorics · Mathematics 2025-10-06 Hamilton Sawczuk , Edinah Gnang

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

Computational Complexity · Computer Science 2012-01-18 Sepp Hartung , André Nichterlein

We prove that Hamiltonian Path and Hamiltonian Cycle are NP-hard on graphs of linear mim-width 26, even when a linear order of the input graph with mim-width 26 is provided together with input. This fills a gap left by a broken proof of the…

Computational Complexity · Computer Science 2025-10-13 Benjamin Bergougnoux , Lars Jaffke

Counting the number of Hamiltonian cycles that are contained in a geometric graph is {\bf \#P}-complete even if the graph is known to be planar \cite{lot:refer}. A relaxation for problems in plane geometric graphs is to allow the geometric…

Combinatorics · Mathematics 2017-07-17 Hazim Michman Trao

An st-path is a path with the end-vertices s and t. An s-path is a path with an end-vertex s. The results of this paper include necessary and sufficient conditions for a {claw, net}-free graph G with given two different vertices s, t and an…

Combinatorics · Mathematics 2007-05-23 Alexander Kelmans

Let $\mathcal{G}(k)$ denote the set of connected $k$-regular graphs $G$, $k\geq2$, where the number of vertices at distance 2 from any vertex in $G$ does not exceed $k$. Asratian (2006) showed (using other terminology) that a graph…

Combinatorics · Mathematics 2021-07-16 Armen S. Asratian , Jonas B. Granholm

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

It was shown by Beisegel, Chudnovsky, Gurvich, Milani\v{c}, and Servatius in 2022 that every induced $2$-edge path in a vertex-transitive graph closes to an induced cycle. Similar results were obtained for 3-edge paths closing to cycles in…

Combinatorics · Mathematics 2025-10-08 Martin Milanič , Đorđe Mitrović

It is a longstanding conjecture that every simple drawing of a complete graph on $n \geq 3$ vertices contains a crossing-free Hamiltonian cycle. We strengthen this conjecture to "there exists a crossing-free Hamiltonian path between each…

Combinatorics · Mathematics 2024-03-05 Oswin Aichholzer , Joachim Orthaber , Birgit Vogtenhuber

In this paper we propose a new approach for developing a proof that P=NP. We propose to use a polynomial-time reduction of a NP-complete problem to Linear Programming. Earlier such attempts used polynomial-time transformation which is a…

Computational Complexity · Computer Science 2023-02-20 Malay Dutta , Anjana K. Mahanta

We prove that for every $\varepsilon > 0$ there exists $n_0=n_0(\varepsilon)$ such that every regular oriented graph on $n > n_0$ vertices and degree at least $(1/4 + \varepsilon)n$ has a Hamilton cycle. This establishes an approximate…

Combinatorics · Mathematics 2023-09-15 Allan Lo , Viresh Patel , Mehmet Akif Yıldız