Vous êtes sur la page 1sur 88

Inteligencia Artificial

Busquedas a Ciegas
Jorge Crespo
Viviana Proa
no
Vctor Saquicela
UNIVERSIDAD DE CUENCA
Inteligencia Artificial

11 de octubre de 2015

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

INDICE
1

B
usqueda a Ciegas
Introducci
on
B
usqueda en Amplitud
Caractersticas
Algoritmo Basico
Analisis
Ejemplo
Complejidad Computacional
B
usqueda en Profundidad
Caractersticas
Algoritmo Basico
Analisis
Ejemplo
Complejidad Computacional
B
usqueda Bidireccional
Caractersticas
Caractersticas-Condiciones
Jorge Crespo, Viviana Proa
no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Introducci
on

Busqueda a Ciegas
Introducci
on
La b
usqueda a ciegas, sin informaci
on del dominio o exhaustiva es:
Sistematica: No deja sin explorar ning
un nodo y lo explora solo
una vez.
Objetiva: Pues no depende del dominio del problema.
Esta b
usqueda es una colecci
on de metodos para realizar
b
usquedas en el espacio de estados. Se comienza por el nodo
raz, usando los operadores para generar los sucesores de los
estados, continuando la b
usqueda hasta que se encuentra una
soluci
on.
La idea detras de la b
usqueda a ciegas es examinar el arbol
entero de una manera ordenada, usando todos los operadores y
generando tantos nodos sucesores como sea necesario para
encontrar la soluci
on deseada.
Jorge Crespo, Viviana Proa
no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Busqueda en Amplitud

Caractersticas
La b
usqueda por amplitud examina los nodos en un arbol de
b
usqueda comenzando con el nodo raz.
Todos los nodos en cada nivel son examinados antes de pasar al
siguiente nivel.
La estructura de datos que utiliza es la cola (estructura FIFO), que
se lo llamara ABIERTA, donde va a almacenar todos los estados
abiertos (frontera de expansi
on).
Cada celda ABIERTA almacenara el estado y un apuntador a su
predecesor (padre).

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico
Crear la lista ABIERTA y poner en su primer elemento el nodo
raz(descripci
on del problema)
HASTA que ABIERTA este vaca(error) o el estado sea META
Extraer(eliminar) de ABIERTA el primer nodo de la lista y asignarlo
a t(temporal) //expandimos t
PARA cada operador y cada instanciaci
on de operador aplicable a t:
Aplicar el operador a t. Obtendremos un nuevo esto s (sucesor). A
este le asignamos como padre a t (apuntador).
Si s es meta: Terminar con la expansi
on de nodos
Sino: Incluir s al final de ABIERTA (1)

//fin PARA cada operador

//fin HASTA que ABIERTA esta vaca (error) o el estado es META


SI es META
Devolver la soluci
on (2)

Sino: //ABIERTA esta vaca = error


Mensaje de error. No se ha encontrado una soluci
on posible
Jorge Crespo, Viviana Proa
no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico

(1) Se podra pensar en este punto en no aadir s si este es un


callej
on sin salida. Pero en una b
usqueda ciega C
omo comprobamos
que es un punto sin retorno ? Este estado se eliminara cuando se
vaya a expansionar y no haya operadores para aplicar.
Complicarlo para no aadirlo a ABIERTA seg
un se genera, no merece
la pena porque el numero de estos estados es muy pequeo con
respecto al numero total de estos, por lo que no afecta a la
eficiencia espacial, pero la comprobaci
on adicional si puede afectarla.
(2) Si la soluci
on es la meta, se devuelve s y si es la secuencia de
operaciones damos el camino mas corto de la meta s a la raz en el
grafo de exploraci
on obtenido.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Analisis

Completo
Es completo, ya que si hay una solucin, esta estrategia la encuentra
mientras existan los recursos disponibles, es decir que el nmero de
nodos sea finito

Optimo
Es ptimo solo si se considera que los operadores tienen el mismo
coste unitario, y en todo caso la solucin con el menor nmero de
operaciones

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Complejidad Computacional

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Busqueda en Profundidad

