Tema 5 - dccia

Fundamentos IA 5. Satisfacción de Restricciones
@DCCIA
Criptoaritmética
• Definición: sustituir cada letra por un dígito
distinto (distinta cifra, distinta letra) de manera que
la suma sea correcta GOTA
GOTA
GOTA
+ GOTA
GOTA
⎯⎯⎯⎯
AGUA
• Formulación:
variables : G, O, T, A, U, C 1, C 2, C 3
(C 1 , C 2 , C 3 variables de acarreo)
dominios : O, T, U ∈ {0, …, 9}
G, A ∈ {1, …, 9}
C 1, C 2, C 3 ∈ {0, …, 3}
restricciones :
• letras distintas G ≠ O, G ≠ T, …, A ≠ U
• suma correcta (unidades) 5*A = 10*C 1 +A
(decenas) 5*T+C 1 = 10*C 2 +U
(centenas) 5*O+C 2 = 10*C 3 +G
(unidades mil) 5*G+C 3 = A
• Características :
• CSP binario, discreto y finito
10