An extension of a cubic 2-connected plane graph G to a hamiltonian plane graph contained in G^{2}

Jan Florek

2023-10-09

Abstract:Let $G$ be a simple cubic 2-connected plane graph. For every $2$-factor $X$ of $G$ having $n$-components there exists a simple hamiltonian plane graph $J \subset G^{2}$ such that $|E(J)|= |E(G)| + 2n -2$ and $\Delta(J) \leqslant 5$.

Combinatorics

What problem does this paper attempt to address?

A sufficient condition for cubic 3-connected plane bipartite graphs to be hamiltonian

Jan Florek

2024-05-01

Abstract:Barnette's conjecture asserts that every cubic $3$-connected plane bipartite graph is hamiltonian. Although, in general, the problem is still open, some partial results are known. In particular, let us call a face of a plane graph big (small) if it has at least six edges (it has four edges, respectively). Goodey proved for a $3$-connected bipartite cubic plane graph $P$, that if all big faces in $P$ have exactly six edges, then $P$ is hamiltonian. In this paper we prove that the same is true under the condition that no face in $P$ has more than four big neighbours. We also prove, that if each vertex in $P$ is incident both with a small and a big face, then~$P$ has at least $2^{k}$ different Hamilton cycles, where $k = \left\lceil\frac{|B|-2}{4\Delta(B) - 7}\right\rceil$, $|B|$ is the number of big faces in $P$ and $\Delta(B)$ is the maximum size of faces in $P$. 15 pages

Combinatorics
Plane Hamiltonian Cycles in Convex Drawings

Helena Bergold,Stefan Felsner,Meghana M. Reddy,Joachim Orthaber,Manfred Scheucher

2024-03-20

Abstract:A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $\Omega(\log n / \log \log n)$ and of a plane matching of size $\Omega(n^{1/2})$ in every simple drawing of $K_{n}$.

Computational Geometry,Discrete Mathematics,Combinatorics
$K_2$-Hamiltonian Graphs: II

Jan Goedgebeur,Jarne Renders,Gábor Wiener,Carol T. Zamfirescu

DOI: https://doi.org/10.1002/jgt.23057

2024-07-18

Abstract:In this paper we use theoretical and computational tools to continue our investigation of $K_2$-hamiltonian graphs, that is, graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, and their interplay with $K_1$-hamiltonian graphs, that is, graphs in which every vertex-deleted subgraph is hamiltonian. Perhaps surprisingly, there exist graphs that are both $K_1$- and $K_2$-hamiltonian, yet non-hamiltonian, for example, the Petersen graph. Grünbaum conjectured that every planar $K_1$-hamiltonian graph must itself be hamiltonian; Thomassen disproved this conjecture. Here we show that even planar graphs that are both $K_1$- and $K_2$-hamiltonian need not be hamiltonian, and that the number of such graphs grows at least exponentially. Motivated by results of Aldred, McKay, and Wormald, we determine for every integer $n$ that is not 14 or 17 whether there exists a $K_2$-hypohamiltonian, that is, non-hamiltonian and $K_2$-hamiltonian, graph of order $n$, and characterise all orders for which such cubic graphs and such snarks exist. We also describe the smallest cubic planar graph which is $K_2$-hypohamiltonian, as well as the smallest planar $K_2$-hypohamiltonian graph of girth $5$. We conclude with open problems and by correcting two inaccuracies from the first article.

Combinatorics,Discrete Mathematics
Cubic graphs of given girth and connectivity with a unique longest cycle

Jorik Jooken,Carol T. Zamfirescu

2024-09-25

Abstract:We show that there exists an infinite family of cubic $2$-connected non-hamiltonian graphs with girth at least $5$ containing a unique longest cycle.

Combinatorics
Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Jun Yin,Liming Xiong,Haixing Zhao

DOI: https://doi.org/10.1007/s00373-015-1605-7

2015-01-01

Graphs and Combinatorics

