Criptoaritmética

Cryptarithmetic (también llamado aritmética alfamética o verbal) es un tipo de rompecabezas matemático donde los dígitos son reemplazados por letras, y el solucionador debe determinar qué dígito representa cada letra para hacer una ecuación aritmética válida. El ejemplo más famoso es SEND + MORE = MONEY, donde cada carta representa un dígito único (0-9). Estos puzzles combinan la deducción lógica con el razonamiento aritmético y a menudo presentan palabras que forman una frase significativa, agregando una capa de encanto lingüístico.

Reglas

1. Cada letra en el rompecabezas representa un dígito único (0-9).
2. La misma carta siempre representa el mismo dígito a lo largo del rompecabezas.
3. Diferentes letras representan diferentes dígitos (no dos letras comparten un dígito).
4. El dígito principal de cualquier número no puede ser cero (por ejemplo, en SEND + MORE = MONEY, S y M no puede ser 0).
5. La ecuación aritmética debe ser correcta cuando las letras son reemplazadas por sus dígitos correspondientes.

Ejemplo clásico: SEND + MORE = MONEY

``

S E N D

+ M O R E

-----

M O N E Y

``

Solución: S=9, E=5, N=6, D=7, M=1, O=0, R=8, Y=2 → 9567 + 1085 = 10652

Estrategias

• Análisis de Carry: La columna más izquierda a menudo revela lleva. En SEND + MORE = MONEY, el M en MONEY debe ser un cargamento de la columna S+M, por lo que M=1 (el máximo carga de añadir dos dígitos individuales es 1).

*Deducción de color por colon* Trabajar a través de columnas de izquierda a derecha o derecha a izquierda, considerando posibles cargas de columnas adyacentes.

• Sólo dígitos. Dado que todas las letras representan diferentes dígitos, cada asignación elimina ese dígito de todas las otras letras. Realice un seguimiento de los dígitos disponibles restantes.
• Restrictions zero**: La carta principal de cada número no puede ser cero. Esto limita inmediatamente ciertas cartas.

*Parity and Modular Arithmetic*: El último dígito de la suma se determina por los últimos dígitos de las adiciones. Esto puede eliminar rápidamente las posibilidades para la columna más derecha.

• Trial and Elimination: Comience con las letras más limitadas (las que aparecen en múltiples columnas o en posiciones de producción de carga), asigne un valor y compruebe la consistencia. Backtrack si surge una contradicción.

Los rompecabezas clarithmetic tienen raíces que se remontan a siglos, pero la forma moderna surgió a principios del siglo XX. El término "cryptarithmie" fue acuñado por Simon Vatriquant en el número de mayo de 1931 de la revista belga de rompecabezas Esfinge. Sin embargo, los rompecabezas similares habían aparecido antes — Henry Dudeney, el prolífico fabricante de rompecabezas inglés, publicado carta-sustitución problemas aritméticos en la revista Strand tan temprano como 1924.

El rompecabezas criptaritmético más famoso, SEND + MORE = MONEY, fue presentado por Henry Dudeney en 1924 en la revista Strand. Este rompecabezas se ha convertido en el ejemplo canónico del género, apareciendo en innumerables libros de puzzle, libros de texto de informática y colecciones de recreación matemática. Su solución elegante (con M=1 forzada por el porte) lo convierte en una introducción ideal al proceso de resolución.

Cryptarithmetic ganó un nuevo público en la comunidad de informática durante los años 1960 y 1970, cuando se convirtió en un ejemplo estándar para enseñar problemas de satisfacción de limitaciones, algoritmos de retroceso e inteligencia artificial. El rompecabezas ilustra perfectamente cómo las restricciones (cada carta mapa a un dígito único, la ecuación debe mantener, ningún cero líder) se pueden aplicar sistemáticamente para prune un espacio de búsqueda. Se presenta en prácticamente todos los libros de texto de AI como un ejercicio de propagación de restricciones.

Los rompecabezas siguen siendo populares en matemáticas recreativas. Competencias y revistas de rompecabezas presentan problemas criptaritméticos regularmente, y el formato se ha ampliado para incluir la multiplicación (por ejemplo, AB x C = DEF), la resta, e incluso los puzzles multifuncionales. Internet ha generado comunidades dedicadas a crear y resolver estos puzzles, a menudo buscando ejemplos en los que las palabras forman frases humorísticas o significativas (como EAT + E = APPLE o WRONG + WRONG = DERECHO).