Universidad Rey Juan Carlos

Inteligencia Artificial
Ingeniera Informatica
Hoja de Problemas 2
B
usqueda no informada

Curso 20072008

1. Selecciona la(s) respuesta(s) correcta(s) para las siguientes cuestiones:

1. Cual o cuales de las siguientes afirmaciones acerca de los algoritmos de b
usqueda
no informada son ciertas:
(a) Los algoritmos de b
usqueda no informada requieren de informacion heurstica para que sean optimos.
usqueda en amplitud es optima y completa siempre y cuando el coste
(b) La b
de los operadores sea constante.
(c) La b
usqueda en profundidad es optima y completa siempre que el coste de
los operadores sea constante.
(d) La complejidad en espacio de la b
usqueda en amplitud es mayor que en el
caso de la b
usqueda en profundidad.
2. Cual o cuales de las siguientes afirmaciones acerca de los algoritmos de b
usqueda
no informada son ciertas si el coste de los operadores puede ser cualquier n
umero
entero positivo:
(a) Si existe una solucion, la b
usqueda en amplitud la encuentra.
(b) Si la b
usqueda en amplitud encuentra una solucion, esta debe ser igual a
la que encontrara la b
usqueda de coste uniforme.
usqueda de coste uniforme encuentra una solucion, esta debe ser
(c) Si la b
optima.
(d) La lista abierta en el algoritmo de b
usqueda en amplitud funciona como
una estructura LIFO.
3. Cual o cuales de las siguientes afirmaciones acerca de los algoritmos de b
usqueda
no informada son ciertas:
(a) La complejidad en tiempo del algoritmo de b
usqueda en amplitud es directamente proporcional a la longitud de la lista abierta.
(b) La complejidad del algoritmo de b
usqueda en amplitud es exponencial en
el peor caso, mientras que es logartmica en el mejor de ellos.
(c) La complejidad en tiempo y en espacio del algoritmo de b
usqueda en amplitud es exponencial en ambos casos.
(d) Los algoritmos de b
usqueda en profundidad para operadores de coste distinto a uno pero constante son optimos.
4. En el algoritmo de b
usqueda de coste uniforme:
usqueda esta guiada por el coste de los operadores.
(a) La b
(b) La lista abierta siempre esta ordenada de mayor a menor coste.
(c) Es completo y optimo.
(d) En el peor caso su complejidad es exponencial.
2. En una mesa se encuentran dos jarras, una con capacidad para 3 litros (llamada Tres,
y la otra con capacidad para 4 litros (llamada Cuatro). Inicialmente, Tres y Cuatro
Pagina 1 de 4

Hoja de Problemas 2

B
usqueda no informada

estan vacas. Cualquiera de ellas puede llenarse con el agua de un grifo G. Asimismo,
el contenido de las jarras se puede vaciar en una pila P. Tambien es posible verter el
agua de una jarra en la otra. No se dipone de dispositivos de medicion adicionales.
Se trata de encontrar una secuencia de operadores que deje exactamente dos litros
de agua en Cuatro.
(a) Modela este problema como un problema de b
usqueda. Tendras que definir, por
tanto, un estado inicial, el conjunto de estados meta, los operadores (especificando sus precondiciones y postcondiciones), as como el coste de cada operador.
(b) Caracteriza el conocimiento a priori del agente de resolucion del problema correspondiente.
(c) Encuentra una solucion al problema utilizando un algoritmo de b
usqueda en
amplitud.
Soluci
on
(a) Estado inicial : {C = 0, T = 0}
Estado final : {C = 2, T = }
Operadores
1. Op1: Llenar C de G(x,y)
Pre: {x < 4}
Post: {C = 4, T = y}
2. Op2: Llenar T de G(x,y)
Pre: {y < 3}
Post: {C = x, T = 3}
3. op3: VaciarCuatroEnP(x,y)
Pre: {x > 0}
Post: {C = 0, T = y}
4. op4: VaciarTresEnP(x,y)
Pre: {y > 0}
Post: {C = x, T = 0}
5. op5 LlenarCuatroDesdeTres(x,y)
Pre: {x > 0 x < 4 x + y 4}
Post: {C = 4, T = x + y 4}
6. op6 LlenarTresDesdeCuatro(x,y)
Pre: {y > 0 y < 3 x + y 3}
Post: {C = x + y 3, T = 3}
7. op7: VaciarTresEnCuatro(x,y)
Pre: {y > 0 x + y < 4}
Post: {C = x + y, T = x + y 4}
8. op8: VaciarCuatroEnTres(x,y)
Pre: {x > 0 x + y < 3}
Post: {C = x + y 3, T = 3}
(b) El agente sabe a priori el estado inicial, el estado final, los operadores y su coste
(constante en este caso)

Pagina 2 de 4

Hoja de Problemas 2

B
usqueda no informada

(c) Una solucion podra ser la siguiente:

{C = 0, T = 0} op2 {C = 0, T = 3} op7 {C = 3, T = 0} op2 {C = 3, T =
3} op5 {C = 4, T = 2} op3 {C = 0, T = 2} op8 {C = 0, T = 2}
3. El grafo que se muestra a continuacion determina un problema de b
usqueda. Cada
nodo representa un estado; los arcos modelan la aplicacion de los operadores. Si A es
el estado inicial y K y E son los estados meta:

(a) Desarrolla el arbol de b

usqueda en amplitud. Indica el orden en que se expanden
los nodos. Cual de los nodos meta se expande primero?
(b) Instancia el algoritmo de b
usqueda general para que realice una b
usqueda ena
amplitud. Escribe el estado de la lista abierta en cada paso del algoritmo.
(c) La b
usqueda en profundidad se diferencia de la b
usqueda en amplitud en que al
expandir un nodo, los nodos hijo se insertan al inicio de la lista abierta. Resuelva
el problema usando este algoritmo.
(d) Que ventajas presenta un algoritmo de b
usqueda en profundidad con respecto
a un algoritmo de b
usqueda en amplitud?
(e) Que desventajas existen?
4. Aplica la b
usqueda de coste uniforme para encontrar la ruta mas corta de Pitesti (P )
a Fagaras (F ). Desarrolla el arbol de b
usqueda generado por el algoritmo, asumiendo
que se evitan ciclos simples. Indica el valor g de cada nodo, as como el orden en que
se expanden.

Pagina 3 de 4

Hoja de Problemas 2

B
usqueda no informada

Soluci
on
La lista abierta y, por tanto, el orden de expansion de los nodos queda de la siguiente
manera:
abierta =
{P = 0}
{R = 97, B = 101, C = 138}
{B = 101, C = 138, S = 177, C = 243}
{C = 138, S = 177, U = 186, G = 191, C = 243, F = 311}
{S = 177, U = 186, G = 191, C = 243, D = 258, R = 284, F = 311}
{U = 186, G = 191, C = 243, D = 258, F = 276, R = 284, F = 311, A
328}
{G = 191, C = 243, D = 258, F = 276, R = 284, H = 284, F = 311, A
328, V = 328}
{C = 243, D = 258, F = 276, R = 284, H = 284, F = 311, A = 317, O
328}
{D = 258, F = 276, R = 284, H = 284, F = 311, A = 317, O = 328, V
363, P = 381}
{F = 276, R = 284, H = 284, F = 311, A = 317, O = 328, V = 328, H
363, P = 381
Nodo F encontrado

Pagina 4 de 4

= 317, O =
= 317, O =
= 328, V =
= 328, D =
= 333, D =