English
Related papers

Related papers: Using SAT to study plane Hamiltonian substructures…

200 papers

For $1\le d\le \ell< k$, we give a new lower bound for the minimum $d$-degree threshold that guarantees a Hamilton $\ell$-cycle in $k$-uniform hypergraphs. When $k\ge 4$ and $d< \ell=k-1$, this bound is larger than the conjectured minimum…

Combinatorics · Mathematics 2015-08-25 Jie Han , Yi Zhao

We propose the following conjecture extending Dirac's theorem: if $G$ is a graph with $n\ge 3$ vertices and minimum degree $\delta(G)\ge n/2$, then in every orientation of $G$ there is a Hamilton cycle with at least $\delta(G)$ edges…

Combinatorics · Mathematics 2023-03-13 Lior Gishboliner , Michael Krivelevich , Peleg Michaeli

The k-planar graphs, which are (usually with small values of k such as 1, 2, 3) subject to recent intense research, admit a drawing in which edges are allowed to cross, but each one edge is allowed to carry at most k crossings. In recently…

Combinatorics · Mathematics 2024-10-02 Petr Hliněný , Lili Ködmön

In this paper we consider the existence of Hamilton cycles in the random graph $G=G_{n,m}^{\delta\geq 3}$. This a random graph chosen uniformly from the set of graphs with vertex set $[n]$, $m$ edges and minimum degree at least 3. Our…

Combinatorics · Mathematics 2020-06-23 Michael Anastos , Alan Frieze

A graph is hypohamiltonian if it is not Hamiltonian, but the deletion of any single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 42 vertices, a result due to Araya and Wiener. That result…

A \emph{$k$-planar graph} is a graph that can be drawn in the plane such that every edge is crossed at most $k$ times. For $k \leq 4$, Pach and T\'oth proved a bound of $(k+3)(n-2)$ on the total number of edges of a $k$-planar graph, which…

Computational Geometry · Computer Science 2016-08-31 Michael A. Bekos , Michael Kaufmann , Chrysanthi N. Raftopoulou

We study the existence of plane substructures in drawings of the $d$-dimensional hypercube graph $Q_d$. We construct drawings of $Q_d$ which contain no plane subgraph with more than $2d-2$ edges, no plane path with more than $2d-3$ edges,…

Computational Geometry · Computer Science 2026-03-06 Todor Antić , Niloufar Fuladi , Anna Margarethe Limbach , Pavel Valtr

Gons and holes in point sets have been extensively studied in the literature. For simple drawings of the complete graph a generalization of the Erd\H{o}s--Szekeres theorem is known and empty triangles have been investigated. We introduce a…

Computational Geometry · Computer Science 2026-03-17 Helena Bergold , Joachim Orthaber , Manfred Scheucher , Felix Schröder

In trying to generalize the classic Sylvester-Gallai theorem and De Bruijn-Erd\H{o}s theorem in plane geometry, lines and closure lines were previously defined for metric spaces and hypergraphs. Both definitions do not obey the geometric…

Metric Geometry · Mathematics 2014-02-25 Xiaomin Chen , Guangda Huzhang , Peihan Miao , Kuan Yang

We introduce an evolving-plane ansatz for the explicit construction of entire minimal graphs of dimension $n$ ($n\geq 3$) and codimension $m$ ($m\geq 2$), for any odd integer $n$. Under this ansatz, the minimal surface system reduces to the…

Differential Geometry · Mathematics 2025-12-15 Chung-Jun Tsai , Mao-Pei Tsui , Jingbo Wan , Mu-Tao Wang

For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating…

History and Overview · Mathematics 2025-03-27 Fei Ma , Bing Yao

The inclusion relation between simple objects in the plane may be used to define geometric set systems, or hypergraphs. Properties of various types of colorings of these hypergraphs have been the subject of recent investigations, with…

Computational Geometry · Computer Science 2015-03-17 Jean Cardinal , Matias Korman

A graph drawn on the plane is called $1$-plane if each edge is crossed at most once by another edge. In this paper, we show that every $4$-connected $1$-plane graph has a connected spanning plane subgraph. We also show that there exist…

Combinatorics · Mathematics 2024-04-09 Kenta Noguchi , Katsuhiro Ota , Yusuke Suzuki

We introduce the Density Formula for (topological) drawings of graphs in the plane or on the sphere, which relates the number of edges, vertices, crossings, and sizes of cells in the drawing. We demonstrate its capability by providing…

A conjecture of Carsten Thomassen states that every 4-connected line graph is hamiltonian. It is known that the conjecture is true for 7-connected line graphs. We improve this by showing that any 5-connected line graph of minimum degree at…

Combinatorics · Mathematics 2011-04-01 Tomáš Kaiser , Petr Vrána

We fully disprove a conjecture of Haythorpe on the minimum number of hamiltonian cycles in regular hamiltonian graphs, thereby extending a result of Zamfirescu, as well as correct and complement Haythorpe's computational enumerative results…

Combinatorics · Mathematics 2022-11-16 Jan Goedgebeur , Jorik Jooken , On-Hei Solomon Lo , Ben Seamone , Carol T. Zamfirescu

We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and,…

Combinatorics · Mathematics 2023-06-21 Richard Lang , Nicolás Sanhueza-Matamala

The problem of packing Hamilton cycles in random and pseudorandom graphs has been studied extensively. In this paper, we look at the dual question of covering all edges of a graph by Hamilton cycles and prove that if a graph with maximum…

Combinatorics · Mathematics 2011-11-15 Roman Glebov , Michael Krivelevich , Tibor Szabó

We show that every $k$-uniform hypergraph on $n$ vertices whose minimum $(k-2)$-degree is at least $(5/9+o(1))n^2/2$ contains a Hamiltonian cycle. A construction due to Han and Zhao shows that this minimum degree condition is optimal. The…

Combinatorics · Mathematics 2022-07-08 Joanna Polcyn , Christian Reiher , Vojtěch Rödl , Bjarne Schülke

A drawing of a graph in the plane is {\it pseudolinear} if the edges of the drawing can be extended to doubly-infinite curves that form an arrangement of pseudolines, that is, any pair of edges crosses precisely once. A special case are…