English
Related papers

Related papers: Hamiltonicity is Hard in Thin or Polygonal Grid Gr…

200 papers

We prove that random hypergraphs are asymptotically almost surely resiliently Hamiltonian. Specifically, for any $\gamma>0$ and $k\ge3$, we show that asymptotically almost surely, every subgraph of the binomial random $k$-uniform hypergraph…

Combinatorics · Mathematics 2021-05-11 Peter Allen , Olaf Parczyk , Vincent Pfenninger

This paper investigates the computational complexity of deciding whether the vertices of a graph can be partitioned into a disjoint union of cliques and a triangle-free subgraph. This problem is known to be $\NP$-complete on arbitrary…

Discrete Mathematics · Computer Science 2014-04-10 Carl Feghali , Faisal N. Abu-Khzam , Haiko Müller

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

For all integers $k$ with $k\geq 2$, if $G$ is a balanced $k$-partite graph on $n\geq 3$ vertices with minimum degree at least \[…

Combinatorics · Mathematics 2020-05-28 Louis DeBiasio , Nicholas Spanier

In an $r$-uniform hypergraph on $n$ vertices a tight Hamilton cycle consists of $n$ edges such that there exists a cyclic ordering of the vertices where the edges correspond to consecutive segments of $r$ vertices. We provide a first…

Combinatorics · Mathematics 2021-07-01 Peter Allen , Christoph Koch , Olaf Parczyk , Yury Person

We provide a simple algorithm for constructing Hamiltonian graph cycles (visiting every vertex exactly once) on a set of arbitrarily large finite subgraphs of aperiodic two-dimensional Ammann-Beenker (AB) tilings. Using this result, and the…

Statistical Mechanics · Physics 2024-07-11 Shobhna Singh , Jerome Lloyd , Felix Flicker

We establish a precise characterisation of $4$-uniform hypergraphs with minimum codegree close to $n/2$ which contain a Hamilton $2$-cycle. As an immediate corollary we identify the exact Dirac threshold for Hamilton $2$-cycles in…

Combinatorics · Mathematics 2018-04-27 Frederik Garbe , Richard Mycroft

A graph $G$ is said to be a `set graph' if it admits an acyclic orientation that is also `extensional', in the sense that the out-neighborhoods of its vertices are pairwise distinct. Equivalently, a set graph is the underlying graph of the…

Discrete Mathematics · Computer Science 2015-03-20 Martin Milanič , Romeo Rizzi , Alexandru I. Tomescu

We show that for all $k\geq 4$, $\varepsilon >0$, and $n$ sufficiently large, every $k$-uniform hypergraph on $n$ vertices in which each set of $k-3$ vertices is contained in at least $(5/8 + \varepsilon) \binom{n}{3}$ edges contains a…

Combinatorics · Mathematics 2025-07-31 Richard Lang , Mathias Schacht , Jan Volec

Visibility graph of a simple polygon is a graph with the same vertex set in which there is an edge between a pair of vertices if and only if the segment through them lies completely inside the polygon. Each pair of adjacent vertices on the…

Computational Geometry · Computer Science 2020-02-18 Hossein Boomari Soheila Farokhi

A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have…

Data Structures and Algorithms · Computer Science 2022-04-19 Christoph Brause , Petr Golovach , Barnaby Martin , Daniël Paulusma , Siani Smith

Graphs are widely used to model execution dependencies in applications. In particular, the NP-complete problem of partitioning a graph under constraints receives enormous attention by researchers because of its applicability in…

Data Structures and Algorithms · Computer Science 2017-04-04 Orlando Moreira , Merten Popp , Christian Schulz

A graph $ G $ is called $ t $-tough if $ \left|S\right|\geq t\cdot w\left(G-S\right)$ for every cutset $ S $ of $G$. Chv\'atal conjectured that there exists a constant $ t_{0} $ such that every $ t_{0} $-tough graph has a hamiltonian cycle.…

Combinatorics · Mathematics 2025-07-04 Hui Ma , Lili Hao , Weihua Yang

The subdivided double construction on 4-regular graphs was used by Poto\v{c}nik and Wilson to explore semi-symmetric (edge-transitive but not vertex-transitive) graphs, and can be used to construct every semi-symmetric 4-regular graph that…

Combinatorics · Mathematics 2025-10-22 David Eppstein

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

Finding a Hamiltonian cycle in a given graph is computationally challenging, and in general remains so even when one is further given one Hamiltonian cycle in the graph and asked to find another. In fact, no significantly faster algorithms…

Data Structures and Algorithms · Computer Science 2024-02-23 Andreas Björklund , Petteri Kaski , Jesper Nederlof

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

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

We show that under certain conditions the square of the graph obtained by identifying a vertex in two graphs with hamiltonian square is also hamiltonian. Using this result, we prove necessary and sufficient conditions for hamiltonicity of…

Combinatorics · Mathematics 2013-03-22 Jan Ekstein

A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Broersma, Patel, and Pyatkin showed that every 25-tough $2K_2$-free graph with at least three vertices is hamiltonian. In this paper, we…

Combinatorics · Mathematics 2017-06-29 Songling Shan