Olympiad Maths Prep

Track / Stage 7 / 46 of 300 #1446 of 2000

Problem 1446

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.1 Prove it

Prove that the edges of a finite simple planar graph (with no loops, multiple edges) may be oriented in such a way that at most three fourths of the total number of dges of any cycle share the same orientation. Moreover, show that this is the best global bound possible.

Comment: The actual problem in the TST asked to prove that the edges can be 22-colored so that the same conclusion holds. Under this circumstances, the problem is wrong and a counterexample was found in the contest by Marius Tiba.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Five-Color Theorem Application:
- Given a finite simple planar graph G G , we start by coloring the vertices of G G using the Five-Color Theorem. This theorem states that any planar graph can be colored with at most five colors such that no two adjacent vertices share the same color. Let the colors be {1,2,3,4,5} \{1, 2, 3, 4, 5\} .

2. **Defining the Oriented Graph G1 G_1 **:
- Construct an oriented graph G1 G_1 with vertex set V(G1)={1,2,3,4,5} V(G_1) = \{1, 2, 3, 4, 5\} and directed edges as follows:
12,13,14,23,24,43,15,52,53,54 1 \to 2, \quad 1 \to 3, \quad 1 \to 4, \quad 2 \to 3, \quad 2 \to 4, \quad 4 \to 3, \quad 1 \to 5, \quad 5 \to 2, \quad 5 \to 3, \quad 5 \to 4

3. **Orienting the Edges of G G **:
- For each edge uvE(G) uv \in E(G) , orient uv uv as uv u \to v or vu v \to u based on the orientation of the corresponding colors in G1 G_1 . Specifically, if c(u)c(v) c(u) \to c(v) in G1 G_1 , then orient uv uv as uv u \to v ; otherwise, orient it as vu v \to u .

4. **Analyzing Cycles in G G **:
- Consider any cycle in G G . Suppose the cycle has k k edges. We need to show that at most 3k4\frac{3k}{4} edges in the cycle share the same orientation.
- Observe that in G1 G_1 , any path of four edges (e.g., u1u2,u2u3,u3u4,u4u5 u_1u_2, u_2u_3, u_3u_4, u_4u_5 ) will have at least two edges with different orientations. This is because the directed edges in G1 G_1 are arranged such that no four consecutive edges can all have the same orientation.

5. **Conclusion for G G **:
- Since the orientation of edges in G G is derived from G1 G_1 , the same property holds for G G . Therefore, in any cycle of G G , at most 3k4\frac{3k}{4} edges can share the same orientation.

6. Optimality of the Bound:
- Consider the complete graph K4 K_4 . It is a planar graph with 6 edges and 4 vertices. Any orientation of the edges of K4 K_4 will have cycles where exactly 34\frac{3}{4} of the edges share the same orientation. This shows that the bound of 34\frac{3}{4} is the best possible.

\blacksquare

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