Tesis Magíster en Estudios Interdisciplinarios de la Complejidad Universidad Surcolombiana. Facultad de Ciencias Exactas y Naturales. Maestría en Estudios Interdisciplinarios de la Complejidad 2021

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 28, matrioshka (muñecas rusas), torres de Hanoi -- Máquinas de Turing, máquinas de turing deterministas, máquinas de turing multicintas, máquinas de turing no deterministas -- Computación clásica, compuestas 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 de Bayes, problema de Monty Hall, teoría de la información, entropía de Shannon -- Complejidad computacional, problemas de Clase P, problemas de clase Np, 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, reversibilidad de la 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."