Teoria della complessità computazionale - Quiz
  • 1. La teoria della complessità computazionale è una branca dell'informatica teorica che si concentra sulla classificazione dei problemi computazionali in base alla loro difficoltà intrinseca e alla quantità di risorse richieste, come tempo e spazio. Si occupa di comprendere l'efficienza degli algoritmi, di analizzare la fattibilità della risoluzione dei problemi su diversi tipi di macchine e di determinare i limiti della potenza di calcolo. Studiando la teoria della complessità computazionale, i ricercatori cercano di indagare i confini della computazione e di identificare le capacità e i limiti dei computer nel risolvere vari tipi di problemi.

    Su cosa si concentra la teoria della complessità computazionale?
A) Progettazione hardware per computer
B) Aspetti psicologici dell'interazione uomo-computer
C) Sviluppo di nuovi linguaggi di programmazione
D) Analizzare le risorse necessarie per risolvere i problemi computazionali.
  • 2. Quale notazione è comunemente usata per indicare la complessità degli algoritmi?
A) Notazione Big O
B) Lettere greche
C) Codice binario
D) Numeri romani
  • 3. Quale classe di complessità contiene problemi decisionali che sono verificabili in modo efficiente?
A) BPP
B) PSPACE
C) NP
D) EXP
  • 4. Qual è l'obiettivo principale della teoria della complessità computazionale?
A) Per generare numeri casuali
B) Classificare i problemi computazionali in base alla loro difficoltà intrinseca.
C) Creare computer più veloci
D) Costruire supercomputer
  • 5. A cosa si riferisce il teorema di Cook-Levin nella teoria della complessità computazionale?
A) Algoritmi quantistici
B) Problema P vs NP
C) Calcolo parallelo
D) NP-completezza
  • 6. Quale classe di complessità viene utilizzata per classificare i problemi che possono essere risolti da un computer quantistico in tempo polinomiale?
A) PSPACE
B) NP-completo
C) BQP
D) SPAZIO
  • 7. Che cosa significa "EXP" nella teoria della complessità computazionale?
A) Esplorativo
B) Tempo esponenziale
C) Esperto
D) Espanso
  • 8. Qual è la classe di complessità che rappresenta i problemi più difficili in NP?
A) TEMPO SPERIMENTALE
B) NP-completo
C) BPP
D) P
  • 9. Cos'è un problema computazionale?
A) Un problema hardware nei computer.
B) Un'equazione matematica che non può essere risolta.
C) Un compito risolto da un computer utilizzando un algoritmo.
D) Una domanda teorica irrisolvibile.
  • 10. Qual è la scelta più comune per l'alfabeto quando si rappresentano istanze di problemi?
A) L'insieme di tutte le lettere minuscole
B) L'alfabeto binario {0,1}
C) L'insieme dei caratteri ASCII
D) L'alfabeto esadecimale
  • 11. Qual è un'assunzione comune nelle dimostrazioni dei teoremi della teoria della complessità?
A) Codifica tramite linguaggio naturale.
B) Non è necessaria alcuna codifica.
C) Una scelta specifica e concreta della codifica degli input.
D) Utilizzo esclusivo della notazione decimale.
  • 12. Fornire un esempio di un problema decisionale che coinvolge i grafi.
A) Determinare il numero di nodi in un grafo.
B) Trovare il percorso più breve in un grafo.
C) Calcolare il flusso massimo in una rete.
D) Determinare se un grafo dato è connesso o meno.
  • 13. Qual è un esempio di problema algoritmico?
A) Il problema del commesso viaggiatore.
B) Determinare se un numero è primo.
C) Controllare se un grafo è bipartito.
D) Verificare se due grafi sono isomorfi.
  • 14. Qual è l'unità di misura comunemente utilizzata per indicare la dimensione dell'input nella teoria della complessità computazionale?
A) Caratteri
B) Bit
C) Parole
D) Byte
  • 15. Qual è lo scopo principale di una macchina di Turing?
A) Un modello teorico per la computazione generale.
B) Una tecnologia di calcolo pratica.
C) Una forma primitiva di hardware informatico.
D) Un dispositivo per manipolare oggetti fisici.
  • 16. Quale tesi è associata all'affermazione che qualsiasi problema risolvibile tramite un algoritmo può essere risolto da una macchina di Turing?