Abstract:In this paper, we show that every 3-connected claw-free graph such that every induced cycle of length at least 4 has at most 8 edges contained in a triangle is hamiltonian. This implies that every 3-connected $\{K_{1,3}\}\cup \{C_i|i\ge 9\}$-free graph is hamiltonian. We also show that every 3-connected o-heavy graph whose induced cycle of length is at most 8 is hamiltonian and that every 2-connected claw-free graph of longest induced cycle with length at least $n-2$ is hamiltonian. These results are all best possible. As a byproduct, we show that it is NP-complete to determine the length of a longest induced cycle of a line graph.
Eulerian 2-Complexes

Richard H. Hammack,Paul C. Kainen

2023-12-31

Abstract:It is shown that Euler's theorem for graphs can be generalized for 2-complexes. Two notions that generalize cycle and Eulerian tour are introduced (``circlet'' and ``Eulerian cover''), and we show that for a strongly-connected, pure 2-complex, the following are equivalent: (i) each edge meets a positive even number of 2-cells (faces), (ii) the complex can be decomposed as the face-disjoint union of circlets, and (iii) the complex has an Eulerian cover. A number of examples are provided.

Combinatorics
Conditions for a graph to have a connected even [2, 2s]-factor

Jun Yin,Liming Xiong

2015-01-01

Utilitas mathematica

Abstract:A graph is locally connected if every vertex neighborhood induces a connected subgraph. We show that if G is a connected, locally connected K-1,K-s+2-free graph of order p >= 3, then G has a connected even [2, 2s]-factor.
Decomposing planar cubic graphs

Arthur Hoffmann-Ostenhof,Tomáš Kaiser,Kenta Ozeki

DOI: https://doi.org/10.48550/arXiv.1609.05059

2017-10-28

Abstract:The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs.

Combinatorics
Geometric Biplane Graphs II: Graph Augmentation

Alfredo García,Ferran Hurtado,Matias Korman,Inês Matos,Maria Saumell,Rodrigo I. Silveira,Javier Tejel,Csaba D. Tóth

DOI: https://doi.org/10.1007/s00373-015-1547-0

2017-02-04

Abstract:We study biplane graphs drawn on a finite point set $S$ in the plane in general position. This is the family of geometric graphs whose vertex set is $S$ and which can be decomposed into two plane graphs. We show that every sufficiently large point set admits a 5-connected biplane graph and that there are arbitrarily large point sets that do not admit any 6-connected biplane graph. Furthermore, we show that every plane graph (other than a wheel or a fan) can be augmented into a 4-connected biplane graph. However, there are arbitrarily large plane graphs that cannot be augmented to a 5-connected biplane graph by adding pairwise noncrossing edges.

Computational Geometry
Faces of maximal plane graphs without short cycles

Maria Axenovich,Leon Kießle,Arsenii Sagdeev

2024-10-17

Abstract:For a positive integer $g$, we study a family of plane graphs $G$ without cycles of length less than $g$ that are maximal in a sense that adding any new edge to $G$ either makes it non-plane or creates a cycle of length less than $g$. We show that the largest face length ${\rm f}_{\rm max}(g)$ of a 2-connected graph from this family satisfies $3g-12 \leq {\rm f}_{\rm max}(g) \leq 2(g-2)^2+1.$

Combinatorics
Hamiltonicity of 2-Connected Claw-Center Independent Graphs

H Li,M Lu,F Tian,B Wei

DOI: https://doi.org/10.1016/s0012-365x(96)00192-6

1998-01-01

Abstract:In this paper, we give the following result: Let G be a 2-connected graph of order n ⩾ 13 and n ⩽ 2σ2 − 3, where σ2 = min{d(u) + d(v): uv ∉ E(G)}. If the set of claw-centers of G is independent, then either G is hamiltonian or G belongs to three classes of exceptional graphs. The bound n ⩽ 2σ2 − 3 is sharp.
Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles

