Ol�!
Gostaria provar um resultado do tipo:
para N suficientemente grande ([N]:= {1, 2, 3, ..., N}) se S contido em [N]
� tal que n�o possui uma PA de tamanho 3 ent�o |S| <= N/2.
Se isso vale, obtenha um valor de N m�nimo que satisfa�a essa condi��o.
(obs: isso provaria que tomando N = 2K + 1, ent�o |S| <= k e por tanto, n�o
� poss�vel particionar [2K + 1] em dois de forma a evitar PA's de tamanho 3
nas duas parti��es).
[ ]'s
=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================
