MathDB
in a group of 90 children each has at least 30 friends

Source: Czech And Slovak Mathematical Olympiad, Round III, Category A 2012 p5

February 15, 2020
combinatorics

Problem Statement

In a group of 9090 children each has at least 3030 friends (friendship is mutual). Prove that they can be divided into three 3030-member groups so that each child has its own a group of at least one friend.