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 have no partner making 125, so keep them all. Numbers 25 to 100 form 38 pairs; keep one from each: 62.
Solution
This is a "greatest possible" question, so show two things: numbers can be chosen, and more than cannot.
Part 1: which numbers can cause trouble?
1. A number is only a problem if its partner is also between and . For the partner would be , which is too big. So never cause trouble.
2. The numbers through ( numbers) pair up so each pair adds to :
That is pairs, and no number is in two pairs.
Part 2: more than is impossible.
- cannot hold both numbers of any pair, since they add to . So from to , has at most numbers, one per pair.
- Adding the safe numbers, has at most numbers.
Part 3: is possible.
- Take . The two biggest numbers in it add to , which is less than . So no two numbers in add to .
Sixty-two is possible and sixty-three is not, so the greatest size is .
The answer is .
Why this works
When a rule says "no two chosen numbers may add to a certain total," pair each number with the partner it would clash with. You can take at most one from each pair, and numbers with no partner are free. For a "greatest" question, you also need an example that reaches the limit; here the smallest numbers do it.
Alternative approach
Build the set greedily from the bottom: add one at a time as long as no two chosen numbers add to . The first clash is , so you can go up to . The pairing argument above is what proves you cannot do better another way.
The trap
Forgetting that 1 through 24 are always safe and answering 50, as if every number had a partner.
Concise 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 .
Review in the AoPS books
- Intermediate Counting & Probability, Chapter 2: Sets and Logic (§2.2, §2.3)
- Introduction to Counting & Probability, Chapter 1: Counting Is Arithmetic
- Intermediate Counting & Probability, Chapter 5: The Pigeonhole Principle
- Prealgebra, Chapter 7: Ratios, Conversions, and Rates (§7.4)
Techniques
Consider the largest/smallest element or boundary case · Pigeonhole principle