Abstract:Let G be a 2-edge-connected graph with m edges and n vertices. The following two conjectures are proved in this paper. (i) The edges of G can be covered by circuits of total length at most m + n −1. (ii) The vertices of G can be covered by circuits of total length at most 2( n −1), where n ⩾2. References REFERENCES 1 N. Alon M. Tarsi Covering multigraphs by simple circuits SIAM J. Algebraic Discrete Methods 6 1985 345 350 2 B. Alspach L. Goddyn C.Q. Zhang Graphs with the circuit cover property Trans. Amer. Math. Soc. 344 1994 131 154 3 J.C. Bermond B. Jackson F. Jaeger Shortest covering of graphs with cycles J. Combin. Theory Ser. B 35 1983 297 308 4 L. Edmonds E.L. Johnson Matching, Euler torus and the Chinese postman Math. Programming 5 1973 88 124 5 G. Fan Covering graphs by cycles SIAM J. Discrete Math. 5 1992 491 496 6 G. Fan Extensions of flow theorems J. Combin. Theory Ser. B 69 1997 110 114 7 G. Fan Minimum cycle covers of graphs J. Graph Theory 25 1997 229 242 8 P. Fraisse Cycle covering in bridgeless graphs J. Combin. Theory Ser. B 39 1985 146 152 9 A. Itai R.J. Lipton C.H. Papadimitriou M. Rodeh Covering graphs with simple circuits SIAM J. Comput. 10 1981 746 750 10 A. Itai M. Rodeh Covering a graph by circuits Automata, Languages and Programming Lecture Notes in Computer Science 62 1978 Springer-Verlag Berlin p. 289–299 11 B. Jackson Shortest circuit covers and postman tours of graphs with a nowhere-zero 4-flow SIAM J. Comput. 19 1990 659 665 12 F. Jaeger Flows and generalized coloring theorems in graphs J. Combin. Theory Ser. B 26 1979 205 216 13 P.D. Seymour Nowhere-zero 6-flows J. Combin. Theory Ser. B 30 1981 130 135 14 C. Thomassen MAT-Report 1994 15 W.T. Tutte A class of abelian groups Can. J. Math. 8 1956 13 28

Circuit Coverings of Graphs and a Conjecture of Pyber.

Note on Integer 4-Flows in Graphs

Subgraph coverings and edge switchings

Fulkerson′s Conjecture and Circuit Covers

Proofs of two minimum circuit cover conjectures

Circuit K-Covers of Signed Graphs

On Fan's conjecture about $4$-flow

Covering Graphs by Cycles

Counting Circuit Double Covers

Short Cycle Covers Of Cubic Graphs

Bound on shortest cycle covers

A proof of the Cycle Double Cover Conjecture

The cycle double cover conjecture from the perspective of percolation theory on iterated line graphs

Extensions of flow theorems

Integer Flows and Cycle Covers

A Simple Proof for the Cycle Double Cover Conjecture

On Covering A Bipartite Graph with Cycles

Tutte's 3-flow conjecture and short cycle covers

Minimum Cycle Covers of Graphs

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture