Browse · MathNet
PrintSilk Road Mathematics Competition
counting and probability
Problem
A (non-oriented) graph (without loops) with vertices and edges is given, . Prove that some vertices and edges of the graph can be coloured in red in such way that each red edge connects red vertices and each red vertex belongs to exactly red edges.
Solution
Consider a regular -gon (inscribed in a unit circle), which we label segments from the set of all sides and all diagonals. The problem is equivalent to the following one: prove that some of unlabelled segments (including endpoints) can be coloured in red in such way that each red vertex belongs to exactly red segments. We define k-segment as a segment spanning an arc of the length . The following cases are possible: Case 1. Let some two labelled segments have a common vertex. Then we choose this vertex and other vertices in such way that at least a vertex is chosen in each labelled segment (so, totally we choose vertices). The other vertices will form a complete graph (i.e. a clique) with vertices: each two vertices are connected by an unlabeled segment. Colour these segments in red and we are done. Case 2. The labelled segments have no common points.
Subcase 2.1. is even. W.l.o.g. (using an appropriate numeration of vertices) we can assume that all longest diagonals (i.e. -segments) are labelled. Colour all -segments for in red and we are done. Subcase 2.2. is odd. W.l.o.g. (using an appropriate numeration of vertices again) we can assume that 1-segments are labelled (i.e. sides of the polygon, in alternating manner). Colour all unlabeled -segments for in red and we are done.
Subcase 2.1. is even. W.l.o.g. (using an appropriate numeration of vertices) we can assume that all longest diagonals (i.e. -segments) are labelled. Colour all -segments for in red and we are done. Subcase 2.2. is odd. W.l.o.g. (using an appropriate numeration of vertices again) we can assume that 1-segments are labelled (i.e. sides of the polygon, in alternating manner). Colour all unlabeled -segments for in red and we are done.
Techniques
Graph TheoryMatchings, Marriage Lemma, Tutte's theorem