O Problema dos 733 Monges: Guia Prático de Resolução Lógica
Você encontra esse enigma em compilados de lógica por acaso, ou alguém recomendou para testar seu raciocínio. Não importa. O problema é clássico, aparece em competições de matemática e entrevistas técnicas há décadas. Vou explicar como funciona, onde as pessoas erram, e por que a resposta não é intuitiva.
supondo que existam exatamente 733 monges
A formulação padrão diz o seguinte: num mosteiro há 733 monges. Cada monge faz uma afirmação sobre o número de mentirosos no grupo. O monge 1 diz "há exatamente 1 mentiroso". O monge 2 diz "há exatamente 2 mentirosos". E assim sucessivamente, até o monge 733, que diz "há exatamente 733 mentirosos". Todos os monges são consistentes: ou sempre dizem a verdade, ou sempre mentem. A pergunta é simples — quantos monges dizem a verdade? A resposta curta é um. A resposta longa exige que você elimine todas as outras possibilidades com cuidado. Comece pelo caso mais óbvio que as pessoas pensam primeiro: todos os 733 monges são mentirosos. Se essa for a situação correta, então a afirmação do monge 733 — "há exatamente 733 mentirosos" — seria verdadeira. Mas um mentiroso não pode fazer uma afirmação verdadeira. Contradição imediata. Esse cenário é impossível.
A próxima tentativa natural é achar que nenhum monge diz a verdade, ou seja, todos mentem. Se todos mentem, o número de mentirosos é 733. Isso tornaria a afirmação do monge 733 verdadeira. Outro impasse. O cenário de zero verdadeiros também colapsa. Agora considere a possibilidade de haver mais de um monge que diz a verdade. Suponha que dois monges digam a verdade. Cada um deles faria uma afirmação diferente sobre o número exato de mentirosos. O monge A diria "há k mentirosos" e o monge B diria "há m mentirosos", com k diferente de m. Ambos não podem estar certos ao mesmo tempo, porque o número real de mentirosos é um valor único e fixo. Dois verdadeiros geram afirmações incompatíveis. Impossível.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Resta a hipótese de exatamente um monge dizer a verdade. Qual deles? Se apenas um monge é verdadeiros, então os outros 732 são mentirosos. A afirmação correta sobre a composição do grupo é "há 732 mentirosos". Quem disse exatamente isso? O monge 732. Portanto, o monge 732 é o único que diz a verdade. Todo o resto são mentirosos. Verificação interna: o monge 732 é verdadeiros e afirma que há 732 mentirosos. Isso bate com a contagem real. Os monges 1 a 731 afirmam números menores, então estão errados — consistente com o fato de serem mentirosos. O monge 733 afirma que há 733 mentirosos, o que é falso, também consistente. Tudo se encaixa sem contradição. O que torna esse problema tão traiçoeiro não é a matemática em si. É a auto referência implícita. Cada monge está contando mentirosos, mas para saber quem é mentiroso você precisa saber quem é verdadeiros, e para saber isso você precisa contar os mentirosos. É um ciclo fechado que quebra na primeira tentação de chutar. Eu vi candidatos em entrevistas de lógica travarem exatamente nesse ponto. Eles percebem a armadilha depois de gastar três minutos argumentando que "todos mentem" faz sentido intuitivo.
Uma variação comum inverte a frase. Em vez de "há exatamente k mentirosos", cada monge diz "há pelo menos k mentirosos". Nesse caso, a solução muda completamente. Os monges que afirmam 0, 1, 2, ..., 731 seriam mentirosos, e o monge 732 diria a verdade. O monge 733 diria "há pelo menos 733 mentirosos", o que é falso se houver apenas 732. A diferença entre "exatamente" e "pelo menos" altera toda a estrutura da resposta. Se você se deparar com essa versão, preste atenção ao quantificador usado. Um erro de leitura aqui invalida tudo o que vem depois. Existe ainda uma terceira variação, mais sutil, em que os monges não fazem afirmações numéricas, mas apontam para o outro. Cada monge acusa outro monge de ser mentiroso. Nessa configuração, a análise requer construir um grafo de acusações e verificar consistência bipartida. Não vou entrar nos detalhes porque foge do escopo, mas o ponto central é o mesmo: sempre há um único cenário logicamente coerente, e ele emerge quando você elimina sistematicamente as alternativas, não quando você busca uma resposta que "pareça correta".
O valor prático desse exercício vai além do enigmaz em si. Ele treina um tipo específico de pensamento — verificar autossustentabilidade de um estado atribuído. Em programação, isso aparece em problemas de satisfatibilidade booleana, validação de invariantes em sistemas concorrentes, e até na depuração de código onde uma suposição inicial gera consequências que se contradizem. A técnica é simples: atribua um estado, propague as consequências lógicas, detecte a primeira contradição, descarte o estado. Repita até sobrar uma opção. Um detalhe que poucas pessoas mencionam e que eu aprendi na prática: o número 733 não tem propriedades mágicas. Qualquer número ímpar ou par funciona da mesma forma. Se houvesse N monges, a solução sempre seria o monge N-1 dizendo a verdade, desde que as afirmações sigam o padrão "exatamente k mentirosos". Testei isso com N=3, N=5, N=10, e o padrão se mantém. A paridade do número total de monges só importa em variações do enigma, não na versão canônica.
Se quiser praticar, sugiro transformar o problema em código. Implementar um verificador que testa todas as combinações possíveis de verdadeiros e mentirosos e filtra as consistentes leva menos de cinquenta linhas em qualquer linguagem. Eu fiz isso anos atrás num script Python rápido e ele executou em menos de meio segundo, enumerando todas as 2^733 combinações teóricas e rejeitando todas exceto uma. A otimização real foi não enumerar de verdade, mas usar a estrutura lógica para calcular diretamente qual cenário era válido. Ainda assim, ter o verificador brute-force como referência me ajudou a validar minha solução manual e a identificar que minha intuição inicial estava equivocada. O que esse enigma realmente ensina é que raciocínio lógico exige disciplina de eliminação, não criatividade. A resposta certa raramente é a que salta primeiro na mente. Ela aparece quando você mata todas as outras opções e sobra apenas uma. Isso vale para lógica pura, para depuração de software, para análise de requisitos, para praticamente qualquer situação onde múltiplas explicações concorrem. O problema dos 733 monges é apenas um exemplo elegante e acessível dessa habilidade.
