cienciasdelacomputacion.com » grafos http://cienciasdelacomputacion.com Complejidad Automatas Criptografia Sun, 15 Aug 2010 00:15:11 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 Criptografia, grafos, logica y teoria detipos http://cienciasdelacomputacion.com/criptografia-grafos-logica-y-teoria-detipos/ http://cienciasdelacomputacion.com/criptografia-grafos-logica-y-teoria-detipos/#comments Sun, 08 Aug 2010 00:45:48 +0000 CienciasdelaComputacion http://cienciasdelacomputacion.com/?p=7 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
]]> http://cienciasdelacomputacion.com/criptografia-grafos-logica-y-teoria-detipos/feed/ 0 Estrategias de Busqueda http://cienciasdelacomputacion.com/estrategias-de-busqueda/ http://cienciasdelacomputacion.com/estrategias-de-busqueda/#comments Wed, 04 Aug 2010 04:34:39 +0000 informatico http://cienciasdelacomputacion.com/?p=26 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

]]> http://cienciasdelacomputacion.com/estrategias-de-busqueda/feed/ 0