cienciasdelacomputacion.com

Estrategias de Busqueda

Tipos de búsqueda según estrategias de control:

• ALGORITMO.-Disponemos de información segura sobre qué operación aplicar
• BUSQUEDA EXHAUSTIVA (A CIEGAS).- Exploración del árbol de búsqueda sistemáticamente pero sin información
• BUSQUEDA HEURÍSTICA (INFORMADA).- información sobre el problema (información del dominio) que permite reducir la búsqueda.

Estrategias de búsqueda a ciegas

• Generar y Probar
• Búsqueda primero a lo ancho
• Búsqueda primero a lo profundo
• Búsqueda de costo uniforme
• Búsqueda en profundidad limitada
• Búsqueda en profundidad iterativa
• Búsqueda bidireccional

Comenzemos con el primer tipo de búsqueda:
GENERATE-AND-TEST

• Generar una posible solución. (estado o camino)
• Comprobar para ver si es una solución, mediante comparación con los elementos del conjunto de objetivos aceptables.
• Si la solución ha sido encontrada salir, de otra manera, retornar al paso 1

Para muestra esta imagen

Criptografia, grafos, logica y teoria detipos

El campo de los Fundamentos matemáticos de las Ciencias de la Computacion involucra la criptografia, teoria de grafos, logica y teoria de tipos

1. Criptografía: Algoritmos de proteccion de datos privados y cifrado de informacion
2. Teoria de grafos: Estructuras de almacenamiento de datos y algoritmos de busqeda (problemas como del viajante, o la mejor ruta son clasicos en la tematica)
3. Logica matemática: Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión.
4. Teoria de tipos: Estudio y analisis sobre los tipos de datos y u aplicacion en las propiedades de los programas y su seguridad