Imagine I have a graph G = (V,E), where exactly 2*n vertices have odd degree. (Obviously, there cannot be odd number of vertices with odd degree in a graph). How can I prove that set of edges E of the graph G can be partitioned into n open trails? (ie all the edges can be divided into n chains).
Probably, this can be proved using properties of euler graphs. For example, we can add n edges to the graph, so that all the vertices get even degree. And then we can build the euler circuit. Then we remove added edges and get n open trials. This proof seems good, but it doesn't work in some cases, for example, when we have a complete graph, where all the vertices have odd degrees and we cannot add any more edges.
I'll be really grateful for any clues how to prove this statement or how to improve my own proof!