Cycle Double Cover Conjecture
|
|
- Philip Merritt
- 5 years ago
- Views:
Transcription
1 Cycle Double Cover Conjecture Paul Clarke St. Paul's College Raheny January 5 th 2014 Abstract In this paper, a proof of the cycle double cover conjecture is presented. The cycle double cover conjecture purports that if a graph is bridgeless, then there exists a list of cycles in the graph such that every edge in the graph appears in the list exactly twice. By applying induction on the number of edges in a bridgeless graph, I show that when an edge is added to a bridgeless graph, we can reform the cycle double cover to include that edge. By mathematical induction, this concludes the general CDC. Keywords: cycle double cover conjecture, bridgeless graph, graph theory, topological embeddings, induction 1. Introduction The cycle double cover conjecture was posed by George Szekeres in [1] Another mathematician, Paul Seymour, independently discovered the conjecture in [2] The cycle double cover conjecture purports that if a graph is bridgeless, then there exists a list of cycles in the graph such that every edge in the graph appears in the list exactly twice. Work on the cycle double cover conjecture has mainly focused on strengthening the conjecture in the areas of topological embeddings of bridgeless graphs. The following conjecture is already
2 known to imply the CDC, but the converse is not necessarily true. Conjecture 1 (Strong embedding conjecture): Every 2-connected graph has a strong embedding in some surface. See [3] for the definition of a strong embedding of a graph. Attempting to prove this conjecture for specific special cases has become a prime method for attempting to conclude the CDC. If we restrict the number of possible cycles that are allowed in a cycle double cover, another avenue for partial results reveals itself. Conjecture 2: Every bridgeless graph has a 5-cycle double cover. A. Huck showed in [4] that a smallest counterexample to Conjecture 2 must have girth at least ten. If the CDC is false, it has been shown in [5] that a minimal counterexample must be a snark. L. Goddyn showed in [6] that a smallest counterexample to the general CDC must have girth at least ten. A. Huck then improved this result to girth twelve computationally. [4] For more information on the history of the cycle double cover conjecture, please consult the following references: [7] [8] [9] In this paper, I attempt to conclude the CDC by an inductive procedure. In section two of this paper, relevant graph theoretical terminology is discussed and defined. In section three, some preliminary results on cycle double covers in graphs are presented. Finally, in section four, a final proof of the general CDC is concluded. 2. Terminology In this section, we define graph theoretical terminology relevant to the material in this paper. For graph theoretical terminology not defined here, consult the books of Trudeau [10] and Harary [11] We define a graph G = (V, E), where V is a finite non-empty set called the vertex set. The elements of V(G) are called vertices. The elements of E(G) are two element subsets of V(G) and are called edges. In general, n = V(G). Two vertices v, u V(G) are adjacent in G if and only if {v, u} E(G). The number of vertices adjacent to a vertex v, denoted deg(v), is the degree of v. A graph G' = (V, E) is a subgraph of G (denoted G' G) if V(G') V(G) and E(G') E(G). A walk of length k in a graph G from vertex v to vertex u is a subgraph W G whereby V(W) is a sequence of vertices {v = v 0, v 1, v 2,..., v k = u} in G such that {v i, v i+1 } E(G) for all 0 i < k. E(W) is defined as {{v i, v i+1 } 0 i < k, v i V(W)}. The two vertices v 1, v 2 V(W) whereby deg(v 1 ) = 1
3 and deg(v 2 ) = 1 are called the endpoints of W. A path P is defined as a walk whereby for every vertex v V(P), deg(v) 2. A cycle C in a graph is a path with an extra edge connecting the two endpoints of the path. A k-cycle is a cycle C whereby V(C) = k. If there exists a cycle C in G such that V(C) = V(G), G is Hamiltonian. The spanning cycle is called a Hamiltonian cycle in G. A cycle double cover of G is a set X of cycles in G such that for every edge e E(G), there exist exactly two cycles C i X and C j X such that e E(C i ) and e E(C j ). A graph G is connected if for every pair of vertices v and u in V(G), there exists a path in G with v and u as endpoints. G is called k-connected if the removal of fewer than k vertices from V(G) cannot disconnect G. The connectivity of a graph, denoted by k(g), is defined as the minimum number of vertices the removal of which from V(G) will disconnect G. A graph G is k-edgeconnected if the removal of fewer than k edges from E(G) cannot disconnect G. The edge connectivity of a graph G, denoted by λ(g), is defined as the minimum number of edges the removal of which from E(G) will disconnect G. G is bridgeless if λ(g) 2. The following definition of a snark can be found in [12]. A snark G is defined as a bridgeless, cubic graph. In addition, the edges of G cannot be colored with three colors such that no two adjacent edges share the same color. In this paper, we consider only finite, simple, undirected graphs. 3. Preliminary results In this section, two preliminary results on cycle double covers are presented. We begin our investigation of the CDC with a preliminary result on sequences and adjacency's of cycles in a bridgeless graph. Theorem 1: Let G be a bridgeless graph with a cycle double cover X. Then for every pair of cycles C 1 and C k in X there exists a sequence of cycles S = (C 1, C 2, C 3, C k ) in X such that V(C i ) V(C i + 1) {} for all 1 i < k and V(C i ) V(C j ) = {} for all 1 i k, 1 j k, j i, i + 1, i 1. Proof: Suppose that we have two arbitrary cycles C 1 and C k in X. We will build a sequence S = (C 1, C 2, C 3, C k ) of cycles in G such that V(C i ) V(C i + 1 ) {} for all 1 i < k and V(C i ) V(C j ) = {} for all 1 i k, 1 j k, j i, i + 1, i 1. Let S = (). Append C 1 to S. Let v 1 be some arbitrary vertex on C 1 and let v k be some arbitrary vertex on C k. As G is bridgeless, there exists some path with v 1 and v k as endpoints in G. Let P be the shortest
4 such path. Let v 2 be the first vertex on P such that v 2 V(C 1 ). If there is no such vertex, then the proposition trivially holds, as either C 1 = C k or v k V(C 1 ) V(C k ). Let v' V(C 1 ) be a vertex adjacent to v 2. As X is a cycle double cover, there exists some cycle C 2 X such that {v 2, v'} E(C 2 ). Append C 2 to S. Note that v' V(C 1 ) V(C 2 ), so V(C 1 ) V(C 2 ) {}. Note that C 1 C 2. Now let v 3 be the first vertex on P / C 1 such that v 3 V(C 2 ), and repeat the above process with v 3 in the place of v 2. Repeat the above process recursively until we form S = (C 1, C 2, C 3, C k ). Clearly, by the above procedure, V(C i ) V(C i + 1 ) {} for all 1 i < k and all C i are unique. Suppose now that V(C i ) V(C j ) {} for some i, j i, i + 1, i 1 in S. Assume without loss of generality that i < j. Consider the set R = {C m i < m < j}, where C m is a cycle in S. Remove R from S while preserving the order of S. Restart the indices of S by letting the index of C j be equal to the index of R[0]. Clearly, S still satisfies the condition that V(C i ) V(C i + 1 ) {} for all 1 i < k. By repeating this process for every incidence of the assumption, we will form S such that V(C i ) V(C j ) = {} for all 1 i k, 1 j k, j i, i + 1, i 1. Therefore, the proposition holds. As our choice of C 1 and C k was arbitrary, the desired result follows. QED Any minimal counterexample to the CDC must be a snark. [5] Therefore, if G is a minimal counterexample to the CDC, for every vertex v V(G), deg(v) = 3. This observation allows us to conclude the CDC for a special case of graphs, which is pivotal in my inductive argument for settling the CDC in general. Theorem 2: If G is a bridgeless graph whereby for every edge e E(G), G / e is not bridgeless, G has a cycle double cover. Proof: Suppose that Theorem 2 is not true. Let G be a minimal counterexample. As G is also a minimal counterexample to the general CDC, for every vertex v V(G), deg(v) = 3. We will build a set S of cycles in G. Let C 1 be an arbitrary cycle in G and append C 1 to S. Let v be a vertex adjacent to a vertex v' V(C 1 ) such that v V(C 1 ). As G is bridgeless, v and v' lie on a common cycle C 2. This result can be found in [11]. Clearly, V(C 1 ) V(C 2 ) {} and C 1 C 2. Append C 2 to S. Now repeat the above process with C 1 C 2 in the place of C 1. By repeating the above process recursively, we will find a set S of cycles such that the union of the vertex sets of the cycles in S is equal to V(G). Let S = k. Let G' be a graph formed by the union of all cycles in S. Clearly, G' is bridgeless, as G' is connected and for every edge e E(G'), e is on some cycle in G'. Consider C k S. As C k was the last cycle added to S, and as C k is a cycle, there must exist some vertex v V(C k ) whereby deg(v) =
5 2. Therefore, deg(v) = 2 in G'. As deg(v) = 3 in G, there must exist some edge e' E(G) such that v e' and e' E(G'). Therefore, G / e' is bridgeless, as G' G / e'. However, this is a contradiction, as by the proposition, for every edge e E(G), G / e is not bridgeless. Therefore, there can exist no minimal counterexample to the proposition, and thus the desired result follows. QED 4. Final proof In this section, we apply the results presented in section 3 to conclude the general cycle double cover conjecture through an inductive procedure. Theorem 3 (cycle double cover conjecture): If G is bridgeless, then G has a cycle double cover. Proof: We will prove the above statement by induction on m = E(G). Suppose that m = 3. Clearly, the only possible bridgeless graph whereby E(G) = 3 is K 3. By appending K 3 to an empty set X twice, X becomes a cycle double cover for G = K 3. Therefore, we have proven the proposition for m = 3. Assume that the proposition holds for E(G) = m. Suppose now that we have some bridgeless graph G whereby E(G) = m + 1. Suppose that G is a bridgeless graph whereby for every edge e E(G), G / e is not bridgeless. Then, by Theorem 2, G has a cycle double cover X, and we have proven the m + 1 case. Suppose that there exists some edge e E(G) such that G / e is bridgeless. Remove e = {v 1, v k } from E(G). As G is bridgeless and as E(G) = m, by the induction assumption, G has a cycle double cover X. As X is a cycle double cover, there exists some cycle C 1 X such that v 1 V(C 1 ) and some cycle C k X such that v k V(C k ). Suppose that C 1 = C k. Then v 1 V(C 1 ) and v k V(C 1 ). Suppose now that we replace e back into E(G). The addition of e creates two new cycles C 1 ' and C 1 * from C 1. (Fig. 1) Suppose that we replace C 1 with C 1 ' and C 1 * in X. Note that for every edge r E(C 1 ), r E(C 1 ') or r E(C 1 *). Also, e E(C 1 ') and e E(C 1 *). Therefore, as the rest of the graph is unchanged, for every edge r E(G), there still exist exactly two cycles C i X and C j X such that r E(C i ) and r E(C j ). Therefore, G has a cycle double cover, and the proposition holds for m + 1. Suppose that C 1 C k. As G is bridgeless, and as G has a cycle double cover X, by Theorem 1, there exists a sequence of cycles S = (C 1, C 2, C 3, C k ) in X such that V(C i ) V(C i + 1 ) {} for all 1 i < k and V(C i ) V(C j ) = {} for all 1 i k, 1 j k, j i, i + 1, i 1. (Fig. 2) Replace e back
6 into E(G). We will build two cycles C' and C* such that C' C* covers the same set of edges as S, and also covers e twice, thus reforming the cycle double cover X of G. Fig. 1: C 1 split by e into C 1 ' and C 1 * Choose v 1 such that v 1 V(C 1 ) V(C 2 ) and choose v k such that v k V(C k ) V(C k-1 ). This is permissible as if v 1 V(C 1 ) V(C 2 ), we could let C 2 = C 1 in S and re-index the sequence. Similarly for v k. Consider v 1. Let C' = {{}, {}} and let C* = {{}, {}}, where C' and C* are graphs. Append v 1 to V(C') and V(C*). As C 1 is a cycle, there exist two paths P' C 1 and P* C 1 between v 1 and V(C 1 ) V(C 2 ). (Fig. 3) Fig. 2: A sample sequence S of cycles between C 1 and C k
7 Let v' be the vertex on the endpoint of P' and let v* be the vertex on the endpoint of P*. Let C' = C' P' and let C* = C* P*. Suppose that E(C 1 ) E(C 2 ) E(C 1 ). Therefore, there must exist exactly two paths P 1 and P 2 between v' and v* such that V(P 1 ) V(C 1 ) and V(P 2 ) V(C 2 ). Let C' = C' P 1 and let C* = C* P 2. Note that C' is a path with endpoint v* and C* is a path with endpoint v'. As C 2 is a cycle, there exists a path P 3 between v* and V(C 2 ) V(C 3 ). Let v 3 be the vertex on the endpoint of this path. Similarly, there exists a path P 4 between v' and V(C 2 ) V(C 3 ). Let v 4 be the vertex on the endpoint of this path. Let C' = C' P 3 and let C* = C* P 4. Note that C' C* now covers the same set of edges as C 1 ( C 2 / C 2 C 3 ). Suppose that E(C 1 ) E(C 2 ) E(C 1 ). Therefore, there exists exactly one path P between v* and v' along V(C 1 ) V(C 2 ). Let C' = C' P and let C* = C* P. Similar to the above, we can now let C' = C' P 3 and let C* = C* P 4. Note that C' C* now covers the same set of edges as C 1 ( C 2 / C 2 C 3 ). We can now repeat the above process with v 3 and v 4 in the place of v' and v*. Repeat the process recursively until C' and C* cover C k-1. Clearly, C' and C* are walks. Let v r be the vertex on the endpoint of C' and let v s be the vertex on the endpoint of C*. When C' and C* cover C k-1, there exists a path P r between v r and v k and a path P s between v s and v k such that E(P r ) E(P s ) = E(C k ) / E(C k-1 C k ). Let C' = C' P r and C* = C* P s without loss of generality. By the above procedure, C' C* covers the same set of edges as the cycles of S. Suppose that C' is not a path. Therefore, as C' is a walk, there must exist some cycle C'' in G such that C'' C'. Let v'' be the first vertex whereby v'' V(C') and v'' V(C''). Append C'' to a new set Y and continue C' from v'', ignoring C''. Do this for all such cycles C'' C'. As C' is now a walk with no cycles, C' is a path. Similarly for C*. Fig. 3: Two paths P' and P* between v 1 and V(C 1 ) V(C 2 )
8 Note now that {C', C*} Y covers the same set of edges as the cycles of S. Add {v 1, v k } to E(C') and E(C*). Clearly, C' and C* are now cycles. Remove the cycles of S from X and add C', C* and the cycles of Y to X. As stated before, {C', C*} Y covers the same set of edges as the cycles of S. In addition, e is also covered twice. Therefore, we have reformed the cycle double cover X in G, and the proposition holds for m + 1. Therefore, in all possible cases, we have proven the proposition for the m + 1 case. By mathematical induction, the proposition holds for all m 3. As this clearly encapsulates all possible bridgeless graphs, the desired result follows. QED 5. References [1]. Szekeres, G. (1973) Polyhedral decomposition of cubic graphs. Austral. Math. Soc., 8, [2]. Seymour, P.D. (1979) Sums of circuits. in: Graph Theory and related topics, J.A. Bondy and U.S.R Murty, eds., New York: Academic Press, p [3]. Chan, M. (2009) A survey of the cycle double cover conjecture. Department of Mathematics, Princeton University. [4]. Huck, A. (2000) Reducible configurations for the cycle double cover conjecture. Discrete Applied Mathematics, 99, [5]. Jaeger, F. (1985) A survey of the cycle double cover conjecture. Annals of Discrete Mathematics 27 Cycles in Graphs, North-Holland Mathematics Studies 27, [6]. Goddyn, L. (1985) A girth requirement for the double cycle cover conjecture. Ann. Discrete Math. 27, [7]. Zhang, C.Q. (1997) Integer Flows and Cycle Covers of Graphs. New York: Marcel Dekker Inc.
9 [8]. Alspach, B., Goddyn, L., Zhang, C. (1994) Graphs with the Circuit Cover Property. Transactions of the American Mathematical Society, 344, 1, [9]. DeVos, M., Johnson, T., Seymour, P. Cut Coloring and Circuit Covering. J. Combin. Theory Ser. B. [10]. Trudeau, R.J. (1993) Introduction to Graph Theory. New York: Dover Publications. [11]. Harary, F. (1972) Graph Theory. Addison-Wesley Publishing Company, Inc. [12]. Gardner, M. (1976) Mathematical Games. Scientific American 4 (234):
Small Cycle Cover of 2-Connected Cubic Graphs
. Small Cycle Cover of 2-Connected Cubic Graphs Hong-Jian Lai and Xiangwen Li 1 Department of Mathematics West Virginia University, Morgantown WV 26505 Abstract Every 2-connected simple cubic graph of
More informationCycle Double Covers and Semi-Kotzig Frame
Cycle Double Covers and Semi-Kotzig Frame Dong Ye and Cun-Quan Zhang arxiv:1105.5190v1 [math.co] 26 May 2011 Department of Mathematics, West Virginia University, Morgantown, WV 26506-6310 Emails: dye@math.wvu.edu;
More informationarxiv: v1 [cs.dm] 24 Jan 2008
5-cycles and the Petersen graph arxiv:0801.3714v1 [cs.dm] 24 Jan 2008 M. DeVos, V. V. Mkrtchyan, S. S. Petrosyan, Department of Mathematics, Simon Fraser University, Canada Department of Informatics and
More informationCYCLE DOUBLE COVERS OF INFINITE PLANAR GRAPHS
Discussiones Mathematicae Graph Theory 36 (2016) 523 544 doi:10.7151/dmgt.1879 CYCLE DOUBLE COVERS OF INFINITE PLANAR GRAPHS Mohammad Javaheri 515 Loudon Road School of Science, Siena College Loudonville,
More informationGIRTH SIX CUBIC GRAPHS HAVE PETERSEN MINORS
GIRTH SIX CUBIC GRAPHS HAVE PETERSEN MINORS Neil Robertson 1 Department of Mathematics Ohio State University 231 W. 18th Ave. Columbus, Ohio 43210, USA P. D. Seymour Bellcore 445 South St. Morristown,
More informationEvery line graph of a 4-edge-connected graph is Z 3 -connected
European Journal of Combinatorics 0 (2009) 595 601 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Every line graph of a 4-edge-connected
More informationGroup flow, complex flow, unit vector flow, and the (2+)-flow conjecture
Downloaded from orbit.dtu.dk on: Jan 14, 2019 Group flow, complex flow, unit vector flow, and the (2+)-flow conjecture Thomassen, Carsten Published in: Journal of Combinatorial Theory. Series B Link to
More information1-factor and cycle covers of cubic graphs
1-factor and cycle covers of cubic graphs arxiv:1209.4510v [math.co] 29 Jan 2015 Eckhard Steffen Abstract Let G be a bridgeless cubic graph. Consider a list of k 1-factors of G. Let E i be the set of edges
More information(This is a sample cover image for this issue. The actual cover is not yet available at this time.)
(This is a sample cover image for this issue. The actual cover is not yet available at this time.) This article appeared in a journal published by Elsevier. The attached copy is furnished to the author
More informationNowhere-zero Unoriented Flows in Hamiltonian Graphs
Nowhere-zero Unoriented Flows in Hamiltonian Graphs S. Akbari 1,5, A. Daemi 2, O. Hatami 1, A. Javanmard 3, A. Mehrabian 4 1 Department of Mathematical Sciences Sharif University of Technology Tehran,
More informationZero-Sum Flows in Regular Graphs
Zero-Sum Flows in Regular Graphs S. Akbari,5, A. Daemi 2, O. Hatami, A. Javanmard 3, A. Mehrabian 4 Department of Mathematical Sciences Sharif University of Technology Tehran, Iran 2 Department of Mathematics
More informationNowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E.
Nowhere zero flow Definition: A flow on a graph G = (V, E) is a pair (D, f) such that 1. D is an orientation of G. 2. f is a function on E. 3. u N + D (v) f(uv) = w ND f(vw) for every (v) v V. Example:
More informationHamilton weight and Petersen minor
Hamilton weight and Petersen minor Hong-Jian Lai and Cun-Quan Zhang Department of Mathematics West Virginia University Morgantown, WV 26506-6310, USA Email: hjlai@math.wvu.edu, cqzhang@math.wvu.edu Abstract
More informationCompatible Circuit Decompositions of 4-Regular Graphs
Compatible Circuit Decompositions of 4-Regular Graphs Herbert Fleischner, François Genest and Bill Jackson Abstract A transition system T of an Eulerian graph G is a family of partitions of the edges incident
More informationGroup connectivity of certain graphs
Group connectivity of certain graphs Jingjing Chen, Elaine Eschen, Hong-Jian Lai May 16, 2005 Abstract Let G be an undirected graph, A be an (additive) Abelian group and A = A {0}. A graph G is A-connected
More informationDecomposing planar cubic graphs
Decomposing planar cubic graphs Arthur Hoffmann-Ostenhof Tomáš Kaiser Kenta Ozeki Abstract The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree,
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationEulerian Subgraphs in Graphs with Short Cycles
Eulerian Subgraphs in Graphs with Short Cycles Paul A. Catlin Hong-Jian Lai Abstract P. Paulraja recently showed that if every edge of a graph G lies in a cycle of length at most 5 and if G has no induced
More informationCompatible Circuit Decompositions of Eulerian Graphs
Compatible Circuit Decompositions of Eulerian Graphs Herbert Fleischner, François Genest and Bill Jackson Septemeber 5, 2006 1 Introduction Let G = (V, E) be an Eulerian graph. Given a bipartition (X,
More informationGraphs & Algorithms: Advanced Topics Nowhere-Zero Flows
Graphs & Algorithms: Advanced Topics Nowhere-Zero Flows Uli Wagner ETH Zürich Flows Definition Let G = (V, E) be a multigraph (allow loops and parallel edges). An (integer-valued) flow on G (also called
More informationSpanning Paths in Infinite Planar Graphs
Spanning Paths in Infinite Planar Graphs Nathaniel Dean AT&T, ROOM 2C-415 600 MOUNTAIN AVENUE MURRAY HILL, NEW JERSEY 07974-0636, USA Robin Thomas* Xingxing Yu SCHOOL OF MATHEMATICS GEORGIA INSTITUTE OF
More informationGraphs with few total dominating sets
Graphs with few total dominating sets Marcin Krzywkowski marcin.krzywkowski@gmail.com Stephan Wagner swagner@sun.ac.za Abstract We give a lower bound for the number of total dominating sets of a graph
More informationDominating a family of graphs with small connected subgraphs
Dominating a family of graphs with small connected subgraphs Yair Caro Raphael Yuster Abstract Let F = {G 1,..., G t } be a family of n-vertex graphs defined on the same vertex-set V, and let k be a positive
More informationTHE STRUCTURE AND EXISTENCE OF 2-FACTORS IN ITERATED LINE GRAPHS
Discussiones Mathematicae Graph Theory 27 (2007) 507 526 THE STRUCTURE AND EXISTENCE OF 2-FACTORS IN ITERATED LINE GRAPHS Michael Ferrara Department of Theoretical and Applied Mathematics The University
More informationSupereulerian planar graphs
Supereulerian planar graphs Hong-Jian Lai and Mingquan Zhan Department of Mathematics West Virginia University, Morgantown, WV 26506, USA Deying Li and Jingzhong Mao Department of Mathematics Central China
More informationColourings of cubic graphs inducing isomorphic monochromatic subgraphs
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs arxiv:1705.06928v1 [math.co] 19 May 2017 Marién Abreu 1, Jan Goedgebeur 2, Domenico Labbate 1, Giuseppe Mazzuoccolo 3 1 Dipartimento
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H 1, H 2 ) so that H 1 H 2 = G E(H 1 ) E(H 2 ) = V (H 1 ) V (H 2 ) = k Such a separation is proper if V (H
More informationand critical partial Latin squares.
Nowhere-zero 4-flows, simultaneous edge-colorings, and critical partial Latin squares Rong Luo Department of Mathematical Sciences Middle Tennessee State University Murfreesboro, TN 37132, U.S.A luor@math.wvu.edu
More informationColourings of cubic graphs inducing isomorphic monochromatic subgraphs
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs arxiv:1705.06928v2 [math.co] 10 Sep 2018 Marién Abreu 1, Jan Goedgebeur 2, Domenico Labbate 1, Giuseppe Mazzuoccolo 3 1 Dipartimento
More informationOn Perfect Matching Coverings and Even Subgraph Coverings
On Perfect Matching Coverings and Even Subgraph Coverings Xinmin Hou, Hong-Jian Lai, 2 and Cun-Quan Zhang 2 SCHOOL OF MATHEMATICAL SCIENCES UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA HEFEI, ANHUI, 20026
More informationCycles in 4-Connected Planar Graphs
Cycles in 4-Connected Planar Graphs Guantao Chen Department of Mathematics & Statistics Georgia State University Atlanta, GA 30303 matgcc@panther.gsu.edu Genghua Fan Institute of Systems Science Chinese
More informationObservation 4.1 G has a proper separation of order 0 if and only if G is disconnected.
4 Connectivity 2-connectivity Separation: A separation of G of order k is a pair of subgraphs (H, K) with H K = G and E(H K) = and V (H) V (K) = k. Such a separation is proper if V (H) \ V (K) and V (K)
More informationHamilton cycles and closed trails in iterated line graphs
Hamilton cycles and closed trails in iterated line graphs Paul A. Catlin, Department of Mathematics Wayne State University, Detroit MI 48202 USA Iqbalunnisa, Ramanujan Institute University of Madras, Madras
More informationAALBORG UNIVERSITY. Total domination in partitioned graphs. Allan Frendrup, Preben Dahl Vestergaard and Anders Yeo
AALBORG UNIVERSITY Total domination in partitioned graphs by Allan Frendrup, Preben Dahl Vestergaard and Anders Yeo R-2007-08 February 2007 Department of Mathematical Sciences Aalborg University Fredrik
More informationConnectivity of Cages
Connectivity of Cages H. L. Fu, 1,2 1 DEPARTMENT OF APPLIED MATHEMATICS NATIONAL CHIAO-TUNG UNIVERSITY HSIN-CHU, TAIWAN REPUBLIC OF CHINA K. C. Huang, 3 3 DEPARTMENT OF APPLIED MATHEMATICS PROVIDENCE UNIVERSITY,
More informationStandard Diraphs the (unique) digraph with no vertices or edges. (modulo n) for every 1 i n A digraph whose underlying graph is a complete graph.
5 Directed Graphs What is a directed graph? Directed Graph: A directed graph, or digraph, D, consists of a set of vertices V (D), a set of edges E(D), and a function which assigns each edge e an ordered
More informationEven Cycles in Hypergraphs.
Even Cycles in Hypergraphs. Alexandr Kostochka Jacques Verstraëte Abstract A cycle in a hypergraph A is an alternating cyclic sequence A 0, v 0, A 1, v 1,..., A k 1, v k 1, A 0 of distinct edges A i and
More informationarxiv: v2 [math.co] 7 Jan 2016
Global Cycle Properties in Locally Isometric Graphs arxiv:1506.03310v2 [math.co] 7 Jan 2016 Adam Borchert, Skylar Nicol, Ortrud R. Oellermann Department of Mathematics and Statistics University of Winnipeg,
More informationNowhere-zero 3-flows in triangularly connected graphs
Nowhere-zero 3-flows in triangularly connected graphs Genghua Fan 1, Hongjian Lai 2, Rui Xu 3, Cun-Quan Zhang 2, Chuixiang Zhou 4 1 Center for Discrete Mathematics Fuzhou University Fuzhou, Fujian 350002,
More informationParity Versions of 2-Connectedness
Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida
More informationOn two conjectures about the proper connection number of graphs
On two conjectures about the proper connection number of graphs Fei Huang, Xueliang Li, Zhongmei Qin Center for Combinatorics and LPMC arxiv:1602.07163v3 [math.co] 28 Mar 2016 Nankai University, Tianjin
More informationPerfect matchings in highly cyclically connected regular graphs
Perfect matchings in highly cyclically connected regular graphs arxiv:1709.08891v1 [math.co] 6 Sep 017 Robert Lukot ka Comenius University, Bratislava lukotka@dcs.fmph.uniba.sk Edita Rollová University
More informationThe Reduction of Graph Families Closed under Contraction
The Reduction of Graph Families Closed under Contraction Paul A. Catlin, Department of Mathematics Wayne State University, Detroit MI 48202 November 24, 2004 Abstract Let S be a family of graphs. Suppose
More informationConditional colorings of graphs
Discrete Mathematics 306 (2006) 1997 2004 Note Conditional colorings of graphs www.elsevier.com/locate/disc Hong-Jian Lai a,d, Jianliang Lin b, Bruce Montgomery a, Taozhi Shui b, Suohai Fan c a Department
More informationTough graphs and hamiltonian circuits
Discrete Mathematics 306 (2006) 910 917 www.elsevier.com/locate/disc Tough graphs and hamiltonian circuits V. Chvátal Centre de Recherches Mathématiques, Université de Montréal, Montréal, Canada Abstract
More informationLecture 5: January 30
CS71 Randomness & Computation Spring 018 Instructor: Alistair Sinclair Lecture 5: January 30 Disclaimer: These notes have not been subjected to the usual scrutiny accorded to formal publications. They
More informationarxiv: v1 [math.co] 28 Oct 2016
More on foxes arxiv:1610.09093v1 [math.co] 8 Oct 016 Matthias Kriesell Abstract Jens M. Schmidt An edge in a k-connected graph G is called k-contractible if the graph G/e obtained from G by contracting
More informationErdős-Gallai-type results for the rainbow disconnection number of graphs
Erdős-Gallai-type results for the rainbow disconnection number of graphs Xuqing Bai 1, Xueliang Li 1, 1 Center for Combinatorics and LPMC arxiv:1901.0740v1 [math.co] 8 Jan 019 Nankai University, Tianjin
More informationCycles through 23 vertices in 3-connected cubic planar graphs
Cycles through 23 vertices in 3-connected cubic planar graphs R. E. L. Aldred, S. Bau and D. A. Holton Department of Mathematics and Statistics, University of Otago, P.O. Box 56, Dunedin, New Zealand.
More informationEvery 3-connected, essentially 11-connected line graph is Hamiltonian
Journal of Combinatorial Theory, Series B 96 (26) 571 576 www.elsevier.com/locate/jctb Every 3-connected, essentially 11-connected line graph is Hamiltonian Hong-Jian Lai a, Yehong Shao b, Hehui Wu a,
More informationExcluding a Long Double Path Minor
journal of combinatorial theory, Series B 66, 1123 (1996) article no. 0002 Excluding a Long Double Path Minor Guoli Ding Department of Mathematics, Louisiana State University, Baton Rouge, Louisiana 70803
More informationOn S-packing edge-colorings of cubic graphs
On S-packing edge-colorings of cubic graphs arxiv:1711.10906v1 [cs.dm] 29 Nov 2017 Nicolas Gastineau 1,2 and Olivier Togni 1 1 LE2I FRE2005, CNRS, Arts et Métiers, Université Bourgogne Franche-Comté, F-21000
More informationTurán numbers of vertex-disjoint cliques in r-partite graphs
Turán numbers of vertex-disjoint cliques in r-partite graphs Jessica De Silva a,1,, Kristin Heysse b, Adam Kapilow c,, Anna Schenfisch d,, Michael Young e, a University of Nebraska-Lincoln, United States
More informationarxiv: v1 [math.co] 21 Jan 2016
Cores, joins and the Fano-flow conjectures Ligang Jin, Giuseppe Mazzuoccolo, Eckhard Steffen August 13, 2018 arxiv:1601.05762v1 [math.co] 21 Jan 2016 Abstract The Fan-Raspaud Conjecture states that every
More informationPaths and cycles in extended and decomposable digraphs
Paths and cycles in extended and decomposable digraphs Jørgen Bang-Jensen Gregory Gutin Department of Mathematics and Computer Science Odense University, Denmark Abstract We consider digraphs called extended
More informationCycles with consecutive odd lengths
Cycles with consecutive odd lengths arxiv:1410.0430v1 [math.co] 2 Oct 2014 Jie Ma Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213. Abstract It is proved that there
More informationarxiv: v1 [math.co] 1 Dec 2013
MINIMAL PANCYCLICITY SEAN GRIFFIN DARTMOUTH COLLEGE arxiv:131.074v1 [math.co] 1 Dec 013 Abstract. A pancyclic graph is a simple graph containing a cycle of length k for all 3 k n. Let m(n) be the minimum
More informationCharacteristic flows on signed graphs and short circuit covers
Characteristic flows on signed graphs and short circuit covers Edita Máčajová Martin Škoviera Department of Computer Science Faculty of Mathematics, Physics and Informatics Comenius University 842 48 Bratislava,
More informationEven Orientations and Pfaffian graphs
arxiv:1510.07553v1 [math.co] 26 Oct 2015 Even Orientations and Pfaffian graphs M. Abreu, Dipartimento di Matematica, Università della Basilicata, C. da Macchia Romana, 85100 Potenza, Italy. e-mail: marien.abreu@unibas.it
More informationAdvanced Combinatorial Optimization September 22, Lecture 4
8.48 Advanced Combinatorial Optimization September 22, 2009 Lecturer: Michel X. Goemans Lecture 4 Scribe: Yufei Zhao In this lecture, we discuss some results on edge coloring and also introduce the notion
More informationUNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS
UNAVOIDABLE INDUCED SUBGRAPHS IN LARGE GRAPHS WITH NO HOMOGENEOUS SETS MARIA CHUDNOVSKY, RINGI KIM, SANG-IL OUM, AND PAUL SEYMOUR Abstract. An n-vertex graph is prime if it has no homogeneous set, that
More informationRing Sums, Bridges and Fundamental Sets
1 Ring Sums Definition 1 Given two graphs G 1 = (V 1, E 1 ) and G 2 = (V 2, E 2 ) we define the ring sum G 1 G 2 = (V 1 V 2, (E 1 E 2 ) (E 1 E 2 )) with isolated points dropped. So an edge is in G 1 G
More informationOn Brooks Coloring Theorem
On Brooks Coloring Theorem Hong-Jian Lai, Xiangwen Li, Gexin Yu Department of Mathematics West Virginia University Morgantown, WV, 26505 Abstract Let G be a connected finite simple graph. δ(g), (G) and
More informationEvery 4-connected line graph of a quasi claw-free graph is hamiltonian connected
Discrete Mathematics 308 (2008) 532 536 www.elsevier.com/locate/disc Note Every 4-connected line graph of a quasi claw-free graph is hamiltonian connected Hong-Jian Lai a, Yehong Shao b, Mingquan Zhan
More informationSome results on the reduced power graph of a group
Some results on the reduced power graph of a group R. Rajkumar and T. Anitha arxiv:1804.00728v1 [math.gr] 2 Apr 2018 Department of Mathematics, The Gandhigram Rural Institute-Deemed to be University, Gandhigram
More informationProper connection number and 2-proper connection number of a graph
Proper connection number and 2-proper connection number of a graph arxiv:1507.01426v2 [math.co] 10 Jul 2015 Fei Huang, Xueliang Li, Shujing Wang Center for Combinatorics and LPMC-TJKLC Nankai University,
More informationExtendability of Contractible Configurations for Nowhere-Zero Flows and Modulo Orientations
Graphs and Combinatorics (2016) 32:1065 1075 DOI 10.1007/s00373-015-1636-0 ORIGINAL PAPER Extendability of Contractible Configurations for Nowhere-Zero Flows and Modulo Orientations Yanting Liang 1 Hong-Jian
More informationAdvanced Topics in Discrete Math: Graph Theory Fall 2010
21-801 Advanced Topics in Discrete Math: Graph Theory Fall 2010 Prof. Andrzej Dudek notes by Brendan Sullivan October 18, 2010 Contents 0 Introduction 1 1 Matchings 1 1.1 Matchings in Bipartite Graphs...................................
More informationSpanning 2-trails from degree sum conditions
This is a preprint of an article accepted for publication in the Journal of Graph Theory c 2004(?) (copyright owner as specified in the Journal) Spanning 2-trails from degree sum conditions M. N. Ellingham
More informationReverse mathematics of some topics from algorithmic graph theory
F U N D A M E N T A MATHEMATICAE 157 (1998) Reverse mathematics of some topics from algorithmic graph theory by Peter G. C l o t e (Chestnut Hill, Mass.) and Jeffry L. H i r s t (Boone, N.C.) Abstract.
More informationCORES, JOINS AND THE FANO-FLOW CONJECTURES
Discussiones Mathematicae Graph Theory 38 (2018) 165 175 doi:10.7151/dmgt.1999 CORES, JOINS AND THE FANO-FLOW CONJECTURES Ligang Jin, Eckhard Steffen Paderborn University Institute of Mathematics and Paderborn
More informationLocating-Total Dominating Sets in Twin-Free Graphs: a Conjecture
Locating-Total Dominating Sets in Twin-Free Graphs: a Conjecture Florent Foucaud Michael A. Henning Department of Pure and Applied Mathematics University of Johannesburg Auckland Park, 2006, South Africa
More informationOn the number of cycles in a graph with restricted cycle lengths
On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a
More informationGraphs and Combinatorics
Graphs and Combinatorics (2005) 21:469 474 Digital Object Identifier (DOI) 10.1007/s00373-005-0625-0 Graphs and Combinatorics Springer-Verlag 2005 On Group Chromatic Number of Graphs Hong-Jian Lai 1 and
More informationON THE CORE OF A GRAPHf
ON THE CORE OF A GRAPHf By FRANK HARARY and MICHAEL D. PLUMMER [Received 8 October 1965] 1. Introduction Let G be a graph. A set of points M is said to cover all the lines of G if every line of G has at
More informationMinimal Paths and Cycles in Set Systems
Minimal Paths and Cycles in Set Systems Dhruv Mubayi Jacques Verstraëte July 9, 006 Abstract A minimal k-cycle is a family of sets A 0,..., A k 1 for which A i A j if and only if i = j or i and j are consecutive
More informationOn a conjecture concerning the Petersen graph
On a conjecture concerning the Petersen graph Donald Nelson Department of Mathematical Sciences Middle Tennessee State University Murfreesboro, TN 37132, USA dnelson@mtsu.edu Michael D. Plummer Department
More informationDecomposing plane cubic graphs
Decomposing plane cubic graphs Kenta Ozeki and Dong Ye Abstract It was conjectured by Hoffmann-Ostenhof that the edge set of every cubic graph can be decomposed into a spanning tree, a matching and a family
More informationHamiltonian claw-free graphs
Hamiltonian claw-free graphs Hong-Jian Lai, Yehong Shao, Ju Zhou and Hehui Wu August 30, 2005 Abstract A graph is claw-free if it does not have an induced subgraph isomorphic to a K 1,3. In this paper,
More informationStrongly 2-connected orientations of graphs
Downloaded from orbit.dtu.dk on: Jul 04, 2018 Strongly 2-connected orientations of graphs Thomassen, Carsten Published in: Journal of Combinatorial Theory. Series B Link to article, DOI: 10.1016/j.jctb.2014.07.004
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationTHE EXTREMAL FUNCTIONS FOR TRIANGLE-FREE GRAPHS WITH EXCLUDED MINORS 1
THE EXTREMAL FUNCTIONS FOR TRIANGLE-FREE GRAPHS WITH EXCLUDED MINORS 1 Robin Thomas and Youngho Yoo School of Mathematics Georgia Institute of Technology Atlanta, Georgia 0-0160, USA We prove two results:
More informationThe Dominating Graph DG bcd (G) of a Graph G
The Dominating Grah (G) of a Grah G M. Bhanumathi 1, J. John Flavia 2 1 Associate Professor, Government Arts College for Women, Pudukkottai, TN, India 2 Research Scholar, Government Arts College for Women,
More informationComplexity of conditional colorability of graphs
Complexity of conditional colorability of graphs Xueliang Li 1, Xiangmei Yao 1, Wenli Zhou 1 and Hajo Broersma 2 1 Center for Combinatorics and LPMC-TJKLC, Nankai University Tianjin 300071, P.R. China.
More informationLongest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs
Longest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs Gregory Gutin Department of Mathematical Sciences Brunel, The University of West London Uxbridge, Middlesex,
More informationOn the intersection of infinite matroids
On the intersection of infinite matroids Elad Aigner-Horev Johannes Carmesin Jan-Oliver Fröhlich University of Hamburg 9 July 2012 Abstract We show that the infinite matroid intersection conjecture of
More informationEdge Fixed Steiner Number of a Graph
International Journal of Mathematical Analysis Vol. 11, 2017, no. 16, 771-785 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijma.2017.7694 Edge Fixed Steiner Number of a Graph M. Perumalsamy 1,
More informationUnions of perfect matchings in cubic graphs
Unions of perfect matchings in cubic graphs Tomáš Kaiser Daniel Král Serguei Norine Abstract We show that any cubic bridgeless graph with m edges contains two perfect matchings that cover at least 3m/5
More informationA Characterization of the Cactus Graphs with Equal Domination and Connected Domination Numbers
International Journal of Contemporary Mathematical Sciences Vol. 12, 2017, no. 7, 275-281 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2017.7932 A Characterization of the Cactus Graphs with
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationDegree Sequence and Supereulerian Graphs
Degree Sequence and Supereulerian Graphs Suohai Fan, Hong-Jian Lai, Yehong Shao, Taoye Zhang and Ju Zhou January 29, 2007 Abstract A sequence d = (d 1, d 2,, d n ) is graphic if there is a simple graph
More informationPath decompositions and Gallai s conjecture
Journal of Combinatorial Theory, Series B 93 (005) 117 15 www.elsevier.com/locate/jctb Path decompositions and Gallai s conjecture Genghua Fan Department of Mathematics, Fuzhou University, Fuzhou, Fujian
More informationON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2. Bert L. Hartnell
Discussiones Mathematicae Graph Theory 24 (2004 ) 389 402 ON DOMINATING THE CARTESIAN PRODUCT OF A GRAPH AND K 2 Bert L. Hartnell Saint Mary s University Halifax, Nova Scotia, Canada B3H 3C3 e-mail: bert.hartnell@smu.ca
More informationarxiv: v1 [cs.ds] 2 Oct 2018
Contracting to a Longest Path in H-Free Graphs Walter Kern 1 and Daniël Paulusma 2 1 Department of Applied Mathematics, University of Twente, The Netherlands w.kern@twente.nl 2 Department of Computer Science,
More informationHamilton-Connected Indices of Graphs
Hamilton-Connected Indices of Graphs Zhi-Hong Chen, Hong-Jian Lai, Liming Xiong, Huiya Yan and Mingquan Zhan Abstract Let G be an undirected graph that is neither a path nor a cycle. Clark and Wormald
More informationInduced subgraphs of graphs with large chromatic number. IX. Rainbow paths
Induced subgraphs of graphs with large chromatic number. IX. Rainbow paths Alex Scott Oxford University, Oxford, UK Paul Seymour 1 Princeton University, Princeton, NJ 08544, USA January 20, 2017; revised
More informationUNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS
UNIQUENESS OF HIGHLY REPRESENTATIVE SURFACE EMBEDDINGS P. D. Seymour Bellcore 445 South St. Morristown, New Jersey 07960, USA and Robin Thomas 1 School of Mathematics Georgia Institute of Technology Atlanta,
More informationBuilding Graphs from Colored Trees
Building Graphs from Colored Trees Rachel M. Esselstein CSUMB Department of Mathematics and Statistics 100 Campus Center Dr. Building 53 Seaside, CA 93955, U.S.A. resselstein@csumb.edu Peter Winkler Department
More informationAn approximate version of Hadwiger s conjecture for claw-free graphs
An approximate version of Hadwiger s conjecture for claw-free graphs Maria Chudnovsky Columbia University, New York, NY 10027, USA and Alexandra Ovetsky Fradkin Princeton University, Princeton, NJ 08544,
More informationOn the Pósa-Seymour Conjecture
On the Pósa-Seymour Conjecture János Komlós, 1 Gábor N. Sárközy, 2 and Endre Szemerédi 3 1 DEPT. OF MATHEMATICS, RUTGERS UNIVERSITY, NEW BRUNSWICK, NJ 08903 2 DEPT. OF COMPUTER SCIENCE, WORCESTER POLYTECHNIC
More information