González Esquivel, Luis Ángel

Problemas P y NP en la complejidad computacinal / Luis Ángel González Esquivel; Director Mauro Montealegre Cárdenas , Datos electrónicos (1 archivos:2011 MG) - 1 CD-ROM (118 páginas); diagramas, ilustraciones en general, tablas o cuadros; 12 cm

Tesis

Introducción -- Planteamiento del problema de investigación, descripción del problema, sistematización del problema, enunciación del problema -- Antecedentes y justificación -- Objetivos de la investigación, general, específicos -- Metodología -- Didáctica de los problemas P vs NP, matrioshka, torres de hanoi -- Máquina de turing, máquinas de turing deterministas, máquinas de turing no deterministas – Computación clásica, compuertas de la lógica clásica -- Complejidad, qué es la complejidad? , ciencias de la complejidad -- Teoría matemática de la información, probabilidad frecuentista, probabilidad condicional, teorema bayes, problema de Monty Hall, teoría de la información, entropía de Shannon, curva de entropía máxima de Shannon en un evento Binario -- Complejidad computacional, problemas de clase P, problemas de clase NO, problemas de Clase NP completos teoría matemática de la complejidad, complejidad de un algoritmo -- Computación cuántica, mecánica cuántica, espacio vectorial de Hilbert de dimensión finita en un campo escalar complejo, los Qubits, el Qubit y sus características, compuertas cuánticas sobre un Qubits, compuertas cuánticas sobre dos Qubits, reversibilidad de las compuertas cuánticas, paralelismo cuántico, algoritmos cuánticos -- Análisis y discusión de resultados -- Conclusiones

"Este documento de tesis tiene el objetivo de sustentar por qué un problema de tipo no polinomial (NP), dentro de la lógica de la computación clásica, se puede convertir en un problema de tipo polinomial (P) dentro de la lógica de la computación cuántica. Para ello, se busca relacionar la complejidad computacional con la lógica cuántica.
La complejidad computacional está diseñada dentro de la lógica clásica, pero no hay todavía un diseño de la complejidad computacional dentro de la lógica cuántica, debido a que la lógica cuántica es una ciencia en pleno desarrollo, todavía no hay computadores cuánticos capaces de superar a los computadores clásicos, la supremacía cuántica por ahora es algorítmica y teórica.
Se desarrolla la complejidad computacional desde las Máquinas de Turing, con la lógica de la computación clásica, los algoritmos computacionales clásicos, el determinismo y la secuencialidad de los computadores clásicos. Las Máquinas de Turing son máquinas secuenciales, deterministas, y en la práctica son modelos teóricos de los computadores clásicos. Aunque existen Máquinas de Turing no deterministas a nivel teórico, en la práctica los computadores clásicos son deterministas.
Se desarrolla la lógica cuántica dentro de la computación cuántica, con algoritmos cuánticos, el no determinismo y la no secuencialidad. Por último, se comparan las características de la lógica clásica frente a la lógica cuántica, encontrándose que la supremacía cuántica se da por las características no deterministas que tiene la computación cuántica, especialmente el paralelismo, la superposición y el entrelazamiento cuántico."



Complejidad computacional
Algoritmo--Determinismo - No determinismo

Th MEIC 065

Powered by Koha