Caractersticas
La b
usqueda por profundidad realiza una b
usqueda sucesiva
incrementando el lmite de profundidad en cada iteracion
La estructura de datos que utiliza es la pila (estructura LIFO), que
se lo llamara ABIERTA, donde va a almacenar todos los estados
abiertos (frontera de expansi
on).
Cada celda ABIERTA almacenara el estado y un apuntador al estado
padre y el nivel en que se encuentra.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico
Crear la lista ABIERTA y poner en su primer elemento el nodo
raz(descripci
on del problema), asignandole profundidad 0.
HASTA que ABIERTA este vaca(error) o el estado sea META
Extraer(eliminar) de ABIERTA el primer nodo de la lista y asignarlo
a t(temporal)
Si la profundidad de t, es menor que lp (lmite de
profundidad)//expandimos t
PARA cada operador y cada instanciaci
on de operador aplicable a t
Aplicar el operador a t. Obtendremos un nuevo esto s (sucesor). A
este le asignamos como padre a t y su nivel la de su padre m
as 1.
Si s es meta: Terminar con la expansi
on de nodos
Sino: Incluirlo en la cima de ABIERTA
//fin PARA cada operador

//fin SI ha llegado al lmite de exploraci


on

//fin HASTA que ABIERTA esta vaca(error) o el estado es META


si ES META:Devolver la soluci
on (1)
SINO: Mensaje de error. No se ha encontrado una solucion posible.
//ABIERTA esta vaca=error
Jorge Crespo, Viviana Proa
no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico

(1) Si la soluci
on es la meta, se devuelve s y si es la secuencia de
operaciones damos el camino mas corto de la meta a la raz en el
grafo de exploraci
on obtenido.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Analisis

Completo
No es completo, pues no encontra
a una soluci
on si est
a a un nivel
superior a lp (m
as profundo). Si no hubiese lmite de exploracion
tampoco sera completo, pues podemos entrar en una rama que no
tenga metas.o

Optimo
No es o
ptimo, pues la primera meta que encuentre, si est
a en esa
rama, puede no ser la de menor coste y tambien puede que no sea la
de menor profundidad (podra estar en otra rama a una profundidad
menor).

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Complejidad Computacional

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Busqueda Bidireccional

Caractersticas
Se utiliza dos procesos de b
usqueda: uno desde la descripcion del
problema hacia la soluci
on (es decir, encadenado hacia delante) y
otra desde la meta hacia la descripci
on del problema(es decir,
encadenado hacia atras)
El proceso termina cuando las dos b
usquedas confluyen en alg
un
estado.
Durante el proceso se alterna entre uno y otro grafo.
Para que se pueda realizar este tipo de b
usqueda se tienen que
cumplir dos condiciones:

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Busqueda Bidireccional

Caractersticas-Condiciones
Para que se pueda realizar este tipo de b
usqueda se tienen que cumplir
dos condiciones:
Los operadores han de ser reversibles: Lo facil es que se determine el
nodo padre en una sola operacion (podra darse el caso de requerir
mas de una para ello, en cuyo caso se complica la equiparacion de
manera notable).
Que la meta sea explcita: Si para un problema hay varias metas
distintas, habra que hacer una b
usqueda para cada una de ellas.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico
Inicializar un grafo de b
usqueda, que llamamos P, cuyo nodo raz es
la descripci
on del problema, que a;adimos a ABIERTA (P)
Inicializar un grafo de b
usqueda, que llamamos M, cuyo nodo raz es
la meta del problema, que a
ndimos a ABIERTA(M).
Inicializar p al n
umero de niveles que se van a generar
consecutivamente (1)
HASTA que se encuentre el camino de la soluci
on o ABIERTA(P)
vaca
PARA cada nodo de P en los p niveles a expansionar, estos se
eliminan de ABIERTA (P) y se generan sus sucesores de manera que
SI el nodo siguiente a generar est
a en ABIERTA(M):Incluirlo en P y
en ABIERTA(P) y devolver soluci
on.
SINO: Incluirlo en ABIERTA(P) y en P.

