Skip to main content
OlympiadHQ

Browse · MathNet

Print

China National Team Selection Test

China counting and probability

Problem

Let be a simple graph with vertex set and edge set , and assume that . A map is said to be good if satisfies: (2) If one colors arbitrarily some vertices into red, there exists a red vertex , such that is not greater than the number of vertices adjacent to that are not colored into red.

Let be the number of good maps . Show that if each vertex of is adjacent to at least one other vertex, then .
Solution
Given an ordering on the vertices in , we associate a map as follows: is equal to the number of vertices in that are ordered preceding . We claim that is good.

Each edge is counted exactly once in , for an edge with vertices such that is ordered before in ; then is counted once in . Thus, For any nonempty subset of all red vertices, choose with the most preceding orderings in . Then by definition, is not greater than the number of vertices adjacent to that are not colored into red. We have verified that is good.

Conversely, given any good map , we claim that for some ordering of .

First, let the red vertex set . By the condition (2) in the problem, there exists such that , and denote one of such vertices by . Assuming that we have already chosen from , if , set the red vertex set . By the condition (2) in the problem, there exists such that is less than or equal to the number of vertices in that are adjacent to . Denote one of such vertices by . Continuing in this way, we order the vertices by . By the construction we have for any . By the condition (1) in the problem, we have and therefore for any .

We have shown that for any ordering , is good, and any good map is for some . Since the number of orderings on is , we see that (note that two distinct orderings may result in the same map).

Next, we prove that . Assume at the moment that is connected. Pick arbitrarily . By the connectivity, we may choose such that is adjacent to , and again we may choose such that is adjacent to at least one of . Continuing in this way, we get an ordering such that is adjacent to at least one of the vertices preceding it under ordering , for any . Thus, and for . Since may be arbitrary, we have at least good maps.

In general, if is a union of its connected components , since each vertex is adjacent to at least another vertex, each component has at least two vertices, denote by the number of vertices of these components. For each , we have at least good maps on its vertices, . It is easy to see that patching good maps on 's together results in a good map on , and thus We conclude that .

Techniques

Graph TheoryGames / greedy algorithmsColoring schemes, extremal arguments