Actividad 11

Análisis y Diseño de Algoritmos

Dr. Carlos Villaseñor

Escribe un resumen de máximo 3 cuartillas y mínimo 1.5 cuartillas página donde expliques los
siguientes temas con tus propias palabras:

 Clases de complejidad

La clase de la complejidad es una conexión entre diferentes elementos que presentan una
misma complejidad, permitiendo analizar una situación de acuerdo al mismo nivel (tipo de
problema, modelo de computo, recursos a limitar, etc.). done el tiempo siendo el número de
pasos base de ejecución y el espacio siendo la cantidad de memoria utilizada son los 2
principales recursos requeridos para resolver un problema.

“Con esto se busca estudiar un problema considerando todos los algoritmos posibles para
resolverlos”

 Máquina de Turing determinista y no determinista

Es una maquina teórica capaz de ejecutar cualquier algoritmo, un conjunto de instrucciones

detallas que lleva a un fin concreto.

El modelo determinista refiere a que si en cualquier momento de su ejecución, solo existirá solo
un camino posible de acción en caso contrario de que exista más de un camino posible de acción
se dirá que se trata de una máquina de Turing no determinista

Esto basado en que la entrada de una máquina de Turing viene determinada por el estado actual
y el símbolo leído, un par [estado, símbolo], siendo el cambio de estado, la escritura de un nuevo
símbolo y el movimiento las acciones a tomar en función de una entrada.

 P vs NP

NP - es el conjunto de problemas en los que se puede comprobar en un lapso de tiempo

razonable si una respuesta al problema es correcta o no
P - es el conjunto de problemas en los que podemos encontrar una respuesta al problema en
un tiempo razonable

En algunos problemas comprobar la solución es más eficiente que calcularla. P es la clase de

complejidad que contiene problemas de decisión que se pueden resolver en un tiempo
polinómico. P contiene a la mayoría de problemas naturales, algoritmos de programación lineal,
funciones simples. Por ejemplo, las sumas de dos números naturales se resuelven en tiempo
 polinómico (para ser más exactos es de orden 2n). llegando a la conclusión que la función de
elevar al cuadrado está contenida en la clase P.
La clase de complejidad NP contiene problemas que no pueden resolverse en un tiempo
polinómico. Cuando se dice que un algoritmo no puede obtener una solución a un problema en
tiempo polinómico siempre se intenta buscar otro procedimiento que lo consiga mejorar.

“La idea principal difieren en que no es lo mismo comprobar una solución, a q dicha solución
sea fácil de encontrar “

 Completitud y deducibilidad

La complejidad computacional estudia la “dificultad” inherente de problemas de importancia

teórica y/o práctica. El esfuerzo necesario para resolver un problema de forma eficiente puede
variar enormemente. Un problema muy complejo se denomina “NP-completo”, lo cual
básicamente significa que es imposible encontrar un algoritmo eficiente para encontrar una
solución óptima.
Probar que un problema es “NP-completo” es muy importante puesto que permite abandonar
un callejón sin salida (encontrar un algoritmo para la solución óptima) para centrarse en
objetivos realizables (encontrar algoritmos para obtener soluciones aproximadas).
El objetivo fundamental de la teoría de la complejidad computacional es facilitar el avance en
aquellas áreas en las que es posible.

Ejemplo de Teorema de Gödel

1. Las cajas representan las proposiciones de lógica de primer orden de la aritmética de Peano.

2. El escáner representa la función recursiva que permite saber si unas secuencias de proposiciones
constituyen la demostración de la proposición de la caja.

3. Godel permite que los objetos, los numerales, definidos por la proposición de la teoría, se refieran
a otras proposiciones de esa teoria (con la famosa numeración de Godel). Es lo que digo: "Inventó
un método para que las cajas hablasen de otras cajas".

4. Crea una sentencia con una variable libre y luego introduce en esa variable el numeral de esa
misma sentencia. Así crea una sentencia indirectamente autorreferencial que afirma que no existe
una secuencia de numerales que corresponda a una demostración de ella misma. Esto corresponde
a la caja que dice: "la caja del interior introduce una copia suya en su interior, y ya no pasa la
barrera", el interior vacío de la caja es la analogía de una variable libre en una proposición.

No digo, al final, que demuestre la incompleta de la aritmética de Peano, pero que esta aritmética
no puede ser completa y consistente a la vez. Y esta conclusión ya es un duro golpe para el Programa
de Hilbert