MathLabs

Problem 5

Given positive integers mm and nn, find the smallest positive integer kk such that among any kk people, either there are 2m2m people who can be divided into mm pairs of mutually acquainted people, or there are 2n2n people who can be divided into nn pairs of mutually unacquainted people.
Step 2 of 5: Build the lower-bound example
(2m−1)+(n−1)=2m+n−2(2m-1)+(n-1)=2m+n-2
Detailed analysis

Take a group of 2m+n−22m+n-2 people: a (2m−1)(2m-1)-clique, together with n−1n-1 isolated people who know nobody else. There are not 2m2m mutually acquainted people, and among the isolated people plus clique structure there are not 2n2n people forming nn mutually unacquainted pairs. Hence r(m,n)≥2m+n−1r(m,n)\ge2m+n-1.