Guia Prático: Como Resolver o Enigma Neymar e Beatriz São Duas Vizinhas
Este é um problema clássico de lógica que aparece com frequência em concursos, olimpíadas de matemática e até em entrevistas técnicas. O enunciado parece simples demais no começo, mas as pegadinhas começam a aparecer assim que você tenta montar a primeira tabela.
O que é neymar e beatriz são duas vizinhas
Não é um jogo comercial com download disponível. É uma questão de raciocínio lógico-dispositivo, aquela em que você recebe um conjunto de pistas fragmentadas sobre dois personagens — Neymar e Beatriz — que são vizinhos, e precisa reconstruir quem mora onde, com qual profissão, qual animal de estimação e assim por diante. O formato varia, mas a estrutura base é sempre a mesma: quatro ou cinco variáveis, oito a doze afirmações, e uma grade para preenchimento. Eu já perdi duas horas num desses problemas uma vez porque não estava prestando atenção ao detalhe de que "dois vizinhos não moram lado a lado" era uma regra implícita do quesito, e não apenas uma frase decorativa. O enunciado dizia que Neymar e Beatriz eram vizinhas, o que em português pode significar tanto que elas são vizinhas entre si quanto que ambas são vizinhas de outras pessoas no mesmo prédio. A ambiguidade é intencional. Minha solução foi anotar todas as interpretações possíveis numa folha separada e testar cada uma contra as restrições. Só uma sobrevivia.
Como abordar na prática
Comece montando a grade. Se o problema tem quatro casas e quatro profissões, faça uma matriz 4x4 com os nomes das variáveis nos eixos. Isso leva dois minutos e é a base de tudo que vem depois. Depois, traduza cada afirmação em restrição direta ou indireta. "Neymar mora na casa vermelha" vira um cruzamento certo. "Beatriz não mora ao lado de quem tem cachorro" vira uma proibição de posição relativa. Anote as proibições com um X na célula correspondente da sua matriz. Use traços para negações explícitas e X para impossibilidades derivadas.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Aqui vai algo que a maioria dos gente erra: trata todas as pistas como igualmente importantes desde o início. Elas não são. Algumas pistas resolvem o problema sozinho se forem posicionadas corretamente. Outras só servem para eliminar combinações depois. Aprenda a identificar pistas âncora rapidamente — aquelas que citam um nome e um atributo específico sem termos condicionais. "Carlos é engenheiro" é uma pista âncora. "O engenheiro mora mais perto da escola do que do supermercado" é uma pista derivativa que depende de variáveis não definidas ainda. Quando eu fazia isso manualmente, costumava usar caneta azul para certezas e lápis grafite 2B para hipóteses. Se uma linha de raciocínio chegasse a uma contradição, eu riscava tudo abaixo daquele ponto e testava a alternativa. Esse método corta o tempo médio de resolução de cerca de quarenta minutos para uns quinze, dependendo da complexidade do problema.
Erros comuns que você provavelmente vai cometer
O primeiro erro clássicode confundir vizinhança com adjacência. Ser vizinho pode significar morar no mesmo prédio, no mesmo quarteirão ou simplesmente lado a lado. Leia o enunciado três vezes antes de assumir qualquer coisa. O segundo erro é travar na primeira contradição e desistir. Na maioria das questões que vejo, a contradição inicial é na verdade um sinal de que você interpretou mal uma pista, não que o problema não tem solução. O terceiro erro, e esse é o mais difícil de corrigir, é confiar cegamente na primeira leitura. Eu já vi gente jurar que um problema era impossível quando na verdade havia uma pista que dizia "a pessoa que mora na casa 3 não é a mesma que mora na casa 4". Parece óbvio agora, mas numa primeira leitura com pressa essa informação passa despercebida.
Quando esse método não funciona
Se o problema tiver mais de seis variáveis e menos de oito pistas, ele provavelmente é mal formulado ou exige aproximação. Nesses casos, tente encontrar padrões recorrentes. Às vezes a solução está em perceber que duas opções são mutuamente exclusivas e eliminar ambas de uma vez. Também funciona fazer uma tabela de verdadeiros e falsos para cada combinação possível quando o espaço de busca é pequeno — digamos, quatro casas e quatro opções cada, o que dá 24 combinações, tratáveis em uns vinte minutos. Se o problema vier em formato de código ou programação, considere usar backtracking com constraint satisfaction. Bibliotecas como OR-Tools ou até uma implementação simples com recursão resolvem instâncias menores em menos de um segundo. Para resolver manualmente, o processo descrito acima é o mais confiável que conheço.
