Maths Olympiad Prep

Track / Stage 6 / 7 of 400 #1007 of 1964

Problem 1007

National olympiad, first round
Combinatorics Difficulty 6.0 Prove it

Let GG be a graph.

Show that if GG is not connected then Gˉ\bar{G} is connected.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Let GG be a non-connected graph.

Then it has at least two connected components, and in particular there exists a coloring of GG with two colors (for example, blue and green) such that no vertex of one color is in the same connected component as a vertex of another color (and that both colors appear).

Given two vertices v1v_{1} and v2v_{2}, we proceed by case analysis.

- If v1v_{1} and v2v_{2} are of different colors, they are not in a common connected component, in particular they are not adjacent in GG and therefore are adjacent in Gˉ\bar{G} and thus in particular in the same connected component in Gˉ\bar{G}.
- If v1v_{1} and v2v_{2} are of the same color. Without loss of generality, assume they are both blue.

Let ww be a green vertex (which exists by hypothesis).

Then, as before, v1v_{1} and ww are adjacent in Gˉ\bar{G} and v2v_{2} and ww are adjacent in Gˉ\bar{G}. Consequently, (v1,w,v2)\left(v_{1}, w, v_{2}\right) is a path from v1v_{1} to v2v_{2} in Gˉ\bar{G}.

Thus, in all cases, there exists a path between v1v_{1} and v2v_{2}.

We note that we have in fact shown much more: not only does a path exist, but we can arrange for this path to have length 1 or 2 (depending on whether v1v_{1} and v2v_{2} are or are not in the same connected component of GG).

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.