Teoría de la complejidad computacional - Examen
  • 1. La teoría de la complejidad computacional es una rama de la informática teórica que se centra en clasificar los problemas computacionales en función de su dificultad inherente y de la cantidad de recursos necesarios, como tiempo y espacio. Se ocupa de comprender la eficiencia de los algoritmos, analizar la viabilidad de resolver problemas en distintos tipos de máquinas y determinar las limitaciones de la potencia de cálculo. Mediante el estudio de la teoría de la complejidad computacional, los investigadores tratan de investigar los límites de la computación e identificar las capacidades y limitaciones de los ordenadores para resolver diversos tipos de problemas.

    ¿En qué se centra la teoría de la complejidad computacional?
A) Analizar los recursos necesarios para resolver problemas informáticos
B) Aspectos psicológicos de la interacción persona-ordenador
C) Desarrollo de nuevos lenguajes de programación
D) Diseño de hardware para ordenadores
  • 2. ¿Qué notación se utiliza habitualmente para denotar la complejidad de los algoritmos?
A) Letras griegas
B) Números romanos
C) Notación Big O
D) Código binario
  • 3. ¿Qué clase de complejidad contiene problemas de decisión que son eficientemente verificables?
A) EXP
B) NP
C) BPP
D) PSPACE
  • 4. ¿Cuál es el principal objetivo de la teoría de la complejidad computacional?
A) Clasificar los problemas computacionales en función de su dificultad inherente.
B) Para generar números aleatorios
C) Construir superordenadores
D) Para crear ordenadores más rápidos
  • 5. ¿Cuál es la clase de complejidad que representa los problemas más difíciles en NP?
A) NP-completo
B) P
C) BPP
D) EXPTIME
  • 6. ¿Con qué se relaciona el teorema de Cook-Levin en la teoría de la complejidad computacional?
A) Algoritmos cuánticos
B) Problema P vs NP
C) NP-completitud
D) Computación paralela
  • 7. ¿Qué clase de complejidad se utiliza para clasificar los problemas que puede resolver un ordenador cuántico en tiempo polinómico?
A) BQP
B) EXPSPACIO
C) NP-completo
D) PSPACE
  • 8. ¿Qué significa "EXP" en la teoría de la complejidad computacional?
A) Ampliado
B) Tiempo exponencial
C) Experto
D) Exploración
  • 9. ¿Qué es un problema computacional?
A) Una pregunta teórica que no tiene solución.
B) Una ecuación matemática que no se puede resolver.
C) Un problema de hardware en las computadoras.
D) Una tarea resuelta por una computadora utilizando un algoritmo.
  • 10. ¿Cuál es la opción habitual para el alfabeto al representar instancias de problemas?
A) El conjunto de todas las letras minúsculas
B) El alfabeto hexadecimal
C) El conjunto de todos los caracteres ASCII
D) El alfabeto binario {0, 1}
  • 11. ¿Cuál es una suposición común en las demostraciones de teoremas de la teoría de la complejidad?
A) Uso exclusivo de notación decimal
B) Una elección concreta de codificación de la entrada
C) No es necesaria ninguna codificación
D) Codificación utilizando lenguaje natural
  • 12. Proporcione un ejemplo de un problema de decisión que involucre grafos.
A) Determinar si un grafo dado está conectado o no.
B) Determinar el número de nodos en un grafo.
C) Encontrar el camino más corto en un grafo.
D) Calcular el flujo máximo en una red.
  • 13. ¿Cuál es un ejemplo de un problema de programación?
A) Determinar si dos grafos son isomorfos.
B) Determinar si un número es primo.
C) Verificar si un grafo es bipartito.
D) El problema del viajante de comercio.
  • 14. ¿Qué se utiliza típicamente para medir el tamaño de la entrada en la teoría de la complejidad computacional?
A) Caracteres
B) Bytes
C) Bits
D) Palabras
  • 15. ¿Cuál es el propósito principal de una máquina de Turing?
