MathDB
Colorful subsets

Source: 2022 China TST, Test 1, P6

March 24, 2022
combinatoricscoloringsgraph theoryHall s marriage theoremTSTChina TST

Problem Statement

Let mm be a positive integer, and A1,A2,,AmA_1, A_2, \ldots, A_m (not necessarily different) be mm subsets of a finite set AA. It is known that for any nonempty subset II of {1,2,m}\{1, 2 \ldots, m \}, iIAiI+1. \Big| \bigcup_{i \in I} A_i \Big| \ge |I|+1. Show that the elements of AA can be colored black and white, so that each of A1,A2,,AmA_1,A_2,\ldots,A_m contains both black and white elements.