Título
Construcción de un algoritmo para contar modelos de fórmulas en 2 - FC
Autor
OMAR PEREZ BARRIOS
Colaborador
GUILLERMO DE ITA LUNA (Asesor de tesis)
Nivel de Acceso
Acceso Abierto
Materias
Resumen o descripción
“Dentro del área de ciencias de la computación se han definido gran diversidad de problemas, de los cuales se ha encontrado algoritmos para resolver gran parte de éllos. Sin embargo, conocer un conjunto de pasos para llegar a la solución de un problema no siempre es suficiente, existen algunos problemas en el área de computación en los cuales el número de operaciones que se requieren para llegar a la solución del problema aumenta mucho más rápido de lo que se incrementan los datos de entrada del problema. El estudio de estas características de un algoritmo son consideradas dentro del área de teoría de la complejidad computacional, la cual tiene sus orígenes en los inicios de la década de los 60’s, cuando los primeros usuarios de computadoras electrónicas comenzaron a prestar peculiar interés al desempeño de sus programas. Encontrar técnicas satisfactorias para resolver problemas computacionales ha eludido a investigadores por años, entre los problemas más desafiantes computacionalmente, destaca el problema de satisfactibilidad de restricciones, introducido por Stephen Arthur Cook [5], tras el cual se han desarrollado diversas líneas de investigación enfocadas en el campo de complejidad computacional.”
Fecha de publicación
2015
Tipo de publicación
Tesis de maestría
Recurso de información
Formato
application/pdf
Idioma
Español
Audiencia
Público en general
Repositorio Orígen
Repositorio Institucional de Acceso Abierto RIAA-BUAP
Descargas
0