Let be a subset of such that the following two conditions hold:
- If and are distinct elements of , then
- If and are distinct odd elements of , then
What is the maximum possible number of elements in ?
- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
Ten consecutive integers hold at most 3 elements (four would be spaced exactly 3 apart, putting two odds 6 apart); the pattern 1, 4, 8 per block gives 608.
Solution
Upper bound. Take any consecutive integers. Elements of are pairwise at least apart, so at most of them lie in this stretch, and is possible only if they are . But then share a parity and so do ; one of these pairs consists of two odd elements only apart, contradicting the second condition. So every consecutive integers contain at most elements of .
Cut into blocks of ten (–, …, –) plus the leftover , which holds at most elements (they must be apart). Hence .
Construction. In each block take for , and add and . Consecutive elements differ by and finally by , so all gaps exceed . The odd elements are exactly , spaced apart, which exceeds . This has elements.
The answer is .
Why this works
Maximum-size problems with spacing rules are solved by a density bound plus a matching periodic construction. Find the period by asking "how many elements can fit in a window of length ?" for a small ; here is where the parity rule bites (four elements apart alternate parity, forcing two odds within ). Then tile the whole range with that window and handle the remainder separately.
The trap
Using the naive pattern 1, 4, 7, 10, … (odds only 6 apart) or evens spaced 4 apart (506), or dropping the extra 2 elements from the leftover 2021–2024.
Common mistakes
- Using the naive pattern 1, 4, 7, 10, … (odds only 6 apart) or evens spaced 4 apart (506), or dropping the extra 2 elements from the leftover 2021–2024.
- Reading as "differ by at least " instead of "at least ."
Techniques
Bound the quantity above/below or estimate to pin it down · Use an invariant, parity, or coloring argument · Compute small cases, spot the pattern, generalize