A subset of the set of integers from to , inclusive, has the property that no two elements of sum to . What is the maximum possible number of elements in ?
- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
Numbers 1 to 24 are never in a bad pair; 25 to 100 form 38 pairs summing to 125, each giving at most one element: 24 + 38 = 62.
Solution
Which numbers can be part of a pair summing to ? A number needs a partner that also lies in to , which requires . So the numbers through are completely safe: all of them can go into .
The numbers through ( numbers) split into the disjoint pairs
each summing to . may contain at most one number from each pair, so it has at most of these numbers.
Upper bound: .
This is achievable: take . Its two largest elements sum to , so no two elements reach .
The answer is .
Why this works
"No two elements sum to " is handled by pairing each number with its complement : the forbidden pairs are disjoint, so one element per pair is the ceiling (pigeonhole), and numbers whose complement lies outside the set are free. A maximum problem needs both the bound and a construction; here the smallest numbers give the construction immediately.
Alternative approach
Greedy from the bottom: keep adding as long as no two chosen numbers sum to . The first conflict is , so you can take everything up to , and any larger number would pair with something already chosen.
The trap
Forgetting that 1 through 24 are unconstrained and answering 50 (one from each of fifty imagined pairs).
Common mistakes
- Forgetting that 1 through 24 are unconstrained and answering 50 (one from each of fifty imagined pairs).
- Counting the pairs from to as or instead of (there are numbers, so pairs).
Techniques
Consider the largest/smallest element or boundary case · Pigeonhole principle