Skip to main content
OlympiadHQ

Browse · MathNet

Print

69th Belarusian Mathematical Olympiad

Belarus counting and probability

Problem

The sum of several (not necessary different) positive integers not exceeding is equal to . Find all possible values of such that these numbers can always be partitioned into two groups with the sum of the numbers in each group not exceeding .
Solution
Answer: .

Clearly . Suppose that and let , where . Consider the next collection of numbers: one number equals , numbers equal and numbers equal (the total sum equals ). At least eight of these numbers will be in the same group. But the sum of the smallest eight numbers is not less than — a contradiction.

It remains to show that any collection of positive integers not exceeding with the sum can be partitioned into two groups as required. We will successive put numbers to the first group (in an arbitrary order), and at some moment the sum of all numbers of this group will satisfy the next two conditions: 1) ; and 2) for any remaining number . If , then and we can form the second group from all remaining numbers.

Now consider the case . Then , where equals or . For any remaining number the inequality takes the form , which is equivalent to . If there are not more than seven numbers left, their sum does not exceed and we can form the second group from them. Otherwise the sum of the remaining numbers is not less than , therefore which contradicts to . Thus, the required partition is constructed in all cases.
Final answer
S ≤ 133

Techniques

Pigeonhole principleGames / greedy algorithmsColoring schemes, extremal arguments