obs: como A + B tem 0, acho que o problema está considerando N com 0
o item A é fácil pq [tex3]k-1 + k-1 \le max A + max B \le 2016[/tex3]
para o item b vamos provar o seguinte lema.
lema: |A + B| >= |A| + |B| - 1.
A = {a_1, ..., a_x}
B = {b_1, .....