ThatQuiz Biblioteka Testów Podejdź teraz do testu
Teoria złożoności obliczeniowej
Opracowany przez: Kowalczyk
  • 1. Teoria złożoności obliczeniowej jest gałęzią informatyki teoretycznej, która koncentruje się na klasyfikacji problemów obliczeniowych w oparciu o ich nieodłączną trudność i ilość wymaganych zasobów, takich jak czas i przestrzeń. Zajmuje się ona zrozumieniem wydajności algorytmów, analizą wykonalności rozwiązywania problemów na różnych typach maszyn i określaniem ograniczeń mocy obliczeniowej. Badając teorię złożoności obliczeniowej, naukowcy starają się zbadać granice obliczeń oraz zidentyfikować możliwości i ograniczenia komputerów w rozwiązywaniu różnego rodzaju problemów.

    Na czym skupia się teoria złożoności obliczeniowej?
A) Psychologiczne aspekty interakcji człowiek-komputer
B) Opracowywanie nowych języków programowania
C) Analiza zasobów wymaganych do rozwiązywania problemów obliczeniowych
D) Projektowanie sprzętu komputerowego
  • 2. Która notacja jest powszechnie używana do oznaczania złożoności algorytmów?
A) Notacja Big O
B) Kod binarny
C) Cyfry rzymskie
D) Greckie litery
  • 3. Która klasa złożoności zawiera problemy decyzyjne, które są efektywnie weryfikowalne?
A) BPP
B) NP
C) EXP
D) PSPACE
  • 4. Jaka klasa złożoności jest używana do klasyfikowania problemów, które mogą być rozwiązane przez komputer kwantowy w czasie wielomianowym?
A) EXPSPACE
B) NP-zupełny
C) BQP
D) PSPACE
  • 5. Jaki jest główny cel teorii złożoności obliczeniowej?
A) Aby zbudować superkomputery
B) Aby stworzyć szybsze komputery
C) Klasyfikacja problemów obliczeniowych na podstawie ich trudności
D) Aby wygenerować liczby losowe
  • 6. Co oznacza "EXP" w teorii złożoności obliczeniowej?
A) Czas wykładniczy
B) Rozszerzony
C) Ekspert
D) Eksploracyjny
  • 7. Jaka klasa złożoności reprezentuje najtrudniejsze problemy w NP?
A) P
B) NP-zupełny
C) BPP
D) EXPTIME
  • 8. Z czym związane jest twierdzenie Cooka-Levina w teorii złożoności obliczeniowej?
A) NP-zupełność
B) Obliczenia równoległe
C) Algorytmy kwantowe
D) Problem P vs NP
  • 9. Czym jest problem obliczeniowy?
A) Problem sprzętowy w komputerach.
B) Zadanie rozwiązywane przez komputer przy użyciu algorytmu.
C) Teoretyczne pytanie, na które nie można znaleźć odpowiedzi.
D) Równanie matematyczne, którego nie można rozwiązać.
  • 10. Jaki jest najczęściej stosowany zestaw znaków do reprezentowania konkretnych problemów?
A) Zbiór znaków ASCII
B) Szesnastkowy zestaw znaków
C) Zbiór wszystkich małych liter
D) Dwójkowy zestaw znaków {0, 1}
  • 11. Jakie jest typowe założenie w dowodach twierdzeń z zakresu teorii złożoności?
A) Kodowanie przy użyciu języka naturalnego.
B) Konkretny sposób kodowania danych wejściowych.
C) Używanie wyłącznie notacji dziesiętnej.
D) Nie jest wymagane żadne kodowanie.
  • 12. Podaj przykład problemu decyzyjnego, w którym wykorzystuje się grafy.
A) Określenie, czy dany graf jest spójny, czy nie.
B) Obliczenie maksymalnego przepływu w sieci.
C) Określenie liczby wierzchołków w grafie.
D) Znalezienie najkrótszej ścieżki w grafie.
  • 13. Jaki jest przykład problemu algorytmicznego?
A) Sprawdzanie, czy graf jest dwudzielny.
B) Problem komiwojażera.
C) Określanie, czy dwa grafy są izomorficzne.
D) Sprawdzanie, czy liczba jest liczbą pierwszą.
  • 14. W teorii złożoności obliczeniowej, co zazwyczaj służy do mierzenia rozmiaru danych wejściowych?
A) Znaki
B) Bity
C) Bajty
D) Słowa
  • 15. Jaki jest główny cel maszyny Turinga?