Oswin Aichholzer,Joachim Orthaber,Birgit Vogtenhuber

2024-10-14

Abstract:Generalizing pseudospherical drawings, we introduce a new class of simple drawings, which we call separable drawings. In a separable drawing, every edge can be closed to a simple curve that intersects each other edge at most once. Curves of different edges might interact arbitrarily. Most notably, we show that (1) every separable drawing of any graph on $n$ vertices in the plane can be extended to a simple drawing of the complete graph $K_{n}$, (2) every separable drawing of $K_{n}$ contains a crossing-free Hamiltonian cycle and is plane Hamiltonian connected, and (3) every generalized convex drawing and every 2-page book drawing is separable. Further, the class of separable drawings is a proper superclass of the union of generalized convex and 2-page book drawings. Hence, our results on plane Hamiltonicity extend recent work on generalized convex drawings by Bergold et al. (SoCG 2024).

Computational Geometry,Discrete Mathematics,Combinatorics
Polyhedra without cubic vertices are prism‐hamiltonian

Simon Špacapan

DOI: https://doi.org/10.1002/jgt.23078

2024-02-20

Journal of Graph Theory

Abstract:The prism over a graph G is the Cartesian product of G with the complete graph on two vertices. A graph G is prism‐hamiltonian if the prism over G is hamiltonian. We prove that every polyhedral graph (i.e., 3‐connected planar graph) of minimum degree at least four is prism‐hamiltonian.

mathematics
Small planar hypohamiltonian graphs

Cheng-Chen Tsai

2024-04-08

Abstract:A graph is hypohamiltonian if it is non-Hamiltonian, but the deletion of every single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 40 vertices, a result due to Jooyandeh, McKay, Östergård, Pettersson, and Zamfirescu. That result is here improved upon by two planar hypohamiltonian graphs on 34 vertices. We exploited a special subgraph contained in two graphs of Jooyandeh et al., and modified it to construct the two 34-vertex graphs and six planar hypohamiltonian graphs on 37 vertices. Each of the 34-vertex graphs has 26 cubic vertices, improving upon the result of Jooyandeh et al. that planar hypohamiltonian graphs have 30 cubic vertices. We use the 34-vertex graphs to construct hypohamiltonian graphs of order 34 with crossing number 1, improving the best-known bound of 36 due to Wiener. Whether there exists a planar hypohamiltonian graph on 41 vertices was an open question. We settled this question by applying an operation introduced by Thomassen to the 37-vertex graphs to obtain several planar hypohamiltonian graphs on 41 vertices. The 25 planar hypohamiltonian graphs on 40 vertices of Jooyandeh et al. have no nontrivial automorphisms. The result is here improved upon by six planar hypohamiltonian graphs on 40 vertices with nontrivial automorphisms.

Combinatorics
Polyhedra without cubic vertices are prism-hamiltonian

Simon Špacapan

DOI: https://doi.org/10.48550/arXiv.2104.04266

2021-04-09

Abstract:The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph on two vertices. A graph $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. We prove that every polyhedral graph (i.e. 3-connected planar graph) of minimum degree at least four is prism-hamiltonian.

Combinatorics
Graphs with Many Hamiltonian Paths

Erik Carlson,Willem Fletcher,MurphyKate Montee,Chi Nguyen,Jarne Renders,Xingyi Zhang

2024-04-03

Abstract:A graph is \emph{hamiltonian-connected} if every pair of vertices can be connected by a hamiltonian path, and it is \emph{hamiltonian} if it contains a hamiltonian cycle. We construct families of non-hamiltonian graphs for which the ratio of pairs of vertices connected by hamiltonian paths to all pairs of vertices approaches 1. We then consider minimal graphs that are hamiltonian-connected. It is known that any order-$n$ graph that is hamiltonian-connected must have $\geq 3n/2$ edges. We construct an infinite family of graphs realizing this minimum.

Mathematics
Hamiltonian cubic bipartite graphs

Misa Nakanishi

