Formalización de problemas

Criptoaritmética

Estados: Un estado es una asignación (parcial) de dígitos a letras.

Operadores: La asignación de un dígito a una letra. (Puede incluir restricciones como que el dígito no haya sido ya usado, y que las reglas aritméticas no sean violadas).

Prueba de si se ha llegado al estado objetivo: Determinar si a todas las letras, le han sido asignadas dígitos, y que la suma sea correcta.

Estado inicial: Una asignación parcial de dígitos a letras.

Estado final: Un estado en el que a todas las letras le han sido asignadas dígitos, y la suma es correcta.

Misioneros, y caníbales

Operadores: Son cinco los operadores, los cuales se listan a continuación:

1. Llevar a un misionero al otro lado.
2. LLevar a un caníbal.
3. Llevar a dos misioneros.
4. Llevar a dos caníbales.
5. Llevar a un misionero, y a un caníbal.

Estados: Un estado se conforma de tres variables:

1. Número de lanchas en un lado.
2. Número de caníbales.
3. Número de misioneros.

Prueba de si se ha legado al estado objetivo: Determinar si el estado actual corresponde a (0, 0, 0)

Estado inicial: (3, 3, 1)

Estado final: (0, 0, 0)