A) Wczesna forma sprzętu komputerowego.
B) Praktyczna technologia obliczeniowa.
C) Teoretyczny model ogólnych obliczeń.
D) Urządzenie do manipulowania obiektami fizycznymi.
  • 16. Która teza jest związana ze stwierdzeniem, że każdy problem, który można rozwiązać za pomocą algorytmu, można rozwiązać za pomocą maszyny Turinga?
A) Niewerifikowalność twierdzeń Gödla.
B) Teza Churcha-Turinga.
C) Twierdzenie P vs NP.
D) Twierdzenie Cooka-Levina.
  • 17. Jaki typ maszyny Turinga wykorzystuje losowe bity do podejmowania decyzji?
A) Maszyna Turinga deterministyczna.
B) Maszyna Turinga niedeterministyczna.
C) Maszyna Turinga probabilistyczna.
D) Maszyna Turinga kwantowa.
  • 18. Jaka jest wspólna cecha wszystkich modeli obliczeniowych omawianych w teorii złożoności?
A) Wykorzystują losowe bity do obliczeń.
B) Wymagają możliwości fizycznej realizacji.
C) Działają deterministycznie.
D) Są ograniczone do czasu wielomianowego.
  • 19. Który zestaw aksjomatów jest używany do ogólnego definiowania miar złożoności?
A) Aksjomaty dotyczące problemu P vs NP
B) Aksjomaty złożoności Bluma
C) Twierdzenie Cooke'a-Levina
D) Aksjomaty kompletności Turinga
  • 20. Które z poniższych NIE jest powszechnie stosowaną miarą złożoności w teorii złożoności?
A) Złożoność komunikacyjna
B) Złożoność splątania kwantowego
C) Złożoność drzew decyzyjnych
D) Złożoność obwodów
  • 21. Która miara złożoności uwzględnia ilość informacji wymienianych między stronami?
A) Złożoność obwodów
B) Złożoność czasowa
C) Złożoność przestrzenna
D) Złożoność komunikacyjna
  • 22. Która analiza uwzględnia zarówno kosztowne, jak i mniej kosztowne operacje, rozpatrując je łącznie w całej sekwencji operacji?
A) Złożoność w najgorszym przypadku
B) Złożoność w przypadku średnim
C) Analiza amortyzowana
D) Złożoność w najlepszym przypadku
  • 23. Jaki jest odpowiedni zbiór problemów funkcyjnych dla klasy P?
A) PSPACE
B) EXPTIME
C) FP
D) NP
  • 24. Które twierdzenie mówi, że PSPACE = NPSPACE?
A) Problem P vs NP
B) Twierdzenie Cooka-Levina
C) Twierdzenie Savitcha
D) Twierdzenie o hierarchii czasowej
  • 25. Do której klasy złożoności należą wszystkie problemy decyzyjne?
A) WSZYSTKIE
B) P
C) NP
D) EXPTIME
  • 26. Które twierdzenie implikuje, że L jest właściwym podzbiorem PSPACE?
A) Twierdzenie o hierarchii czasu
B) Twierdzenie Savitcha
C) Twierdzenie Cooka-Levina
D) Twierdzenie o hierarchii przestrzeni
  • 27. Do której klasy złożoności należą problemy rozwiązywane przez probabilistyczne maszyny Turinga?
A) QMA
B) AC
C) BPP
D) NC
  • 28. Do której klasy złożoności należą problemy rozwiązywane za pomocą obwodów logicznych?
A) RP
B) QMA
C) BPP
D) AC
  • 29. Do której klasy złożoności należą systemy dowodzenia interaktywnego?
A) QMA
B) BPP
C) NC
D) IP
  • 30. Do której klasy złożoności należą problemy zliczania?
A) #P
B) NC
C) RP
D) BPP
  • 31. Jaki rodzaj redukcji jest najczęściej używany w teorii złożoności?
A) Redukcja w czasie logarytmicznym.
B) Redukcja w czasie wielomianowym.
C) Redukcja w czasie wykładniczym.
D) Redukcja w czasie liniowym.
  • 32. Do której klasy złożoności uważa się, że należą problemy związane z dopełnieniem problemów klasy NP?
A) BQP
B) PP
C) co-NP
D) NP
  • 33. Jeśli P jest równe NP, jakie wnioski można wyciągnąć na temat co-P i co-NP?
A) co-P byłoby równe co-NP.
B) P nie byłoby równe NP.
C) co-P nie byłoby równe co-NP.
D) NP nie byłoby równe co-NP.
  • 34. Do której klasy złożoności należą problemy, które można rozwiązać przy użyciu logarytmicznej ilości pamięci?
