Maths Olympiad Prep

Library / /858 of 1394

Combinatorics Difficulty 5.4 AIME, harder Prove it United States

Problem:

Evan has a simple graph with vv vertices and ee edges. Show that he can delete at least ev+12\frac{e-v+1}{2} edges so that each vertex still has at least half of its original degree.

Solution

Solution:

Fix vv. We use strong induction on the number of edges ee. If ev1e \leq v-1, the result trivially holds by removing 0 edges. Now take e>v1e > v-1 and assume the result has been shown for all smaller values of ee. Consider a graph GG with vv vertices and ee edges.

Suppose GG contains a cycle CC of even length 2k2k, where vertices (but not edges) may be repeated in the cycle. Let GG' be the subgraph of GG with the edges of CC removed. Then GG' has vv vertices and e2ke-2k edges. By the inductive hypothesis, it is possible to remove e2kv+12\frac{e-2k-v+1}{2} edges from GG' so that each vertex still has at least half its original degree. In the original graph GG, remove these same edges, and also remove every other edge of CC (so, if the vertices of CC are v1,,v2kv_1, \cdots, v_{2k} in order, we remove the edges between v2i1v_{2i-1} and v2iv_{2i} for 1ik1 \leq i \leq k). In total, we have removed e2kv+12+k=ev+12\frac{e-2k-v+1}{2} + k = \frac{e-v+1}{2} edges. Furthermore, all vertices in GG still have at least half their original degrees, as desired.

The remaining case to consider is if GG has no cycles of even length. Then no two cycles in GG 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 GG is at most v+c1v + c - 1, where cc is the number of cycles. So, we must remove at least ev+12=c2\frac{e-v+1}{2} = \frac{c}{2} edges from GG. But we can remove cc edges from GG, 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 ev+12\frac{e-v+1}{2} edges, as desired.

Thus our claim holds for a graph with ee edges, and thus by induction holds for any number of edges, as needed.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.