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