Resta 1 parece um joguinho. Você pega o tabuleiro, salta pinos, tenta sobrar um.
Em 1961, um dos maiores matemáticos do século XX olhou pro mesmo tabuleiro e viu uma estrutura algébrica que ninguém tinha visto antes. John Conway provou que muitas partidas que pareciam difíceis na verdade são impossíveis.
A prova é simples o suficiente pra ser entendida sem matemática avançada. Vale a pena conhecer.
O problema dos finais inalcançáveis
Você joga Resta 1 pela quinquagésima vez e quer terminar com o último pino num buraco específico, perto de um canto. Tenta, tenta, tenta. Sempre trava.
Você não trava porque está jogando mal. Você trava porque aquela posição final é impossível.
A pergunta natural: como saber, antes de tentar mil vezes, quais finais são possíveis? Conway respondeu com um invariante.
Invariante é uma quantidade que se mantém constante em todo movimento válido. Se a posição inicial tem valor A, qualquer posição alcançável também tem valor A. Posições que têm valor diferente são inalcançáveis. Ponto.
O esquema das três cores
Pinte o tabuleiro em três cores. Padrão diagonal. Começa com cor A no canto superior esquerdo do quadrado central, pinta a próxima B, a próxima C, depois A de novo.
Cada linha alterna cores. Cada coluna alterna cores. Cada diagonal alterna cores. Cada buraco tem uma única cor.
A propriedade mágica: em qualquer pulo legítimo, os três buracos envolvidos (origem, intermediário, destino) têm cores diferentes. Em qualquer ordem.
A conta do invariante
Atribua valores algébricos às cores. Conte quantos pinos estão em buracos de cada cor numa posição qualquer. Aplique a fórmula combinatória.
Conway provou que o resultado nunca muda em pulo legítimo. A demonstração rigorosa usa álgebra de grupos abelianos finitos, conceito de segundo ano de graduação. Mas a intuição é só essa: três cores, contagem, propriedade conservada.
Em matemática, descobrir um invariante é encontrar a alma do problema. Conway encontrou a alma do Resta 1 em 1961. Era uma coloração em três cores que vivia escondida no tabuleiro o tempo todo.
Por que o pulo conserva o invariante
Quando você executa um pulo de X1 sobre X2 pra X3, sendo X1 cor A, X2 cor B e X3 cor C:
- X1 muda de ocupado pra vazio. Um pino de cor A sai.
- X2 muda de ocupado pra vazio. Um pino de cor B sai.
- X3 muda de vazio pra ocupado. Um pino de cor C entra.
Mudança líquida: cor A perde 1, cor B perde 1, cor C ganha 1. Na fórmula algébrica correta, essa combinação resulta em variação zero. O invariante se preserva.
Os seis finais possíveis na Cruz Inglesa
Aplicando o invariante à posição inicial (32 pinos, centro vazio), Conway calcula o valor de referência. Em seguida calcula o valor pra cada uma das 33 posições finais hipotéticas.
Seis posições têm o mesmo valor da inicial. As outras 27 têm valor diferente. As 27 são inalcançáveis. Não importa quantos pulos você execute, quanto se dedique, quão hábil seja: essas posições jamais sairão.
Apenas uma das seis posições alcançáveis termina no buraco central. Esse é o final centralista, o mais buscado por jogadores experientes.
O que isso muda pra quem joga
- Você para de tentar finais impossíveis. Economiza horas de frustração.
- Você reconhece quando uma sequência caminha pra final impossível. Recua antes de gastar mais.
- Você entende por que configurações intermediárias são ruins: só permitem caminhos pros finais impossíveis.
- Você aprecia o jogo num nível diferente. Resta 1 deixa de ser tentativa e erro. Vira problema matemático elegante.
No app
Resta 1 BLA respeita os seis finais previstos pela teoria. O modo Centralista só aceita vitória com pino no centro, exatamente o final matematicamente mais difícil. Disponível na App Store.
Perguntas frequentes sobre a matemática do Resta 1
Quem foi John Conway?
Matemático britânico (1937-2020), professor em Cambridge e depois em Princeton. Conhecido pelo Game of Life (1970), por contribuições em teoria de grupos e geometria. Trabalhou em combinatória de jogos durante toda a carreira.
O invariante de Conway funciona em outras variantes do Resta 1?
Sim, com adaptações geométricas. Cada variante tem seu próprio conjunto de finais possíveis e impossíveis. A Triangular tem invariante diferente porque tem 6 direções de pulo.
A demonstração precisa de matemática avançada?
A intuição não. A formalização rigorosa usa álgebra de grupos abelianos finitos, conceito do segundo ano de graduação. Mas a ideia pode ser ensinada no Ensino Médio.
Resta 1 é resolvido por computador?
Sim, há décadas. A Cruz Inglesa tem cerca de 8 bilhões de posições possíveis, número grande pra explorar à mão mas pequeno pra computador moderno. Em 1986, busca exaustiva confirmou que 18 é o mínimo absoluto de sequências (Bergholt tinha achado em 1912, manualmente).
Vale a pena estudar matemática pra jogar melhor?
Não te faz necessariamente vencer mais. Ajuda a entender por que perde quando perde. Pra ganhar mais, vale a pena treinar as estratégias clássicas. A matemática vem como bônus.
