Este resolvedor é para os problemas de lógica do tipo desafio de Einstein, os clássicos "quem mora onde e tem o quê": algumas categorias, o mesmo número de itens em cada uma e pistas que ligam tudo. Você digita o seu próprio problema, o resolvedor encontra a resposta, e Próximo passo mostra o caminho uma dedução de cada vez, enquanto a grade de vistos e X vai sendo preenchida. Ele serve para qualquer problema nesse formato, com até 5 categorias de até 6 itens.
Um aviso honesto sobre o desafio original. O famoso desafio de Einstein tem cinco casas e cinco características por casa (cor, nacionalidade, bebida, cigarro e animal). Contando a posição das casas, isso dá seis categorias, uma a mais do que este resolvedor aceita, então a versão original completa não cabe aqui. Versões menores no mesmo estilo cabem, como o exemplo abaixo, e também os problemas de lógica de revistas com até cinco categorias.
Como inserir um problema de lógica
- Escolha quantas categorias existem e quantos itens cada uma tem. Dê um nome a cada categoria e digite os itens separados por vírgulas. Marque ordenada em uma categoria cujos itens têm uma ordem, como idades, números de casa ou horários.
- Monte cada pista a partir de um modelo, escolha os itens nas listas e toque em Adicionar pista. Os modelos cobrem as formulações comuns: A é B; A não é B; A é menor ou maior que B; A fica ao lado de B; A é N a mais ou a menos que B; A é B ou C; de A e B, um é C e o outro é D; exatamente uma de duas afirmações é verdadeira; e um grupo de itens todos diferentes.
- Toque em Resolver. Se as pistas permitirem mais de uma resposta, o resolvedor diz quantas (até 50) e mostra duas lado a lado com as diferenças marcadas, para você ver o que a pista que falta precisa separar. Se nenhuma resposta servir, ele diz que as pistas se contradizem.
Muitas pistas escondem uma regra no jeito de falar. "A pessoa da casa 2 não é o Ben" é uma pista simples do tipo A não é B. "A Ana mora em algum lugar à esquerda do dono do cachorro" é A é menor que B na categoria Casa.
Exemplo resolvido: quatro vizinhos na Rua dos Bordos
Ana, Ben, Cleo e Dev moram nas casas 1 a 4. Cada um tem um animal (gato, cachorro, papagaio, coelho) e uma bebida favorita (café, suco, leite, chá). As pistas: 1. Na casa 4 se bebe leite. 2. Ben não mora na casa 4. 3. Dev e Ben são vizinhos de porta. 4. O cachorro é da Ana ou da Cleo. 5. O suco é do Ben ou da Cleo. 6. Quem tem o gato não bebe chá. 7. O número da casa do papagaio é 3 a mais que o de quem bebe suco. 8. De suco e chá, um combina com o gato e o outro com o coelho. 9. Do gato e do coelho, um está na casa 1 e o outro na casa 3.
A pista 8 diz que o dono do gato bebe suco ou chá, e a pista 6 descarta o chá, então o dono do gato bebe suco e o dono do coelho bebe chá. A pista 7 então coloca quem bebe suco na casa 1 e o papagaio na casa 4. Carregue o exemplo para acompanhar todos os passos; a resposta é Ana na casa 2 com o cachorro e café, Ben na casa 3 com o coelho e chá, Cleo na casa 1 com o gato e suco, e Dev na casa 4 com o papagaio e leite. Este problema foi escrito para esta página.
Como o resolvedor funciona
O resolvedor mantém a mesma grade que você manteria no papel: para cada par de itens, sim, não ou desconhecido. Ele aplica as pistas e depois as regras da grade: um visto descarta o resto da sua linha e da sua coluna, uma linha com uma só opção restante ganha um visto, e dois fatos que têm um item em comum se ligam (se a Ana é a dona do gato e o dono do gato bebe suco, a Ana bebe suco). Pistas de ordem e de "ou" cortam as opções que não podem dar certo. Quando nada disso ajuda, ele testa uma suposição e só fica com ela se levar a uma contradição, que ele então explica. Para encontrar todas as soluções e provar que não há outras, ele combina essas regras com uma busca, e cada resposta é conferida com todas as pistas antes de aparecer.
Dica para resolver
Marque primeiro os X de todas as pistas com "não", depois procure linhas com uma só lacuna; cada novo visto copia todos os fatos de um item para o outro.
Se você gosta de dedução com números, experimente resolver sudoku com uma dica explicada por vez. Para relaxar entre um desafio e outro, o 2048 tem uma IA que sugere a melhor jogada.
Quer uma grade de lógica para jogar? O futoshiki usa sinais de maior e menor no lugar das frases, com um desafio novo todo dia.
Resolvedor testado em . Achou um problema? Avise a gente.
Perguntas frequentes
Que tipo de problema de lógica ele resolve?
Problemas de lógica em grade (também chamados de desafio de Einstein ou de problemas da zebra) com 2 a 5 categorias de 2 a 6 itens cada, em que cada item de uma categoria combina com exatamente um item de cada outra categoria. As pistas precisam se encaixar em um dos modelos; a maioria das pistas publicadas se encaixa depois de reescrita.
Por que ele diz que há várias soluções?
As pistas que você inseriu não definem uma resposta só. Muitas vezes uma pista ficou de fora ou foi inserida com o modelo errado. O resolvedor mostra duas respostas com as diferenças marcadas, o que indica onde está a informação que falta.
Como insiro 'A fica em algum lugar à esquerda de B'?
Marque ordenada na categoria que tem a ordem (por exemplo Casa, com os itens 1 a 4 da esquerda para a direita) e use o modelo 'A é menor ou anterior a B' com essa categoria. Para 'logo à esquerda de', use 'A é N a menos que B' com N = 1.
O que quer dizer 'de A e B, um é C e o outro é D'?
Quer dizer que A e B são dois itens diferentes, e C e D combinam com eles em alguma ordem: ou A é C e B é D, ou A é D e B é C.
Ele explica todos os passos?
Para problemas com uma resposta só, ele explica cada dedução a partir das regras da grade e das pistas, e usa uma suposição explicada quando as regras simples empacam. Se um problema só puder ser terminado por tentativa e erro, os passos param ali e Resolver mostra a resposta.