degree, toughness and subgraph conditions for hamiltionian properties of graphs
Wei Zheng is a PhD student in the research group Formal Methods and Tools. Her supervisors are prof.dr.ir. H.J. Broersma from the Faculty of Electrical Engineering, Mathematics and Computer Science and prof.dr. L. Wang from the Northwestern Polytechnical University.
This doctoral degree program was undertaken together with the Northwestern Polytechnical University (People’s Republic of China).
We study graph theory. A graph is composed by a vertex set and an edge set, and each edge joins an unordered pair of (not necessarily distinct) vertices. A graph can represent any set of objects together with the existing relationships between pairs of these objects. This makes graphs very widely applicable as mathematical abstractions in a diversity of practical settings and a huge range of scientific areas.
The Hamilton problem, which is the problem of determining whether an arbitrarily given graph admits a Hamilton cycle (a cycle containing all the vertices of the graph), is one of the most well-known NP-complete decision problems within graph theory and computational complexity. People have approached this problem from many different angles, but no one has come up with an easy criterium in terms of a necessary and sufficient condition yet. Most of the research work related to this Hamilton problem is centred around finding sufficient conditions for a graph to be hamiltonian, i.e., to admit a Hamilton cycle. The main part of this thesis deals with sufficient conditions that guarantee that a graph admits a Hamilton cycle. In the other parts, we focus on related sufficient conditions for graph properties that are stronger than the property of having a Hamilton cycle, and are commonly known as hamiltonian properties. One of the stronger hamiltonian properties we consider in this thesis is called hamiltonian-connectedness, and requires that every pair of distinct vertices of the graph is connected by a Hamilton path, i.e., a path passing through each vertex of the graph exactly once. Another stronger hamiltonian property called pancyclicity requires that the graph contains cycles of any length from 3 up to the number of vertices.
The graph theoretical concepts of degree, subgraph and toughness are three commonly used concepts in studying conditions for hamiltonian properties. In this thesis, we give diverse sufficiency results in terms of these concepts by imposing certain restrictions on the degrees, subgraphs or toughness in order to guarantee the existence of certain cycles or paths. Some of our results improved the existing results, and some are new appearance in the research of graph theory.