2024-06-03

Abstract:We provide a polynomial time algorithm to determine a cubic bipartite graph has a hamilton cycle or not.

General Mathematics
Hamiltonicity of Cartesian products of graphs

Irena Hrastnik Ladinek,Žana Kovijanić Vukićević,Tjaša Paj Erker,Simon Špacapan

2024-08-13

Abstract:A path factor in a graph $G$ is a factor of $G$ in which every component is a path on at least two vertices. Let $T\Box P_n$ be the Cartesian product of a tree $T$ and a path on $n$ vertices. Kao and Weng proved that $T\Box P_n$ is hamiltonian if $T$ has a path factor, $n$ is an even integer and $n\geq 4\Delta (T)-2$. They conjectured that for every $\Delta \geq 3$ there exists a graph $G$ of maximum degree $\Delta$ which has a path factor, such that for every even $n< 4\Delta-2$ the product $G\Box P_n$ is not hamiltonian. In this article we prove this conjecture.

Combinatorics
Using SAT to study plane Hamiltonian substructures in simple drawings

Helena Bergold,Stefan Felsner,Meghana M. Reddy,Manfred Scheucher

2023-05-16

Abstract:In 1988 Rafla conjectured that every simple drawing of a complete graph $K_n$ contains a plane, i.e., non-crossing, Hamiltonian cycle. The conjecture is far from being resolved. The lower bounds for plane paths and plane matchings have recently been raised to $(\log n)^{1-o(1)}$ and $\Omega(\sqrt{n})$, respectively. We develop a SAT framework which allows the study of simple drawings of $K_n$. Based on the computational data we conjecture that every simple drawing of $K_n$ contains a plane Hamiltonian subgraph with $2n-3$ edges. We prove this strengthening of Rafla's conjecture for convex drawings, a rich subclass of simple drawings. Our computer experiments also led to other new challenging conjectures regarding plane substructures in simple drawings of complete graphs.

Computational Geometry,Discrete Mathematics,Combinatorics
Hamiltonicity of expanders: optimal bounds and applications

Nemanja Draganić,Richard Montgomery,David Munhá Correia,Alexey Pokrovskiy,Benny Sudakov

2024-04-14

Abstract:An $n$-vertex graph $G$ is a $C$-expander if $|N(X)|\geq C|X|$ for every $X\subseteq V(G)$ with $|X|< n/2C$ and there is an edge between every two disjoint sets of at least $n/2C$ vertices. We show that there is some constant $C>0$ for which every $C$-expander is Hamiltonian. In particular, this implies the well known conjecture of Krivelevich and Sudakov from 2003 on Hamilton cycles in $(n,d,\lambda)$-graphs. This completes a long line of research on the Hamiltonicity of sparse graphs, and has many applications, including to the Hamiltonicity of random Cayley graphs.

Combinatorics

An extension of a cubic 2-connected plane graph G to a hamiltonian plane graph contained in G^{2}

A sufficient condition for cubic 3-connected plane bipartite graphs to be hamiltonian

Plane Hamiltonian Cycles in Convex Drawings

$K_2$-Hamiltonian Graphs: II

Cubic graphs of given girth and connectivity with a unique longest cycle

Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Eulerian 2-Complexes

Conditions for a graph to have a connected even [2, 2s]-factor

Decomposing planar cubic graphs

Geometric Biplane Graphs II: Graph Augmentation

Faces of maximal plane graphs without short cycles

Hamiltonicity of 2-Connected Claw-Center Independent Graphs

Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles

Polyhedra without cubic vertices are prism‐hamiltonian

Small planar hypohamiltonian graphs

Polyhedra without cubic vertices are prism-hamiltonian

Graphs with Many Hamiltonian Paths

Hamiltonian cubic bipartite graphs

Hamiltonicity of Cartesian products of graphs

Using SAT to study plane Hamiltonian substructures in simple drawings

Hamiltonicity of expanders: optimal bounds and applications