//fin para

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico
Si no encontraron
PARA cada nodo de M en los p niveles a expansionar, estos se
eliminan de ABIERTA (M) y se generan sus sucesores de manera que.
SI el nodo siguiente a generar est
a en ABIERTA(P): Incluirlo en M y
en ABIERTA (M) y devolver soluci
on
SINO: Incluirlo en ABIERTA(M) y en M.

//fin PARA cada nodo de M


//fin si no se encontraron
//fin HASTA que se encuentre el nodo soluci
on
Devolver el camino desde la raz hasta la meta, pasando por un
estado en com
un de las dos b
usquedas (puede haber mas de una
soluci
on)
(1) La opci
on mas eficiente es que en cada nivel se cambie de grafo
de b
usqueda (p=1). Aunque se podra aumentar el n
umero de
niveles antes de cambiar de grafo (este es un parametro crtico).
Jorge Crespo, Viviana Proa
no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Analisis

Completo
Lo es, ya que las dos estrategias son de b
usqueda en amplitud. Si se
conoce la meta y el problema, siempre se encuentra la soluci
on.

Optimo
Si las dos estrategias son en amplitud, el algoritmo es o
ptimo por
serlo tambien las anteriores.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Caractersticas-Condiciones
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Complejidad Computacional

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Busqueda Profundidad Iterativa

Caractersticas
Tambien denominada como descenso iterativo o profundidad
progresiva. Es una tecnica derivada de la b
usqueda en profundidad.
Consiste en realizar la tarea de b
usqueda en sucesivos niveles, esto
es, primero realiza una b
usqueda con lp=1, si no se llega a la meta,
se vuelve a realizar la b
usqueda con lp=2, y as hasta que se
encuentre la meta o consuma todos los recursos.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico

Inicializar el lmite de exploraci


on lp=1 (primer nivel)
HASTA que se encuentre una META
Algoritmo de b
usqueda en profundidad(o con retroceso cronol
ogico).
Aumentar el lminte de exploraci
on(pasar al siguiente nivel)

//FIN HASTA

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Analisis

Completo
Es completo, pues si hay una soluci
on, esta estrategia la encuentra
(siempre con los recursos disponibles). Esto es as porque no se
expande un nivel sin haber visitado completamente el nivel anterior.

Optimo
Este metodo s lo es, pues de haber soluci
on, nos ofrece la de menor
coste (si el coste de los operadores es uniforme) y en todo caso la de
menor profundidad.Si las dos estrategias son en amplitud, el
algoritmo es o
ptimo por serlo tambien las anteriores.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caractersticas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Complejidad Computacional

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Caracterstcas

Algunos lo consideran como b


usqueda heurstica
Minimiza el coste del camino hasta el nodo meta
Expande para cada conjunto de sucesores aquel cuyo camino desde
el nodo raz tenga un menor coste
Este es un algoritmo
optimo y completo, pero puede ser muy
ineficiente.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Algoritmo Basico

Inicializar la cola(camino que solo tiene la raiz)


HASTA que la cola no este vaca y no se encuentre una META
Remover el primer camino de la COLA.
Crear nuevos caminos(a todos los hijos).
Rechazar los nuevos caminos con ciclos.
Agregar los nuevos caminos y ordenar toda la COLA.

//FIN HASTA
Si el objetivo se ha alcanzado

Entonces: Exito.
Caso contrario: Falla.

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Analisis

Completo
Es completo, ya que si hay una solucin, esta estrategia la encuentra
mientras existan los recursos disponibles, es decir que el nmero de
nodos sea finito

Optimo
Es optimo mientras el costo de ruta no disminuya siguiendo cualquier
ruta o sea que g(Successor(n)) g(n), para todo n

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Ejemplo

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas

B
usqueda a Ciegas
B
usqueda en Amplitud
B
usqueda en Profundidad
B
usqueda Bidireccional
B
usqueda Profundidad Iterativa
B
usqueda de Costo Uniforme

Caracterstcas
Algoritmo B
asico
An
alisis
Ejemplo
Complejidad Computacional

Complejidad Computacional

Jorge Crespo, Viviana Proa


no, Vctor Saquicela

B
usquedas a Ciegas