Problem

Source: All-Russian Math Olympiad 2019

Tags: ARMO, combinatorics, graph theory



10000 children came to a camp; every of them is friend of exactly eleven other children in the camp (friendship is mutual). Every child wears T-shirt of one of seven rainbow's colours; every two friends' colours are different. Leaders demanded that some children (at least one) wear T-shirts of other colours (from those seven colours). Survey pointed that 100 children didn't want to change their colours [translator's comment: it means that any of these 100 children (and only them) can't change his (her) colour such that still every two friends' colours will be different]. Prove that some of other children can change colours of their T-shirts such that as before every two friends' colours will be different.