Ejercicios de busqueda

1- Políticos y Ciudadanos de Bien 

Se desea transportar 3 políticos y 3 ciudadanos de bien de una orilla del rió a otra, para esto cuentan con una barca en la que caben dos personas, sin embargo a medida que se va transportando a estas personas se debe cumplir la regla de que no puede haber una mayoría de políticos en alguna de las dos orillas, en comparación con el numero de ciudadanos de bien porque los ciudadanos serían robados.

Solución

Estado inicial: 3 políticos y 3 ciudadanos de bien en la orilla de la izquierda y con la balsa arrimada a esa orilla

Estado final: 3 políticos y 3 ciudadanos de bien en la orilla de la derecha y con la balsa arrimada a esa orilla

Espacio de estado: 

1: 2 Políticos cruzan hacia el otro lado del rió.
2: Regresa uno de los dos con el bote.
3: Un político lleva a otro político al otro lado.
4: El político regresa de nuevo y se quedan de momento 2 políticos en la segunda orilla.
5: 2 ciudadanos de bien cruzan al otro lado.
6: 1 ciudadano regresa con 1 político y por ahora en las dos orillas hay 1 político y 1 ciudadano de bien.
7: Cruzan los 2 ciudadanos de bien a la segunda orilla lo que significa que todos los ciudadanos están en la segunda orilla.
8: El politico que hay en la segunda orilla se desplaza a la primera.
9: El mismo politico se lleva a otro a la segunda orilla.
10: El politico vuelve a la primera.
11: El politico se lleva al que estaba en la primera orilla.
12: Los 2 politicos llegan a la segunda orilla y todos terminan por cruzar el rio

Operadores:

AB(AbordarBalsa)
DAB(DesabordarBalsa)
MBI(MoverBalsaIzquierda)
MBD(MoverBalsaDerecha)
VO1(VerOrilla1)
VO2(VerOrilla2)

2- Caballos negros y Caballos blancos

Se desea ubicar a dos pares de caballos negros y blancos en un tablero para que queden los blancos abajo con casilla de por medio y los negros arriba con casilla de por medio, su posición inicial es que los blancos están arriba con una casilla de por medio y los negros de igual manera pero en la parte baja. El tablero por donde se pueden mover es de 3x3 y sus movimientos deben ser los de cualquier caballo en ajedrez (en L), ademas de que ninguno puede ubicarse en la misma casilla.

Solución
Estado inicial:


Estado final:


Espacio de estados: 34
 

Operaciones:
MC1U2L(MoverCaballo1Up2Left)
MC2U1L(MoverCaballo2Up1Left)
MC1D2L(MoverCaballo1Down2Left)
MC2D1L(MoverCaballo2Down1Left)
MC1U2R(MoverCaballo1Up2Right)
MC2U1R(MoverCaballo2Up1Right)
MC1D2R(MoverCaballo1Down2Right)
MC2D1R(MoverCaballo2Down1Right)
VEV(VerificarEspacioVacio)