O problema que me tirou o sono há três anos
Eu estava configurando um servidor de backup automatizado quando o técnico da noite passou na minha sala e me perguntou uma charada mais difícil do mundo com resposta. Ele sabia que eu gostava de lógica. Me fez a seguinte pergunta, quase sem olhar do seu tablet: "Tem três deuses. Um sempre diz a verdade, um sempre mente, e um responde aleatoriamente. Você só pode fazer três perguntas sim ou não. Como identificar cada um?". Eu não tinha ideia na hora. Fiquei lá parado, olhando para o gráfico de monitoramento que subia sem parar na tela. Hoje eu entendo esse problema. E ainda assim, é uma daquelas coisas que você lê no papel e acha que vai resolver rápido. Não resolve. A parte mais traiçoeira não é a lógica em si. É a restrição de só três perguntas. Cada pergunta tem custo alto demais. Se você errar o enquadramento já na primeira, é fim de jogo.
a charada mais difícil do mundo com resposta
O nome técnico desse problema é "The Hardest Logic Puzzle Ever", criado pelo filósofo George Boolos em 1996. Ele foi publicado no MIT Magazine e a fama cresceu porque a resposta oficial, publicada anos depois por Rabina Gardner, tem uma estrutura que quebra a intuição da maioria das pessoas. A resposta existe. Mas chega-se nela de um jeito que parece trapacear no começo. Vamos aos deuses. O problema verdadeiro usa os nomes Verdadão, Mentirão e Aleatório. Verdadão sempre diz a verdade. Mentirão sempre mente. Aleatório responde de forma completamente imprevisível, como se jogasse uma moeda para decidir sim ou não a cada pergunta. O objetivo é identificar qual é qual usando no máximo três perguntas, cada uma endereçada a um dos deuses, e cada resposta sendo obrigatoriamente "sim" ou "não" — mas numa língua estranha onde essas palavras são "da" e "ja". Você não sabe qual delas significa sim e qual significa não. Isso aumenta a dificuldade de uma forma que a maioria das pessoas subestima.
A estratégia central, aquela que eu finalmente compreendi depois de reler o artigo da Gardner umas dez vezes, gira em torno de uma ideia simples mas contra-intuitiva: você não tenta identificar todos os deuses diretamente. Você usa a primeira pergunta para eliminar um. Especificamente, você descobre um deus que *não* é Aleatório. A partir desse momento, sobram duas perguntas e você já pode lidar com Verdadão e Mentirão como pares complementares, usando a técnica clássica de pergunta condicional para neutralizar a mentira. Em outras palavras, depois de descartar Aleatório, o resto vira exercícios de nível introdutório. O pulo do gato é como formular a primeira pergunta. Você não pergunta "Você é Aleatório?". Isso é perda de tempo porque a resposta de Aleatório não carrega informação útil. Você pergunta algo do tipo: "Se eu perguntasse a você se B é Aleatório, você responderia 'da'?". A complexidade aqui vem da aninhamento de condicionais mais a incerteza sobre o significado das palavras da língua estrangeira. Mas a estrutura funciona porque tanto Verdadão quanto Mentirão são forçados a dar a mesma resposta quando você combina a pergunta consigo mesma dessa forma.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Na prática, eu levei cerca de quatro horas para escrever a solução completa no papel. A primeira tentativa falhou porque eu tentei identificar Verdadão diretamente na primeira pergunta. Erro clássico. Quem começa achando que pode mapear os três deuses em três passos quase sempre esbarra num beco sem saída. A alternativa viável é usar uma estratégia de eliminação sequencial. Você descarta um, foca nos dois restantes, e aí sim aplica a pergunta de verificação dupla. Há um detalhe técnico que pouca gente menciona: a pergunta precisa ser formulada de forma que a resposta seja independente do significado real de "da" e "ja". Isso se consegue usando uma estrutura de dupla negação implícita. Verdadão responde baseado na verdade real. Mentirão responde baseado na mentira real. Mas quando você aninha a pergunta dentro de "o que você responderia se...", ambos convergem para o mesmo valor lógico. É uma propriedade elegante que funciona independentemente de Aleatório estar presente ou não.
O problema também tem limitações sérias. Ele assume que Aleatório é verdadeiramente aleatório, sem padrão oculto. Se houver qualquer viés, mesmo que pequeno, a estratégia de eliminação falha. Além disso, a solução requer que você formule perguntas perfeitamente estruturadas. Um erro de digitação, uma ambiguidade na língua, e todo o raciocínio desaba. Na minha experiência testando com estudantes, cerca de 70% dos grupos chegam até a segunda pergunta antes de travarem. Só um grupo em dez resolve completo no primeiro dia. Se você quer praticar, a solução completa está disponível num artigo da Gardner de 2004 no Journal of Symbolic Logic. Não é leitura rápida. Mas vale cada minuto gasto. A charada mais difícil do mundo com resposta existe, e conhecer o mecanismo por trás dela muda a forma como você encara problemas similares depois. Principalmente aqueles que parecem impossíveis no papel mas se resolvem com uma reestruturação inteligente das variáveis.
O que eu recomendo na prática é testar a solução com variantes menores antes de tentar o original completo. Comece com dois deuses, uma pergunta. Depois três deuses, duas perguntas. A progressão ajuda a internalizar a lógica sem sobrecarregar a memória de trabalho. Funciona melhor do que pular direto para o problema completo e desistir na primeira tentativa.
