Circuits, Perfect Matchings and Paths in Graphs

We primarily consider the problem of finding a family of circuits to cover a bidgeless graph (mainly on cubic graph) with respect to a given weight function defined on the edge set. The first chapter of this thesis is going to cover all basic concepts and notations will be used and a survey of this topic.;In Chapter two, we shall pay our attention to the Strong Circuit Double Cover Conjecture (SCDC Conjecture). This conjecture was verified for some graphs with special structure. As the complement of two factor in cubic graph, the Berge-Fulkersen Conjecture was introduced right after SCDC Conjecture. In Chapter three, we shall present a series of conjectures related to perfect matching covering and point out their relationship.;In last chapter, we shall introduce the saturation number, in contrast to extremal number (or known as Turan Number), and describe the edge spectrum of saturation number for small paths, where the spectrum was consisted of all possible integers between saturation number and Turan number

Topics in graph colouring and graph structures

This thesis investigates problems in a number of different areas of graph theory. These problems are related in the sense that they mostly concern the colouring or structure of the underlying graph. The first problem we consider is in Ramsey Theory, a branch of graph theory stemming from the eponymous theorem which, in its simplest form, states that any sufficiently large graph will contain a clique or anti-clique of a specified size. The problem of finding the minimum size of underlying graph which will guarantee such a clique or anti-clique is an interesting problem in its own right, which has received much interest over the last eighty years but which is notoriously intractable. We consider a generalisation of this problem. Rather than edges being present or not present in the underlying graph, each is assigned one of three possible colours and, rather than considering cliques, we consider cycles. Combining regularity and stability methods, we prove an exact result for a triple of long cycles. We then move on to consider removal lemmas. The classic Removal Lemma states that, for n sufficiently large, any graph on n vertices containing o(n^3) triangles can be made triangle-free by the removal of o(n^2) edges. Utilising a coloured hypergraph generalisation of this result, we prove removal lemmas for two classes of multinomials. Next, we consider a problem in fractional colouring. Since finding the chromatic number of a given graph can be viewed as an integer programming problem, it is natural to consider the solution to the corresponding linear programming problem. The solution to this LP-relaxation is called the fractional chromatic number. By a probabilistic method, we improve on the best previously known bound for the fractional chromatic number of a triangle-free graph with maximum degree at most three. Finally, we prove a weak version of Vizing's Theorem for hypergraphs. We prove that, if H is an intersecting 3-uniform hypergraph with maximum degree D and maximum multiplicity m, then H has at most 2D+m edges. Furthermore, we prove that the unique structure achieving this maximum is m copies of the Fano Plane

Finding Optimal Tree Decompositions

The task of organizing a given graph into a structure called a tree decomposition is relevant in multiple areas of computer science. In particular, many NP-hard problems can be solved in polynomial time if a suitable tree decomposition of a graph describing the problem instance is given as a part of the input. This motivates the task of finding as good tree decompositions as possible, or ideally, optimal tree decompositions. This thesis is about finding optimal tree decompositions of graphs with respect to several notions of optimality. Each of the considered notions measures the quality of a tree decomposition in the context of an application. In particular, we consider a total of seven problems that are formulated as finding optimal tree decompositions: treewidth, minimum fill-in, generalized and fractional hypertreewidth, total table size, phylogenetic character compatibility, and treelength. For each of these problems we consider the BT algorithm of Bouchitté and Todinca as the method of finding optimal tree decompositions. The BT algorithm is well-known on the theoretical side, but to our knowledge the first time it was implemented was only recently for the 2nd Parameterized Algorithms and Computational Experiments Challenge (PACE 2017). The author’s implementation of the BT algorithm took the second place in the minimum fill-in track of PACE 2017. In this thesis we review and extend the BT algorithm and our implementation. In particular, we improve the eciency of the algorithm in terms of both theory and practice. We also implement the algorithm for each of the seven problems considered, introducing a novel adaptation of the algorithm for the maximum compatibility problem of phylogenetic characters. Our implementation outperforms alternative state-of-the-art approaches in terms of numbers of test instances solved on well-known benchmarks on minimum fill-in, generalized hypertreewidth, fractional hypertreewidth, total table size, and the maximum compatibility problem of phylogenetic characters. Furthermore, to our understanding the implementation is the first exact approach for the treelength problem

ICASE/LaRC Workshop on Adaptive Grid Methods

Solution-adaptive grid techniques are essential to the attainment of practical, user friendly, computational fluid dynamics (CFD) applications. In this three-day workshop, experts gathered together to describe state-of-the-art methods in solution-adaptive grid refinement, analysis, and implementation; to assess the current practice; and to discuss future needs and directions for research. This was accomplished through a series of invited and contributed papers. The workshop focused on a set of two-dimensional test cases designed by the organizers to aid in assessing the current state of development of adaptive grid technology. In addition, a panel of experts from universities, industry, and government research laboratories discussed their views of needs and future directions in this field