O teorema de Ramsey afirma que todo gráfico com nós contém um clique ou um conjunto independente com pelo menos nós.nnn12log2n12log2n\frac{1}{2}\log_2 n Tentei procurar em alguns lugares (incluindo o Sipser), mas não consegui entender muito bem as provas. Eu apreciaria se alguém pudesse me dar...