Problem:
Evan has a simple graph with vertices and edges. Show that he can delete at least edges so that each vertex still has at least half of its original degree.
Problem:
Evan has a simple graph with vertices and edges. Show that he can delete at least edges so that each vertex still has at least half of its original degree.
Solution:
Fix . We use strong induction on the number of edges . If , the result trivially holds by removing 0 edges. Now take and assume the result has been shown for all smaller values of . Consider a graph with vertices and edges.
Suppose contains a cycle of even length , where vertices (but not edges) may be repeated in the cycle. Let be the subgraph of with the edges of removed. Then has vertices and edges. By the inductive hypothesis, it is possible to remove edges from so that each vertex still has at least half its original degree. In the original graph , remove these same edges, and also remove every other edge of (so, if the vertices of are in order, we remove the edges between and for ). In total, we have removed edges. Furthermore, all vertices in still have at least half their original degrees, as desired.
The remaining case to consider is if has no cycles of even length. Then no two cycles in can have any vertices or edges in common. Suppose the contrary; then two odd cycles overlap, so their union is connected and has an even number of edges. This union has an Eulerian tour, which is a cycle with an even number of edges, contradicting our assumption.
The number of edges in is at most , where is the number of cycles. So, we must remove at least edges from . But we can remove edges from , one from each cycle. No vertex has its degree decreased by more than 1, and each vertex whose degree is decreased is in a cycle and so has degree at least 2. Therefore each vertex still has at least half of its original degree, and we have removed at least edges, as desired.
Thus our claim holds for a graph with edges, and thus by induction holds for any number of edges, as needed.