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