English
Related papers

Related papers: Using SAT to study plane Hamiltonian substructures…

200 papers

We show that every 3-uniform hypergraph with minimum vertex degree at least $0.8\binom{n-1}{2}$ contains a tight Hamiltonian cycle.

Combinatorics · Mathematics 2017-07-26 Vojtěch Rödl , Andrzej Ruciński , Mathias Schacht , Endre Szemerédi

A graph is 1-planar if it can be drawn in the plane such that each edge is crossed at most once. A graph, together with a 1-planar drawing is called 1-plane. Brandenburg et al. showed that there are maximal 1-planar graphs with only…

Combinatorics · Mathematics 2015-09-21 János Barát , Géza Tóth

A conjecture of Barnette states that every 3-connected cubic bipartite plane graph has a Hamilton cycle, which is equivalent to the statement that every simple even plane triangulation admits a partition of its vertex set into two subsets…

Combinatorics · Mathematics 2012-08-22 Jan Florek

A well known generalisation of Dirac's theorem states that if a graph $G$ on $n\ge 4k$ vertices has minimum degree at least $n/2$ then $G$ contains a $2$-factor consisting of exactly $k$ cycles. This is easily seen to be tight in terms of…

Combinatorics · Mathematics 2020-03-10 Matija Bucić , Erik Jahn , Alexey Pokrovskiy , Benny Sudakov

We show that if a planar graph $G$ has a plane straight-line drawing in which a subset $S$ of its vertices are collinear, then for any set of points, $X$, in the plane with $|X|=|S|$, there is a plane straight-line drawing of $G$ in which…

Combinatorics · Mathematics 2021-05-11 Vida Dujmović , Fabrizio Frati , Daniel Gonçalves , Pat Morin , Günter Rote

In the distributed subgraph-freeness problem, we are given a graph $H$, and asked to determine whether the network graph contains $H$ as a subgraph or not. Subgraph-freeness is an extremely local problem: if the network had no bandwidth…

Data Structures and Algorithms · Computer Science 2017-11-21 Orr Fischer , Tzlil Gonen , Rotem Oshman

It is well known that any graph admits a crossing-free straight-line drawing in $\mathbb{R}^3$ and that any planar graph admits the same even in $\mathbb{R}^2$. For a graph $G$ and $d \in \{2,3\}$, let $\rho^1_d(G)$ denote the smallest…

Computational Complexity · Computer Science 2024-03-04 Steven Chaplick , Krzysztof Fleszar , Fabian Lipp , Alexander Ravsky , Oleg Verbitsky , Alexander Wolff

A level orbit of a mechanical Hamiltonian system is a solution of Newton equation that is contained in a level set of the potential energy. In 2003, Mark Levi asked for a characterization of the smooth potential energy functions on the…

Differential Geometry · Mathematics 2024-08-13 Philippe Bolle , Marco Mazzucchelli , Andrea Venturelli

The Conway-99 problem questions the existence of a strongly regular graph with 99 vertices and specific parameters. A \textit{strongly} regular graph is a regular graph that exhibits two additional properties: vertices must share a fixed…

Logic in Computer Science · Computer Science 2026-04-29 Ali Keramatipour

Let $G$ be a graph obtained as the union of some $n$-vertex graph $H_n$ with minimum degree $\delta(H_n)\geq\alpha n$ and a $d$-dimensional random geometric graph $G^d(n,r)$. We investigate under which conditions for $r$ the graph $G$ will…

Combinatorics · Mathematics 2023-01-18 Alberto Espuny Díaz , Joseph Hyde

We conjecture that every oriented graph $G$ on $n$ vertices with $\delta ^+ (G) , \delta ^- (G) \geq 5n/12$ contains the square of a Hamilton cycle. We also give a conjectural bound on the minimum semidegree which ensures a perfect packing…

Combinatorics · Mathematics 2010-11-22 Andrew Treglown

A covering path for a finite set $P$ of points in the plane is a polygonal path such that every point of $P$ lies on a segment of the path. The vertices of the path need not be at points of $P$. A covering path is plane if its segments do…

A graph is $1$-planar if it has a drawing in the plane such that each edge is crossed at most once by another edge. Moreover, if this drawing has the additional property that for each crossing of two edges the end vertices of these edges…

Combinatorics · Mathematics 2020-01-27 Igor Fabrici , Jochen Harant , Tomáš Madaras , Samuel Mohr , Roman Soták , Carol T. Zamfirescu

The Harary-Hill Conjecture States that the number of crossings in any drawing of the complete graph $ K_n $ in the plane is at least $Z(n):=\frac{1}{4}\left\lfloor \frac{n}{2}\right\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor…

Define the middle layer graph as the graph whose vertex set consists of all bitstrings of length $2n+1$ that have exactly $n$ or $n+1$ entries equal to 1, with an edge between any two vertices for which the corresponding bitstrings differ…

Combinatorics · Mathematics 2018-02-16 Torsten Mütze

We confirm the following conjecture of Fekete and Woeginger from 1997: for any sufficiently large even number $n$, every set of $n$ points in the plane can be connected by a spanning tour (Hamiltonian cycle) consisting of straight-line…

Computational Geometry · Computer Science 2022-08-24 Ahmad Biniaz

We study straight-line drawings of planar graphs with few segments and few slopes. Optimal results are obtained for all trees. Tight bounds are obtained for outerplanar graphs, 2-trees, and planar 3-trees. We prove that every 3-connected…

Combinatorics · Mathematics 2008-09-09 Vida Dujmovic' , David Eppstein , Matthew Suderman , David R. Wood

A graph $G$ is called a $2K_2$-free graph if it does not contain $2K_2$ as an induced subgraph. In 2014, Broersma, Patel and Pyatkin showed that every 25-tough $2K_2$-free graph on at least three vertices is Hamiltonian. Recently, Shan…

Combinatorics · Mathematics 2021-12-06 Katsuhiro Ota , Masahiro Sanka

The Erd\H{o}s-S\'os Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $\delta>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every…

Combinatorics · Mathematics 2025-08-13 Bruce Reed , Maya Stein

In 1984, Winkler conjectured that every simple Venn diagram with $n$ curves can be extended to a simple Venn diagram with $n+1$ curves. His conjecture is equivalent to the statement that the dual graph of any simple Venn diagram has a…

Combinatorics · Mathematics 2026-01-13 Sofia Brenner , Linda Kleist , Torsten Mütze , Christian Rieck , Francesco Verciani