A) Una forma temprana de hardware informático.
B) Un dispositivo para manipular objetos físicos.
C) Un modelo teórico para la computación general.
D) Una tecnología de computación práctica.
  • 16. ¿Cuál de las siguientes afirmaciones está asociada con la tesis de que cualquier problema que pueda ser resuelto por un algoritmo también puede ser resuelto por una máquina de Turing?
A) El teorema P vs NP.
B) La tesis de Church-Turing.
C) Los teoremas de incompletitud de Gödel.
D) El teorema de Cook-Levin.
  • 17. ¿Qué tipo de máquina de Turing utiliza bits aleatorios para tomar decisiones?
A) Máquina de Turing cuántica.
B) Máquina de Turing no determinista.
C) Máquina de Turing determinista.
D) Máquina de Turing probabilística.
  • 18. ¿Cuál es una característica común de todos los modelos de máquinas discutidos en la teoría de la complejidad?
A) Requieren ser físicamente realizables.
B) Utilizan bits aleatorios para realizar cálculos.
C) Están limitados a un tiempo polinómico.
D) Operan de manera determinista.
  • 19. ¿Qué conjunto de axiomas se utiliza para definir medidas de complejidad de manera muy general?
A) Axiomas de completitud de Turing
B) Axiomas relacionados con la clase P vs NP
C) Teorema de Cook-Levin
D) Axiomas de complejidad de Blum
  • 20. ¿Cuál de las siguientes NO es una medida de complejidad comúnmente utilizada en la teoría de la complejidad?
A) Complejidad de los circuitos
B) Complejidad de la comunicación
C) Complejidad del entrelazamiento cuántico
D) Complejidad de los árboles de decisión
  • 21. ¿Qué medida de complejidad involucra la cantidad de información intercambiada entre las partes?
A) Complejidad de los circuitos
B) Complejidad temporal
C) Complejidad espacial
D) Complejidad de la comunicación
  • 22. ¿Qué análisis considera tanto las operaciones costosas como las menos costosas, en conjunto, a lo largo de toda la secuencia de operaciones?
A) Complejidad en el peor de los casos
B) Análisis amortizado
C) Complejidad en el caso promedio
D) Complejidad en el mejor de los casos
  • 23. ¿Cuál es el conjunto de problemas de funciones correspondiente a P?
A) PSPACE
B) NP
C) EXPTIME
D) FP
  • 24. ¿Qué teorema establece que PSPACE = NPSPACE?
A) Teorema de la jerarquía temporal
B) Teorema de Cook-Levin
C) Teorema de Savitch
D) Problema P vs NP
  • 25. ¿Qué clase de complejidad incluye todos los problemas de decisión?
A) P
B) NP
C) EXPTIME
D) TODAS
  • 26. ¿Qué teorema implica que L está estrictamente contenido en PSPACE?
A) Teorema de la jerarquía de espacios
B) Teorema de Cook-Levin
C) Teorema de Savitch
D) Teorema de la jerarquía de tiempos
  • 27. ¿A qué clase de complejidad se hace referencia cuando se utilizan máquinas de Turing probabilísticas?
A) AC
B) NC
C) QMA
D) BPP
  • 28. ¿A qué clase de complejidad se hace referencia cuando se utilizan circuitos booleanos?
A) BPP
B) AC
C) RP
D) QMA
  • 29. ¿A qué clase de complejidad se refiere el uso de sistemas de prueba interactivos?
A) BPP
B) IP
C) QMA
D) NC
  • 30. ¿A qué clase de complejidad pertenecen los problemas de conteo?
A) #P
B) NC
C) BPP
D) RP
  • 31. ¿Qué tipo de reducción se utiliza con mayor frecuencia en la teoría de la complejidad?
A) Reducción en tiempo exponencial.
B) Reducción en tiempo polinomial.
C) Reducción en tiempo logarítmico.
D) Reducción en tiempo lineal.
  • 32. ¿A qué clase de complejidad se cree que pertenecen los problemas complementarios de NP?
A) co-NP
B) PP
C) BQP
D) NP
  • 33. Si P es igual a NP, ¿qué se puede inferir sobre co-P y co-NP?
A) co-P no sería igual a co-NP
B) NP no sería igual a co-NP
C) co-P sería igual a co-NP
D) P no sería igual a NP
  • 34. ¿A qué clase de complejidad pertenecen los problemas que se pueden resolver con un espacio logarítmico?