A) Il teorema di Cook-Levin.
B) La tesi di Church-Turing.
C) Il teorema P vs NP.
D) I teoremi di incompletezza di Gödel.
  • 17. Quale tipo di macchina di Turing utilizza bit casuali per prendere decisioni?
A) Macchina di Turing quantistica.
B) Macchina di Turing non deterministica.
C) Macchina di Turing deterministica.
D) Macchina di Turing probabilistica.
  • 18. Qual è una caratteristica comune a tutti i modelli di calcolo discussi nella teoria della complessità?
A) Sono limitati a un tempo di esecuzione polinomiale.
B) Utilizzano bit casuali per i calcoli.
C) Funzionano in modo deterministico.
D) Richiedono una realizzazione fisica.
  • 19. Quale insieme di assiomi viene utilizzato per definire le misure di complessità in modo molto generale?
A) Assiomi di complessità di Blum
B) Assiomi di completezza di Turing
C) Assiomi relativi al problema P vs NP
D) Teorema di Cook-Levin
  • 20. Quale delle seguenti opzioni NON è una misura di complessità comunemente utilizzata nella teoria della complessità?
A) Complessità della comunicazione
B) Complessità dei circuiti
C) Complessità dell'entanglement quantistico
D) Complessità degli alberi decisionali
  • 21. Quale misura di complessità tiene conto della quantità di informazioni scambiate tra le parti?
A) Complessità comunicativa
B) Complessità spaziale
C) Complessità temporale
D) Complessità dei circuiti
  • 22. Quale analisi considera sia le operazioni più costose che quelle meno costose, prendendo in considerazione l'intera sequenza di operazioni?
A) Analisi ammortizzata
B) Complessità nel caso peggiore
C) Complessità nel caso medio
D) Complessità nel caso migliore
  • 23. Qual è l'insieme corrispondente di problemi decisionali per la classe di complessità P?
A) PSPACE
B) EXPTIME
C) NP
D) FP
  • 24. Quale teorema afferma che PSPACE = NPSPACE?
A) Teorema di Cook-Levin
B) Teorema della gerarchia temporale
C) Teorema di Savitch
D) Problema P vs NP
  • 25. A quale classe di complessità appartengono tutti i problemi decisionali?
A) EXPTIME
B) NP
C) P
D) TUTTO
  • 26. Quale teorema implica che L sia strettamente contenuta in PSPACE?
A) Teorema di Cook-Levin
B) Teorema della gerarchia degli spazi
C) Teorema della gerarchia del tempo
D) Teorema di Savitch
  • 27. A quale classe di complessità si fa riferimento utilizzando le macchine di Turing probabilistiche?
A) QMA
B) BPP
C) NC
D) AC
  • 28. A quale classe di complessità si fa riferimento utilizzando circuiti booleani?
A) AC
B) QMA
C) RP
D) BPP
  • 29. A quale classe di complessità si fa riferimento utilizzando sistemi di verifica interattivi?
A) QMA
B) NC
C) BPP
D) IP
  • 30. A quale classe di complessità appartengono i problemi di conteggio?
A) NC
B) RP
C) BPP
D) #P
  • 31. Quale tipo di riduzione è più comunemente utilizzato nella teoria della complessità?
A) Riduzione in tempo esponenziale.
B) Riduzione in tempo logaritmico.
C) Riduzione in tempo lineare.
D) Riduzione in tempo polinomiale.
  • 32. A quale classe di complessità si ritiene che appartengano i problemi complementari di NP?
A) co-NP
B) BQP
C) PP
D) NP
  • 33. Se P fosse uguale a NP, cosa si potrebbe dedurre su co-P e co-NP?
A) co-P sarebbe uguale a co-NP
B) P non sarebbe uguale a NP
C) co-P non sarebbe uguale a co-NP
D) NP non sarebbe uguale a co-NP
  • 34. A quale classe di complessità appartengono i problemi risolvibili con una quantità di memoria logaritmica?
A) NL
B) PP
C) NC
D) L
  • 35. A quale classe di complessità si sa che sia contenuta all'interno di PSPACE?
