MathDB
Turkey NMO 2017 p1

Source:

January 26, 2018
combinatorics

Problem Statement

A wedding is going to be held in a city with 2525 types of meals, to which some of the 20172017 citizens will be invited. All of the citizens like some meals and each meal is liked by at least one person. A "suitablesuitable listlist" is a set of citizens, such that each meal is liked by at least one person in the set. A "kamberkamber groupgroup" is a set that contains at least one person from each "suitablesuitable listlist". Given a "kamberkamber groupgroup", which has no subset (other than itself) that is also a "kamberkamber groupgroup", prove that there exists a meal, which is liked by everyone in the group.