Browsing by Author "Perez Barrios, Omar"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Tesis de maestría Construcción de un algoritmo para contar modelos de fórmulas en 2 - FC(2015) Perez Barrios, Omar; PEREZ BARRIOS, OMAR; 552900; DE ITA LUNA, GUILLERMO; 57559“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, tras el cual se han desarrollado diversas líneas de investigación enfocadas en el campo de complejidad computacional”.