Browse · MathNet
PrintTHE Fourteenth IMAR MATHEMATICAL COMPETITION
Romania counting and probability
Problem
Fix an integer , let be the graph consisting of all vertices and all edges of an -cube, and let be a spanning tree in . Show that has an edge whose adjunction to produces a simple cycle of length at least .
Solution
For every vertex of , let be the antipodal (opposite) vertex, consider the unique path in from to and orient its first edge away from . Since has fewer edges than vertices, some edge, say , has been assigned two orientations. The (combinatorial) distance between two antipodes of is in , so it is at least in , and the unique path in , , from to has length at least . Finally, since is an edge in , so is ; adjunction of the latter to the unique path in from to yields the required cycle.
Techniques
Graph TheoryPigeonhole principle