Este solucionador es para los acertijos lógicos clásicos de "quién vive dónde y qué tiene", como el famoso acertijo de Einstein (también llamado acertijo de la cebra): unas cuantas categorías, el mismo número de elementos en cada una y pistas que los relacionan. Escribes tu propio acertijo, el solucionador encuentra la respuesta y Siguiente paso te lleva por ella una deducción a la vez, mientras se llena la cuadrícula de palomitas y cruces. Sirve para cualquier acertijo con esta forma, hasta 5 categorías de 6 elementos.
Cómo escribir un acertijo de lógica
- Elige cuántas categorías hay y cuántos elementos tiene cada una. Ponle nombre a cada categoría y escribe sus elementos separados por comas. Marca ordenada en una categoría cuyos elementos tienen un orden, como edades, números de casa u horas.
- Arma cada pista a partir de una plantilla, elige los elementos de las listas y pulsa Agregar pista. Las plantillas cubren la redacción habitual: A es B; A no es B; A es menor o mayor que B; A está junto a B; A es N más o N menos que B; A es B o C; de A y B, uno es C y el otro es D; exactamente una de dos afirmaciones es verdadera; y un grupo de elementos que son todos distintos.
- Pulsa Resolver. Si las pistas permiten más de una respuesta, el solucionador dice cuántas hay (hasta 50) y muestra dos lado a lado con las diferencias marcadas, para que veas qué tendría que separar la pista que falta. Si ninguna respuesta encaja, avisa que las pistas se contradicen.
Muchas veces una pista esconde una regla en su redacción. "La persona de la casa 2 no es Ben" es una pista simple del tipo A no es B. "Ana vive en algún lugar a la izquierda de quien tiene el perro" es A es menor que B en la categoría Casa.
Ejemplo resuelto: cuatro vecinos en la calle de los Arces
Ana, Ben, Cleo y Dev viven en las casas 1 a 4. Cada uno tiene una mascota (gato, perro, loro, conejo) y una bebida favorita (café, jugo, leche, té). Las pistas: 1. En la casa 4 se toma leche. 2. Ben no está en la casa 4. 3. Dev y Ben son vecinos de al lado. 4. El perro es de Ana o de Cleo. 5. El jugo es de Ben o de Cleo. 6. Quien tiene el gato no toma té. 7. El número de casa del loro es 3 más que el de quien toma jugo. 8. Del jugo y el té, uno va con el gato y el otro con el conejo. 9. Del gato y el conejo, uno está en la casa 1 y el otro en la casa 3.
La pista 8 dice que quien tiene el gato toma jugo o té, y la pista 6 descarta el té, así que quien tiene el gato toma jugo y quien tiene el conejo toma té. Luego la pista 7 pone a quien toma jugo en la casa 1 y al loro en la casa 4. Carga el ejemplo para seguir todos los pasos; la respuesta es Ana en la casa 2 con el perro y café, Ben en la casa 3 con el conejo y té, Cleo en la casa 1 con el gato y jugo, y Dev en la casa 4 con el loro y leche. Este acertijo se escribió para esta página.
Cómo funciona el solucionador
El solucionador lleva la misma cuadrícula que llevarías tú: para cada par de elementos, sí, no o desconocido. Aplica las pistas y luego las reglas de la cuadrícula: una palomita descarta el resto de su fila y su columna, una fila con una sola opción restante recibe una palomita, y dos datos que comparten un elemento se enlazan (si Ana tiene el gato y quien tiene el gato toma jugo, Ana toma jugo). Las pistas de orden y las de "o esto o aquello" recortan las opciones imposibles. Cuando nada de esto ayuda, prueba una suposición y la conserva solo si lleva a una contradicción, que luego explica. Para encontrar todas las soluciones y demostrar que no hay otras, combina estas reglas con una búsqueda, y cada respuesta se comprueba contra todas las pistas antes de mostrarla.
Consejo para resolver
Marca primero las cruces de todas las pistas con "no" y luego busca filas con un solo hueco; cada palomita nueva copia todos los datos de un elemento al otro.
Si te gusta la deducción pura, prueba el solucionador de sudoku, que explica cada paso igual que aquí, o las torres de Hanói, donde una regla simple decide cada movimiento.
Para seguir deduciendo con números, juega sudoku online: cuadrículas nuevas cada día y una pista que explica el siguiente paso.
Solucionador probado el . ¿Encontraste un error? Avísanos.
Preguntas frecuentes
¿Qué tipo de acertijos lógicos puede resolver?
Acertijos lógicos de cuadrícula (también llamados acertijos de Einstein o de la cebra) con 2 a 5 categorías de 2 a 6 elementos cada una, donde cada elemento de una categoría va con exactamente un elemento de cada otra categoría. Las pistas deben encajar en una de las plantillas; la mayoría de las pistas publicadas encajan una vez que se reformulan.
¿Por qué dice que hay varias soluciones?
Las pistas que escribiste no fijan una sola respuesta. A menudo faltó una pista o se escribió con la plantilla equivocada. El solucionador muestra dos respuestas con las diferencias marcadas, lo que te indica dónde falta información.
¿Cómo escribo 'A está en algún lugar a la izquierda de B'?
Marca ordenada en la categoría que tiene el orden (por ejemplo Casa, con elementos 1 a 4 de izquierda a derecha) y usa la plantilla 'A es menor o anterior a B' con esa categoría. Para 'justo a la izquierda de' usa 'A es N menos que B' con N = 1.
¿Qué significa 'de A y B, uno es C y el otro es D'?
Significa que A y B son dos elementos distintos, y que C y D van con ellos en algún orden: o A es C y B es D, o A es D y B es C.
¿Puede explicar cada paso?
En los acertijos que tienen una sola respuesta, explica cada deducción a partir de las reglas de la cuadrícula y las pistas, y usa una suposición explicada cuando las reglas simples se atoran. Si un acertijo solo se puede terminar por prueba y error, los pasos se detienen ahí y Resolver da la respuesta.