Hamiltonian chordal graphs are not cycle extendible

In 1990, Hendry conjectured that every Hamiltonian chordal graph is cycle extendible; that is, the vertices of any non-Hamiltonian cycle are contained in a cycle of length one greater. We disprove this conjecture by constructing counterexamples on $n$ vertices for any $n \geq 15$. Furthermore, we show that there exist counterexamples where the ratio of the length of a non-extendible cycle to the total number of vertices can be made arbitrarily small. We then consider cycle extendibility in Hamiltonian chordal graphs where certain induced subgraphs are forbidden, notably $P_n$ and the bull.Comment: Some results from Section 3 were incorrect and have been removed. To appear in SIAM Journal on Discrete Mathematic

Hamiltonicity, Pancyclicity, and Cycle Extendability in Graphs

The study of cycles, particularly Hamiltonian cycles, is very important in many applications. Bondy posited his famous metaconjecture, that every condition sufficient for Hamiltonicity actually guarantees a graph is pancyclic. Pancyclicity is a stronger structural property than Hamiltonicity. An even stronger structural property is for a graph to be cycle extendable. Hendry conjectured that any graph which is Hamiltonian and chordal is cycle extendable. In this dissertation, cycle extendability is investigated and generalized. It is proved that chordal 2-connected K1,3-free graphs are cycle extendable. S-cycle extendability was defined by Beasley and Brown, where S is any set of positive integers. A conjecture is presented that Hamiltonian chordal graphs are {1, 2}-cycle extendable. Dirac’s Theorem is an classic result establishing a minimum degree condition for a graph to be Hamiltonian. Ore’s condition is another early result giving a sufficient condition for Hamiltonicity. In this dissertation, generalizations of Dirac’s and Ore’s Theorems are presented. The Chvatal-Erdos condition is a result showing that if the maximum size of an independent set in a graph G is less than or equal to the minimum number of vertices whose deletion increases the number of components of G, then G is Hamiltonian. It is proved here that the Chvatal-Erdos condition guarantees that a graph is cycle extendable. It is also shown that a graph having a Hamiltonian elimination ordering is cycle extendable. The existence of Hamiltonian cycles which avoid sets of edges of a certain size and certain subgraphs is a new topic recently investigated by Harlan, et al., which clearly has applications to scheduling and communication networks among other things. The theory is extended here to bipartite graphs. Specifically, the conditions for the existence of a Hamiltonian cycle that avoids edges, or some subgraph of a certain size, are determined for the bipartite case. Briefly, this dissertation contributes to the state of the art of Hamiltonian cycles, cycle extendability and edge and graph avoiding Hamiltonian cycles, which is an important area of graph theory

On the H-force number of Hamiltonian graphs and cycle extendability

The H-force number h(G) of a hamiltonian graph G is the smallest cardinality of a set A ⊆ V (G) such that each cycle containing all vertices of A is hamiltonian. In this paper a lower and an upper bound of h(G) is given. Such graphs, for which h(G) assumes the lower bound are characterized by a cycle extendability property. The H-force number of hamiltonian graphs which are exactly 2-connected can be calculated by a decomposition formula

Hendry’s Conjecture on Chordal Graph Subclasses

A cycle is extendable if there exists another cycle on the same set of vertices plus one more vertex. G.R.T. Hendry conjectured (1990) that every non spanning cycle in a Hamiltonian chordal graph is extendable. This has recently been disproved (2015), but is still open for classes of strongly chordal graphs. Hendry’s Conjecture has been shown to hold for the following subclasses of chordal graphs: planar chordal graphs (2002), interval graphs, strongly chordal graphs with (two specific) forbidden subgraphs, split graphs (2006), and spider intersection graphs (2013). Chapter 1 of this dissertation is an introduction to the subject matter. In chapter 2 we verify that Hendry’s Conjecture holds for Ptolemaic graphs which are a subclass of strongly chordal graphs, alongside with a strong result on how smoothly the extension can happen. In chapter 3 we develop tools for working on tree representations of chordal graphs with Hendry’s Conjecture in mind. Chapter 4 is an application of these tools to interval graphs, another subclass of chordal graphs. Chapter 5 is about manipulating the aformentioned counterexample to Hendry’s Conjecture, and applying tools from chapter 3 on it. This yields information on the structure of graphs for which Hendry’s conjecture holds

Extremal and degree donditions for path extendability in digraphs

In the study of cycles and paths, the meta-conjecture of Bondy that sufficient conditions for Hamiltonicity often imply pancyclicity has motivated research on the existence of cycles and paths of many lengths. Hendry further introduced the stronger concepts of cycle extendability and path extendability, which require that every cycle or path can be extended to another one with one additional vertex. These concepts have been studied extensively, but there exist few results on path extendability in digraphs, as far as we know. In this paper, we make the first attempt in this direction. We establish a number of extremal and degree conditions for path extendability in general digraphs. Moreover, we prove that every path of length at least two in a regular tournament is extendable, with some exceptions. One of our proof approaches is a new contraction operation to transform nonextendable paths into nonextendable cycles

Global cycle properties in graphs with large minimum clustering coefficient

The clustering coefficient of a vertex in a graph is the proportion of neighbours of the vertex that are adjacent. The minimum clustering coefficient of a graph is the smallest clustering coefficient taken over all vertices. A complete structural characterization of those locally connected graphs, with minimum clustering coefficient 1/2 and maximum degree at most 6, that are fully cycle extendable is given in terms of strongly induced subgraphs with given attachment sets. Moreover, it is shown that all locally connected graphs with minimum clustering coefficient 1/2 and maximum degree at most 6 are weakly pancyclic, thereby proving Ryjacek's conjecture for this class of locally connected graphs.Comment: 16 pages, two figure

How tough is toughness?

The concept of toughness was introduced by Chvátal [34] more than forty years ago. Toughness resembles vertex connectivity, but is different in the sense that it takes into account what the effect of deleting a vertex cut is on the number of resulting components. As we will see, this difference has major consequences in terms of computational complexity and on the implications with respect to cycle structure, in particular the existence of Hamilton cycles and k-factors

Equistarable graphs and counterexamples to three conjectures on equistable graphs

Equistable graphs are graphs admitting positive weights on vertices such that a subset of vertices is a maximal stable set if and only if it is of total weight $1$. In $1994$, Mahadev et al.~introduced a subclass of equistable graphs, called strongly equistable graphs, as graphs such that for every $c \le 1$ and every non-empty subset $T$ of vertices that is not a maximal stable set, there exist positive vertex weights such that every maximal stable set is of total weight $1$ and the total weight of $T$ does not equal $c$. Mahadev et al. conjectured that every equistable graph is strongly equistable. General partition graphs are the intersection graphs of set systems over a finite ground set $U$ such that every maximal stable set of the graph corresponds to a partition of $U$. In $2009$, Orlin proved that every general partition graph is equistable, and conjectured that the converse holds as well. Orlin's conjecture, if true, would imply the conjecture due to Mahadev, Peled, and Sun. An intermediate conjecture, one that would follow from Orlin's conjecture and would imply the conjecture by Mahadev, Peled, and Sun, was posed by Miklavi\v{c} and Milani\v{c} in $2011$, and states that every equistable graph has a clique intersecting all maximal stable sets. The above conjectures have been verified for several graph classes. We introduce the notion of equistarable graphs and based on it construct counterexamples to all three conjectures within the class of complements of line graphs of triangle-free graphs