Perfect Matching and Circuit Cover of Graphs

The research of my dissertation is motivated by the Circuit Double Cover Conjecture due to Szekeres and independently Seymour, that every bridgeless graph G has a family of circuits which covers every edge of G twice. By Fleischner\u27s Splitting Lemma, it suffices to verify the circuit double cover conjecture for bridgeless cubic graphs.;It is well known that every edge-3-colorable cubic graph has a circuit double cover. The structures of edge-3-colorable cubic graphs have strong connections with the circuit double cover conjecture. In chapter two, we consider the structure properties of a special class of edge-3-colorable cubic graphs, which has an edge contained by a unique perfect matching. In chapter three, we prove that if a cubic graph G containing a subdivision of a special class of edge-3-colorable cubic graphs, semi-Kotzig graphs, then G has a circuit double cover.;Circuit extension is an approach posted by Seymour to attack the circuit double cover conjecture. But Fleischer and Kochol found counterexamples to this approach. In chapter four, we post a modified approach, called circuit extension sequence. If a cubic graph G has a circuit extension sequence, then G has a circuit double cover. We verify that all Fleischner\u27s examples and Kochol\u27s examples have a circuit extension sequence, and hence not counterexamples to our approach. Further, we prove that a circuit C of a bridgeless cubic G is extendable if the attachments of all odd Tutte-bridges appear on C consequently.;In the last chapter, we consider the properties of minimum counterexamples to the strong circuit double cover. Applying these properties, we show that if a cubic graph G has a long circuit with at least | V(G)| - 7 vertices, then G has a circuit double cover

Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44

The family of snarks -- connected bridgeless cubic graphs that cannot be 3-edge-coloured -- is well-known as a potential source of counterexamples to several important and long-standing conjectures in graph theory. These include the cycle double cover conjecture, Tutte's 5-flow conjecture, Fulkerson's conjecture, and several others. One way of approaching these conjectures is through the study of structural properties of snarks and construction of small examples with given properties. In this paper we deal with the problem of determining the smallest order of a nontrivial snark (that is, one which is cyclically 4-edge-connected and has girth at least 5) of oddness at least 4. Using a combination of structural analysis with extensive computations we prove that the smallest order of a snark with oddness at least 4 and cyclic connectivity 4 is 44. Formerly it was known that such a snark must have at least 38 vertices [J. Combin. Theory Ser. B 103 (2013), 468--488] and one such snark on 44 vertices was constructed by Lukot'ka et al. [Electron. J. Combin. 22 (2015), #P1.51]. The proof requires determining all cyclically 4-edge-connected snarks on 36 vertices, which extends the previously compiled list of all such snarks up to 34 vertices [J. Combin. Theory Ser. B, loc. cit.]. As a by-product, we use this new list to test the validity of several conjectures where snarks can be smallest counterexamples.Comment: 21 page

Some snarks are worse than others

Many conjectures and open problems in graph theory can either be reduced to cubic graphs or are directly stated for cubic graphs. Furthermore, it is known that for a lot of problems, a counterexample must be a snark, i.e. a bridgeless cubic graph which is not 3--edge-colourable. In this paper we deal with the fact that the family of potential counterexamples to many interesting conjectures can be narrowed even further to the family ${\cal S}_{\geq 5}$ of bridgeless cubic graphs whose edge set cannot be covered with four perfect matchings. The Cycle Double Cover Conjecture, the Shortest Cycle Cover Conjecture and the Fan-Raspaud Conjecture are examples of statements for which ${\cal S}_{\geq 5}$ is crucial. In this paper, we study parameters which have the potential to further refine ${\cal S}_{\geq 5}$ and thus enlarge the set of cubic graphs for which the mentioned conjectures can be verified. We show that ${\cal S}_{\geq 5}$ can be naturally decomposed into subsets with increasing complexity, thereby producing a natural scale for proving these conjectures. More precisely, we consider the following parameters and questions: given a bridgeless cubic graph, (i) how many perfect matchings need to be added, (ii) how many copies of the same perfect matching need to be added, and (iii) how many 2--factors need to be added so that the resulting regular graph is Class I? We present new results for these parameters and we also establish some strong relations between these problems and some long-standing conjectures.Comment: 27 pages, 16 figure

One brick at a time: a survey of inductive constructions in rigidity theory

We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding framework. We describe a number of cases in which characterisations of rigidity were proved by inductive constructions. That is, by identifying recursive operations that preserved rigidity and proving that these operations were sufficient to generate all such frameworks. We also outline the use of inductive constructions in some recent areas of particularly active interest, namely symmetric and periodic frameworks, frameworks on surfaces, and body-bar frameworks. We summarize the key outstanding open problems related to inductions.Comment: 24 pages, 12 figures, final versio

Total Curvature of Graphs after Milnor and Euler

We define a new notion of total curvature, called net total curvature, for finite graphs embedded in Rn, and investigate its properties. Two guiding principles are given by Milnor's way of measuring the local crookedness of a Jordan curve via a Crofton-type formula, and by considering the double cover of a given graph as an Eulerian circuit. The strength of combining these ideas in defining the curvature functional is (1) it allows us to interpret the singular/non-eulidean behavior at the vertices of the graph as a superposition of vertices of a 1-dimensional manifold, and thus (2) one can compute the total curvature for a wide range of graphs by contrasting local and global properties of the graph utilizing the integral geometric representation of the curvature. A collection of results on upper/lower bounds of the total curvature on isotopy/homeomorphism classes of embeddings is presented, which in turn demonstrates the effectiveness of net total curvature as a new functional measuring complexity of spatial graphs in differential-geometric terms.Comment: Most of the results contained in "Total curvature and isotopy of graphs in $R^3$."(arXiv:0806.0406) have been incorporated into the current articl

Covering matroid

In this paper, we propose a new type of matroids, namely covering matroids, and investigate the connections with the second type of covering-based rough sets and some existing special matroids. Firstly, as an extension of partitions, coverings are more natural combinatorial objects and can sometimes be more efficient to deal with problems in the real world. Through extending partitions to coverings, we propose a new type of matroids called covering matroids and prove them to be an extension of partition matroids. Secondly, since some researchers have successfully applied partition matroids to classical rough sets, we study the relationships between covering matroids and covering-based rough sets which are an extension of classical rough sets. Thirdly, in matroid theory, there are many special matroids, such as transversal matroids, partition matroids, 2-circuit matroid and partition-circuit matroids. The relationships among several special matroids and covering matroids are studied.Comment: 15 page

Symbolic analysis of large analog integrated circuits by approximation during expression generation

A novel algorithm is presented that generates approximate symbolic expressions for small-signal characteristics of large analog integrated circuits. The method is based upon the approximation of an expression while it is being computed. The CPU time and memory requirements are reduced drastically with regard to previous approaches, as only those terms are calculated which will remain in the final expression. As a consequence, the maximum circuit size amenable to symbolic analysis has largely increased. The simplification procedure explicitly takes into account variation ranges of the symbolic parameters to avoid inaccuracies of conventional approaches which use a single value. The new approach is also able to take into account mismatches between the symbolic parameters