Weighted degrees and heavy cycles in weighted graphs

AbstractA weighted graph is a graph provided with an edge-weighting function w from the edge set to nonnegative real numbers. Bondy and Fan [Annals of Discrete Math. 41 (1989), 53–69] began the study on the existence of heavy cycles in weighted graphs. Though several results with Dirac-type degree condition can be generalized to an Ore-type one in unweighted graphs, it is shown in Bondy et al. [Discuss. Math. Graph Theory 22 (2002), 7–15] that Bondy and Fan’s theorem, which uses Dirac-type condition, cannot be generalized analogously by using Ore-type condition.In this paper we investigate the property peculiar to weighted graphs, and prove a theorem on the existence of heavy cycles in weighted graphs under an Ore-type condition, which generalizes Bondy and Fan’s theorem. Moreover, we show the existence of heavy cycles passing through some specified vertices

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

Matchings, factors and cycles in graphs

A matching in a graph is a set of pairwise nonadjacent edges, a k-factor is a k-regular spanning subgraph, and a cycle is a closed path. This thesis has two parts. In Part I (by far the larger part) we study sufficient conditions for structures involving matchings, factors and cycles. The three main types of conditions involve: the minimum degree; the degree sum of pairs of nonadjacent vertices (Ore-type conditions); and the neighbourhoods of independent sets of vertices. We show that most of our theorems are best possible by giving appropriate extremal graphs. We study Ore-type conditions for a graph to have a Hamilton cycle or 2-factor containing a given matching or path-system, and for any matching and single vertex to be contained in a cycle. We give Ore-type and neighbourhood conditions for a matching L of l edges to be contained in a matching of k edges (l 2) containing a given set of edges. We also establish neighbourhood conditions for the existence of a cycle of length at least k. A list-edge-colouring of a graph is an assignment of a colour to each edge from its own list of colours. In Part II we study edge colourings of powers of cycles, and prove the List-Edge-Colouring Conjecture for squares of cycles of odd length

Matchings, factors and cycles in graphs

A matching in a graph is a set of pairwise nonadjacent edges, a k-factor is a k-regular spanning subgraph, and a cycle is a closed path. This thesis has two parts. In Part I (by far the larger part) we study sufficient conditions for structures involving matchings, factors and cycles. The three main types of conditions involve: the minimum degree; the degree sum of pairs of nonadjacent vertices (Ore-type conditions); and the neighbourhoods of independent sets of vertices. We show that most of our theorems are best possible by giving appropriate extremal graphs. We study Ore-type conditions for a graph to have a Hamilton cycle or 2-factor containing a given matching or path-system, and for any matching and single vertex to be contained in a cycle. We give Ore-type and neighbourhood conditions for a matching L of l edges to be contained in a matching of k edges (l 2) containing a given set of edges. We also establish neighbourhood conditions for the existence of a cycle of length at least k. A list-edge-colouring of a graph is an assignment of a colour to each edge from its own list of colours. In Part II we study edge colourings of powers of cycles, and prove the List-Edge-Colouring Conjecture for squares of cycles of odd length

Three Existence Problems in Extremal Graph Theory

Proving the existence or nonexistence of structures with specified properties is the impetus for many classical results in discrete mathematics. In this thesis we take this approach to three different structural questions rooted in extremal graph theory. When studying graph representations, we seek efficient ways to encode the structure of a graph. For example, an {\it interval representation} of a graph $G$ is an assignment of intervals on the real line to the vertices of $G$ such that two vertices are adjacent if and only if their intervals intersect. We consider graphs that have {\it bar $k$-visibility representations}, a generalization of both interval representations and another well-studied class of representations known as visibility representations. We obtain results on $\mathcal{F}_k$, the family of graphs having bar $k$-visibility representations. We also study $\bigcup_{k=0}^{\infty} \mathcal{F}_k$. In particular, we determine the largest complete graph having a bar $k$-visibility representation, and we show that there are graphs that do not have bar $k$-visibility representations for any $k$. Graphs arise naturally as models of networks, and there has been much study of the movement of information or resources in graphs. Lampert and Slater \cite{LS} introduced {\it acquisition} in weighted graphs, whereby weight moves around $G$ provided that each move transfers weight from a vertex to a heavier neighbor. Our goal in making acquisition moves is to consolidate all of the weight in $G$ on the minimum number of vertices; this minimum number is the {\it acquisition number} of $G$. We study three variations of acquisition in graphs: when a move must transfer all the weight from a vertex to its neighbor, when each move transfers a single unit of weight, and when a move can transfer any positive amount of weight. We consider acquisition numbers in various families of graphs, including paths, cycles, trees, and graphs with diameter $2$. We also study, under the various acquisition models, those graphs in which all the weight can be moved to a single vertex. Restrictive local conditions often have far-reaching impacts on the global structure of mathematical objects. Some local conditions are so limiting that very few objects satisfy the requirements. For example, suppose that we seek a graph in which every two vertices have exactly one common neighbor. Such graphs are called {\it friendship graphs}, and Wilf~\cite{Wilf} proved that the only such graphs consist of edge-disjoint triangles sharing a common vertex. We study a related structural restriction where similar phenomena occur. For a fixed graph $H$, we consider those graphs that do not contain $H$ and such that the addition of any edge completes exactly one copy of $H$. Such a graph is called {\it uniquely $H$-saturated}. We study the existence of uniquely $H$-saturated graphs when $H$ is a path or a cycle. In particular, we determine all of the uniquely $C_4$-saturated graphs; there are exactly ten. Interestingly, the uniquely $C_{5}$-saturated graphs are precisely the friendship graphs characterized by Wilf

Power system vulnerability and performance: application from complexity scienze and complex network

Power system has been acknowledged as a complex system owing to its complexity resulting from interactions of different layers which include physical layer like generators, transformers, substations and cyber layer like communication units and human decision layer. Complex network theory has been widely used to analyze the power grids from basic topological properties to statistic robustness analysis and dynamic resilience property. However, there are still many problems need to be addressed. This thesis will pay more attention on the application and extension of complexity science and complex network theory in power system analysis from different aspects