MathDB
S = {a_i + a_j | 1 <= i, j <= 1000 with i + j \in A} is subset of A

Source: Dutch IMO TST day2 p4

August 30, 2019
Setscombinatorics

Problem Statement

Determine the number of sets A={a1,a2,...,a1000}A = \{a_1,a_2,...,a_{1000}\} of positive integers satisfying a1<a2<...<a10002014a_1 < a_2 <...< a_{1000} \le 2014, for which we have that the set S={ai+aj1i,j1000S = \{a_i + a_j | 1 \le i, j \le 1000 with i+jA}i + j \in A\} is a subset of AA.