Compatible Hamilton cycles in Dirac graphs

From MaRDI portal
(Redirected from Publication:681601)




Abstract: A graph is Hamiltonian if it contains a cycle passing through every vertex exactly once. A celebrated theorem of Dirac from 1952 asserts that every graph on nge3 vertices with minimum degree at least n/2 is Hamiltonian. We refer to such graphs as Dirac graphs. In this paper we obtain the following strengthening of this result. Given a graph G=(V,E), an {em incompatibility system} mathcalF over G is a family mathcalF=FvvinV such that for every vinV, the set Fv is a set of unordered pairs Fvsubseteqe,e:eeeinE,ecape=v. An incompatibility system is {em Delta-bounded} if for every vertex v and an edge e incident to v, there are at most Delta pairs in Fv containing e. We say that a cycle C in G is {em compatible} with mathcalF if every pair of incident edges e,e of C satisfies e,eotinFv, where v=ecape. This notion is partly motivated by a concept of transition systems defined by Kotzig in 1968, and can be viewed as a quantitative measure of robustness of graph properties. We prove that there is a constant mu>0 such that for every mun-bounded incompatibility system mathcalF over a Dirac graph G, there exists a Hamilton cycle compatible with mathcalF. This settles in a very strong form, a conjecture of H"{a}ggkvist from 1988.









This page was built for publication: Compatible Hamilton cycles in Dirac graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681601)