A) PP
B) NL
C) NC
D) L
  • 35. Do której klasy złożoności należą problemy, które są znane z bycia rozwiązywalnymi w czasie pseudopolinomialnym (PSPACE)?
A) PP
B) MA
C) BQP
D) PH
  • 36. Co, według teorii złożoności ciągłej, obejmuje obliczenia analogowe?
A) Systemy dynamiczne i równania różniczkowe.
B) Maszyny stanowe.
C) Przetwarzanie sygnałów cyfrowych.
D) Algorytmy probabilistyczne.
  • 37. W kontekście teorii ciągłej złożoności, co jest przybliżane przez dyskretyzacje?
A) Grafy dyskretne.
B) Stany kwantowe.
C) Funkcje ciągłe.
D) Wyrażenia logiczne.
  • 38. Kto przeprowadził analizę złożoności czasowej algorytmu Euklidesa w 1844 roku?
A) Richard E. Stearns
B) Juris Hartmanis
C) Alan Turing
D) Gabriel Lamé
  • 39. W którym roku Alan Turing zdefiniował maszyny Turinga?
A) 1965
B) 1950
C) 1945
D) 1936
  • 40. Kto zaproponował, że 'dobry' algorytm powinien mieć czas działania ograniczony przez wielomian od rozmiaru danych wejściowych?
A) Edmonds
B) Leonid Levin
C) Gabriel Lamé
D) Juris Hartmanis
  • 41. Kto zdefiniował w 1960 roku automaty liniowe ograniczone?
A) Raymond Smullyan
B) Hisao Yamada
C) Boris Trakhtenbrot
D) John Myhill
  • 42. Co Raymond Smullyan studiował w 1961 roku?
A) Automaty liniowo ograniczone
B) Obliczenia w czasie rzeczywistym
C) Podstawowe zbiory
D) Miary złożoności
  • 43. Kto zajmował się obliczeniami w czasie rzeczywistym w 1962 roku?
A) John Myhill
B) Hisao Yamada
C) Boris Trakhtenbrot
D) Raymond Smullyan
  • 44. W którym roku Boris Trakhtenbrot rozpoczął swoje badania nad złożonością obliczeniową?
A) 1960
B) 1956
C) 1971
D) 1955
  • 45. Jakie pojęcie, wprowadzone przez Borisa Trakhtenbrota w 1955 roku, jest obecnie znane jako „miara złożoności”?
A) „Maszyna Turinga”
B) „Funkcja sygnalizująca”
C) „Czas wielomianowy”
D) „Złożoność obliczeniowa”
  • 46. W którym roku Richard Karp opublikował swój artykuł na temat problemów NP-zupełnych?
A) 1971
B) 1967
C) 1965
D) 1972
  • 47. Ile problemów kombinatorycznych i grafowych Richard Karp udowodnił, że są problemami NP-zupełnymi?
A) 21
B) 15
C) 30
D) 10
  • 48. Kto był redaktorem książki 'Unravelling Complexity: The Life and Work of Gregory Chaitin'?
A) Garey, Michael R.; Johnson, David S.
B) Wuppuluri, Shyam; Doria, Francisco A.
C) Downey, Rod; Fellows, Michael
D) Arora, Sanjeev; Barak, Boaz
  • 49. Kim są autorzy książki 'Parameterized complexity'?
A) Papadimitriou, Christos; Sipser, Michael
B) Cook, Stephen; Fortnow, Lance
C) Downey, Rod; Fellows, Michael
D) Wuppuluri, Shyam; Doria, Francisco A.
  • 50. Kto jest autorem książki 'A Short History of Computational Complexity'?
A) Cook, Stephen
B) Fortnow, Lance; Homer, Steven
C) Khalil, Hatem; Ulery, Dana
D) Mertens, Stephan
  • 51. Kto jest autorem książki 'Wprowadzenie do teorii obliczeń'?
A) Sanjeev Arora
B) Christos Papadimitriou
C) Michael Sipser
D) Boaz Barak
  • 52. Kim są autorzy książki 'Computational Complexity', wydanej w 1994 roku?
A) Oded Goldreich
B) Christos Papadimitriou
C) Sanjeev Arora; Boaz Barak
D) Michael R. Garey; David S. Johnson
  • 53. Kto jest autorem książki 'Computational Complexity: A Conceptual Perspective'?
A) Christos Papadimitriou
B) Oded Goldreich
C) Michael R. Garey; David S. Johnson
D) Sanjeev Arora; Boaz Barak
Test utworzony z That Quiz — gdzie tworzenie i rozwiązywanie testów jest łatwe w matematyce i w innych dyscyplinach.