MISIONEROS Y CANIBALES

1. FUNDAMENTACIN TERICA

Tres misioneros se perdieron explorando una jungla. Separados de sus compaeros, sin alimento y sin radio, slo saban que para llegar a su destino deban ir siempre hacia adelante. Los tres misioneros se detuvieron frente a un ro que les bloqueaba el paso, preguntndose que podan hacer. De repente, aparecieron tres canbales llevando un bote, pues tambin ellos queran cruzar el ro. Ya anteriormente se haban encontrado grupos de misioneros y canbales, y cada uno respetaba a los otros, pero sin confiar en ellos. Los canbales se aprovechaban de los misioneros cuando les superaban en nmero, los devoraban antes de que pudieran escapar.

Los tres canbales deseaban ayudar a los misioneros a cruzar el ro, pero su bote no poda llevar ms de dos personas a la vez los misioneros saban que s los canbales les superaban en nmero sera devorados. Cmo puede resolverse el problema, sin que en ningn momento haya ms canbales que misioneros en cualquier orilla del ro? Hay que recordar que un misionero y un canbal en una orilla del ro ms uno o dos canbales en el bote al mismo lado, significa que habr problemas.

2. REPRESENTACIN SIMBLICA
Estado del problema y y y y y El nmero de canbales en el lado Izquierdo El nmero de misioneros en el lado Izquierdo El nmero de canbales en el lado Derecho El nmero de misioneros en el lado Derecho La posicin de la lancha (I o D)

Estado inicial y y y y y 3 misioneros en el lado Izquierdo 3 canbales en el lado Izquierdo 0 misioneros en el lado Derecho 0 misioneros en el lado Derecho La lancha se encuentra en el lado Izquierdo (I)
Posicin del Lado Izquierdo 3 Misioneros 3 Canbales

33

00

I
Lado Derecho0 Misioneros 0 Canbales

BoteI=lado Izquierdo

Estado Final y y y y y 0 misioneros en el lado Izquierdo 0 canbales en el lado Izquierdo 3 misioneros en el lado Derecho 3 misioneros en el lado Derecho La lancha se encuentra en el lado Izquierdo (D)
Posicin del Bote Lado Izquierdo 0 Misioneros 0 Canbales

00

33

D
Lado Derecho 3 Misioneros 3 Canbales

D=lado Derecho

Para pasar de un estado a otro necesitamos operadores que son los estados intermedios. Operadores y Mover 2 misioneros

Mover 2 canbales

Mover 1 misionero

Mover 1 canbal

Mover 1 misionero y 1 canbal

Grafo

Representacin Grfica de la resolucin del problema usando la tcnica de bsqueda Heurstica: Primero en profundidad