Skip to main content
OlympiadHQ

Browse · MathNet

Print

Team Selection Test for IMO

Turkey counting and probability

Problem

Some cities of a country consisting of cities are connected by round trip flights so that there are at least flights from any city and any city is reachable from any city. Prove that for any such flight organization these flights can be distributed among air companies so that one can reach any city from any city by using at most one flight of each air company.
Solution
The problem can be reformulated in terms of graph theory: Let be a connected graph with vertices. If the degree of each vertex is at least , then the edges of can be colored into colors so that for any pair of vertices there is a path between them not containing identically colored edges. We will prove the following slightly stronger statement: Let be a connected graph with vertices and be the minimal degree and be any clique of consisting of vertices with minimal degree. The edges of can be colored into colors so that the clique is colored into a single color and for any pair of vertices there is a path between them not containing identically colored edges. The statement will be proved at fixed by induction over .

If , then we take any spanning tree of having edges and color it obviously by colors.

Induction base: Since we start with . Then is a complete graph and we can color all vertices in one color.

Now suppose that . Let be a maximal clique consisting of only vertices having degree and put . Note that if then since is connected we get , so is complete and one color is sufficient. Suppose . Let be connected components of and be the vertices directly connected to some vertex in , . Without loss of generality suppose that for . Let be the minimal number of colors necessary for proper coloring of . By inductive hypothesis , where .

Case 1. . By contracting into single vertex, we get a graph . Note that and ( if there is a vertex in some with degree or each vertex in is connected to exactly one vertex in ). Therefore, by inductive hypothesis, . Now for proper coloring of we take a coloring of and color all edges of by some new color, spending in total less or equal than colors, since in our case .

Case 2. . By contracting into single vertex transfers into and transfers into . Note that and . By inductive hypothesis, there is a proper coloring of by colors where all edges of are colored by a single color . Now for proper coloring of we take a coloring of and color all remaining edges with both vertices in in and with one edge in with the color of the edge from to other endpoint, spending in total less or equal than colors.

Case 3. . By inductive hypothesis, . Since is maximal, . We can color all edges of and all edges from to by some color and edges from to by new distinct colors. Then

Techniques

Graph TheoryColoring schemes, extremal argumentsInduction / smoothing