A) NL
B) PP
C) L
D) NC
  • 35. ¿A qué clase de complejidad se sabe que está contenida dentro de PSPACE?
A) MA
B) PP
C) PH
D) BQP
  • 36. ¿Qué implica la computación analógica según la teoría de la complejidad continua?
A) Procesamiento de señales digitales.
B) Algoritmos probabilísticos.
C) Máquinas de estados finitos.
D) Sistemas dinámicos continuos y ecuaciones diferenciales.
  • 37. En el contexto de la teoría de la complejidad continua, ¿qué se aproxima mediante la discretización?
A) Expresiones booleanas.
B) Funciones continuas.
C) Estados cuánticos.
D) Gráficos discretos.
  • 38. ¿Quién realizó el análisis del tiempo de ejecución del algoritmo euclidiano en 1844?
A) Richard E. Stearns
B) Gabriel Lamé
C) Alan Turing
D) Juris Hartmanis
  • 39. ¿En qué año Alan Turing definió las máquinas de Turing?
A) 1965
B) 1950
C) 1936
D) 1945
  • 40. ¿Quién sugirió que un algoritmo 'bueno' debería tener un tiempo de ejecución limitado por un polinomio del tamaño de la entrada?
A) Juris Hartmanis
B) Edmonds
C) Gabriel Lamé
D) Leonid Levin
  • 41. ¿Quién definió los autómatas linealmente acotados en 1960?
A) Hisao Yamada
B) Raymond Smullyan
C) John Myhill
D) Boris Trakhtenbrot
  • 42. ¿Qué estudió Raymond Smullyan en 1961?
A) Conjuntos elementales
B) Medidas de complejidad
C) Autómatas de límites lineales
D) Cálculos en tiempo real
  • 43. ¿Quién estudió los cálculos en tiempo real en 1962?
A) Hisao Yamada
B) Boris Trakhtenbrot
C) Raymond Smullyan
D) John Myhill
  • 44. ¿En qué año comenzó Boris Trakhtenbrot sus estudios sobre la complejidad computacional?
A) 1955
B) 1971
C) 1960
D) 1956
  • 45. ¿Qué término acuñó Boris Trakhtenbrot en 1955 que ahora se conoce como 'medida de complejidad'?
A) "Complejidad computacional"
B) "Tiempo polinomial"
C) "Función de señalización"
D) "Máquina de Turing"
  • 46. ¿En qué año publicó Richard Karp su artículo sobre problemas NP-completos?
A) 1965
B) 1967
C) 1971
D) 1972
  • 47. ¿Cuántos problemas combinatorios y teóricos de grafos demostró Richard Karp que son NP-completos?
A) 21
B) 15
C) 10
D) 30
  • 48. ¿Quiénes son los autores de 'Parameterized complexity'?
A) Downey, Rod; Fellows, Michael
B) Wuppuluri, Shyam; Doria, Francisco A.
C) Cook, Stephen; Fortnow, Lance
D) Papadimitriou, Christos; Sipser, Michael
  • 49. ¿Quién escribió 'A Short History of Computational Complexity'?
A) Khalil, Hatem; Ulery, Dana
B) Mertens, Stephan
C) Fortnow, Lance; Homer, Steven
D) Cook, Stephen
  • 50. ¿Quién es el autor de 'Introducción a la teoría de la computación'?
A) Michael Sipser
B) Boaz Barak
C) Sanjeev Arora
D) Christos Papadimitriou
  • 51. ¿Quiénes son los autores de 'Computational Complexity', publicado en 1994?
A) Michael R. Garey; David S. Johnson
B) Christos Papadimitriou
C) Oded Goldreich
D) Sanjeev Arora; Boaz Barak
  • 52. ¿Quién es el autor de 'Computational Complexity: A Conceptual Perspective'?
A) Oded Goldreich
B) Michael R. Garey; David S. Johnson
C) Sanjeev Arora; Boaz Barak
D) Christos Papadimitriou
Examen creado con That Quiz — donde la práctica de matemáticas se hace fácil.