A) PH
B) PP
C) BQP
D) MA
  • 36. Cosa implica il calcolo analogico secondo la teoria della complessità continua?
A) Sistemi dinamici continui ed equazioni differenziali.
B) Algoritmi probabilistici.
C) Elaborazione di segnali digitali.
D) Macchine a stati finiti.
  • 37. Nel contesto della teoria della complessità continua, cosa viene approssimato attraverso la discretizzazione?
A) Funzioni continue.
B) Grafi discreti.
C) Espressioni booleane.
D) Stati quantistici.
  • 38. Chi ha effettuato l'analisi della complessità computazionale dell'algoritmo euclideo nel 1844?
A) Alan Turing
B) Juris Hartmanis
C) Gabriel Lamé
D) Richard E. Stearns
  • 39. In quale anno Alan Turing ha definito le macchine di Turing?
A) 1965
B) 1950
C) 1945
D) 1936
  • 40. Chi ha suggerito che un algoritmo 'buono' dovrebbe avere un tempo di esecuzione limitato da un polinomio della dimensione dell'input?
A) Juris Hartmanis
B) Edmonds
C) Leonid Levin
D) Gabriel Lamé
  • 41. Chi ha definito gli automi lineari limitati nel 1960?
A) Boris Trakhtenbrot
B) Hisao Yamada
C) John Myhill
D) Raymond Smullyan
  • 42. Cosa ha studiato Raymond Smullyan nel 1961?
A) Misure di complessità
B) Calcoli in tempo reale
C) Automi a confini lineari
D) Insiemi elementari
  • 43. Chi ha studiato i calcoli in tempo reale nel 1962?
A) Boris Trakhtenbrot
B) Hisao Yamada
C) Raymond Smullyan
D) John Myhill
  • 44. In quale anno Boris Trakhtenbrot ha iniziato i suoi studi sulla complessità computazionale?
A) 1971
B) 1960
C) 1956
D) 1955
  • 45. Quale termine ha coniato Boris Trakhtenbrot nel 1955 e che oggi è noto come 'misura di complessità'?
A) "Funzione di segnalazione"
B) "Tempo polinomiale"
C) "Complessità computazionale"
D) "Macchina di Turing"
  • 46. In quale anno Richard Karp ha pubblicato il suo articolo sui problemi NP-completi?
A) 1972
B) 1971
C) 1965
D) 1967
  • 47. Quanti problemi combinatori e di teoria dei grafi Richard Karp ha dimostrato essere NP-completi?
A) 10
B) 15
C) 30
D) 21
  • 48. Chi ha curato il libro 'Unravelling Complexity: The Life and Work of Gregory Chaitin'?
A) Garey, Michael R.; Johnson, David S.
B) Downey, Rod; Fellows, Michael
C) Wuppuluri, Shyam; Doria, Francisco A.
D) Arora, Sanjeev; Barak, Boaz
  • 49. Chi sono gli autori di 'Parameterized complexity'?
A) Wuppuluri, Shyam; Doria, Francisco A.
B) Downey, Rod; Fellows, Michael
C) Papadimitriou, Christos; Sipser, Michael
D) Cook, Stephen; Fortnow, Lance
  • 50. Chi ha scritto 'A Short History of Computational Complexity'?
A) Mertens, Stephan
B) Cook, Stephen
C) Fortnow, Lance; Homer, Steven
D) Khalil, Hatem; Ulery, Dana
  • 51. Chi ha scritto 'Introduzione alla teoria della computazione'?
A) Christos Papadimitriou
B) Michael Sipser
C) Boaz Barak
D) Sanjeev Arora
  • 52. Chi sono gli autori del libro 'Computational Complexity' pubblicato nel 1994?
A) Sanjeev Arora; Boaz Barak
B) Oded Goldreich
C) Christos Papadimitriou
D) Michael R. Garey; David S. Johnson
  • 53. Chi ha scritto 'Computational Complexity: A Conceptual Perspective'?
A) Michael R. Garey; David S. Johnson
B) Christos Papadimitriou
C) Sanjeev Arora; Boaz Barak
D) Oded Goldreich
Creato con That Quiz — un sito di test di matematica per studenti di tutti i livelli.