Teoria złożoności obliczeniowej
  • 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) Projektowanie sprzętu komputerowego
B) Psychologiczne aspekty interakcji człowiek-komputer
C) Analiza zasobów wymaganych do rozwiązywania problemów obliczeniowych
D) Opracowywanie nowych języków programowania
  • 2. Która notacja jest powszechnie używana do oznaczania złożoności algorytmów?
A) Greckie litery
B) Cyfry rzymskie
C) Kod binarny
D) Notacja Big O
  • 3. Która klasa złożoności zawiera problemy decyzyjne, które są efektywnie weryfikowalne?
A) NP
B) BPP
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) PSPACE
D) BQP
  • 5. Jaki jest główny cel teorii złożoności obliczeniowej?
A) Aby zbudować superkomputery
B) Aby wygenerować liczby losowe
C) Klasyfikacja problemów obliczeniowych na podstawie ich trudności
D) Aby stworzyć szybsze komputery
  • 6. Co oznacza "EXP" w teorii złożoności obliczeniowej?
A) Ekspert
B) Czas wykładniczy
C) Eksploracyjny
D) Rozszerzony
  • 7. Jaka klasa złożoności reprezentuje najtrudniejsze problemy w NP?
A) NP-zupełny
B) BPP
C) P
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) Problem P vs NP
D) Algorytmy kwantowe
  • 9. Czym jest problem obliczeniowy?
A) Równanie matematyczne, którego nie można rozwiązać.
B) Problem sprzętowy w komputerach.
C) Teoretyczne pytanie, na które nie można znaleźć odpowiedzi.
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) Dwójkowy zestaw znaków {0, 1}
B) Zbiór wszystkich małych liter
C) Zbiór znaków ASCII
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) Określenie liczby wierzchołków w grafie.
C) Obliczenie maksymalnego przepływu w sieci.
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 liczba jest liczbą pierwszą.
D) Sprawdzanie, czy graf jest dwudzielny.
  • 14. W teorii złożoności obliczeniowej, co zazwyczaj służy do mierzenia rozmiaru danych wejściowych?
A) Bajty
B) Bity
C) Słowa
D) Znaki
  • 15. Jaki jest główny cel maszyny Turinga?
A) Teoretyczny model ogólnych obliczeń.
B) Praktyczna technologia obliczeniowa.
C) Wczesna forma sprzętu komputerowego.
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) Twierdzenie P vs NP.
B) Niewerifikowalność twierdzeń Gödla.
C) Teza Churcha-Turinga.
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 kwantowa.
D) Maszyna Turinga probabilistyczna.
  • 18. Jaka jest wspólna cecha wszystkich modeli obliczeniowych omawianych w teorii złożoności?
A) Wymagają możliwości fizycznej realizacji.
B) Działają deterministycznie.
C) Są ograniczone do czasu wielomianowego.
D) Wykorzystują losowe bity do obliczeń.
  • 19. Który zestaw aksjomatów jest używany do ogólnego definiowania miar złożoności?
A) Twierdzenie Cooke'a-Levina
B) Aksjomaty złożoności Bluma
C) Aksjomaty kompletności Turinga
D) Aksjomaty dotyczące problemu P vs NP
  • 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ść komunikacyjna
C) Złożoność splątania kwantowego
D) Złożoność drzew decyzyjnych
  • 21. Która miara złożoności uwzględnia ilość informacji wymienianych między stronami?
A) Złożoność komunikacyjna
B) Złożoność czasowa
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 najlepszym przypadku
B) Złożoność w przypadku średnim
C) Złożoność w najgorszym przypadku
D) Analiza amortyzowana
  • 23. Jaki jest odpowiedni zbiór problemów funkcyjnych dla klasy P?
A) PSPACE
B) NP
C) FP
D) EXPTIME
  • 24. Które twierdzenie mówi, że PSPACE = NPSPACE?
A) Twierdzenie Cooka-Levina
B) Problem P vs NP
C) Twierdzenie o hierarchii czasowej
D) Twierdzenie Savitcha
  • 25. Do której klasy złożoności należą wszystkie problemy decyzyjne?
A) WSZYSTKIE
B) NP
C) EXPTIME
D) P
  • 26. Które twierdzenie implikuje, że L jest właściwym podzbiorem PSPACE?
A) Twierdzenie Savitcha
B) Twierdzenie o hierarchii czasu
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) AC
B) BPP
C) QMA
D) NC
  • 28. Do której klasy złożoności należą problemy rozwiązywane za pomocą obwodów logicznych?
A) AC
B) RP
C) BPP
D) QMA
  • 29. Do której klasy złożoności należą systemy dowodzenia interaktywnego?
A) QMA
B) IP
C) BPP
D) NC
  • 30. Do której klasy złożoności należą problemy zliczania?
A) NC
B) #P
C) RP
D) BPP
  • 31. Jaki rodzaj redukcji jest najczęściej używany w teorii złożoności?
A) Redukcja w czasie wykładniczym.
B) Redukcja w czasie liniowym.
C) Redukcja w czasie wielomianowym.
D) Redukcja w czasie logarytmicznym.
  • 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) PP
B) BQP
C) NP
D) co-NP
  • 33. Jeśli P jest równe NP, jakie wnioski można wyciągnąć na temat co-P i co-NP?
A) NP nie byłoby równe co-NP.
B) P nie byłoby równe NP.
C) co-P byłoby równe co-NP.
D) co-P 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) PH
B) PP
C) MA
D) BQP
  • 36. Co, według teorii złożoności ciągłej, obejmuje obliczenia analogowe?
A) Przetwarzanie sygnałów cyfrowych.
B) Systemy dynamiczne i równania różniczkowe.
C) Maszyny stanowe.
D) Algorytmy probabilistyczne.
  • 37. W kontekście teorii ciągłej złożoności, co jest przybliżane przez dyskretyzacje?
A) Funkcje ciągłe.
B) Stany kwantowe.
C) Grafy dyskretne.
D) Wyrażenia logiczne.
  • 38. Kto przeprowadził analizę złożoności czasowej algorytmu Euklidesa w 1844 roku?
A) Alan Turing
B) Juris Hartmanis
C) Gabriel Lamé
D) Richard E. Stearns
  • 39. W którym roku Alan Turing zdefiniował maszyny Turinga?
A) 1965
B) 1936
C) 1950
D) 1945
  • 40. Kto zaproponował, że 'dobry' algorytm powinien mieć czas działania ograniczony przez wielomian od rozmiaru danych wejściowych?
A) Juris Hartmanis
B) Gabriel Lamé
C) Edmonds
D) Leonid Levin
  • 41. Kto zdefiniował w 1960 roku automaty liniowe ograniczone?
A) John Myhill
B) Hisao Yamada
C) Boris Trakhtenbrot
D) Raymond Smullyan
  • 42. Co Raymond Smullyan studiował w 1961 roku?
A) Podstawowe zbiory
B) Automaty liniowo ograniczone
C) Miary złożoności
D) Obliczenia w czasie rzeczywistym
  • 43. Kto zajmował się obliczeniami w czasie rzeczywistym w 1962 roku?
A) Boris Trakhtenbrot
B) John Myhill
C) Hisao Yamada
D) Raymond Smullyan
  • 44. W którym roku Boris Trakhtenbrot rozpoczął swoje badania nad złożonością obliczeniową?
A) 1955
B) 1971
C) 1960
D) 1956
  • 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) 1965
B) 1972
C) 1971
D) 1967
  • 47. Ile problemów kombinatorycznych i grafowych Richard Karp udowodnił, że są problemami NP-zupełnymi?
A) 10
B) 30
C) 21
D) 15
  • 48. Kto był redaktorem książki '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. Kim są autorzy książki 'Parameterized complexity'?
A) Papadimitriou, Christos; Sipser, Michael
B) Downey, Rod; Fellows, Michael
C) Wuppuluri, Shyam; Doria, Francisco A.
D) Cook, Stephen; Fortnow, Lance
  • 50. Kto jest autorem książki 'A Short History of Computational Complexity'?
A) Fortnow, Lance; Homer, Steven
B) Khalil, Hatem; Ulery, Dana
C) Cook, Stephen
D) Mertens, Stephan
  • 51. Kto jest autorem książki 'Wprowadzenie do teorii obliczeń'?
A) Michael Sipser
B) Christos Papadimitriou
C) Boaz Barak
D) Sanjeev Arora
  • 52. Kim są autorzy książki 'Computational Complexity', wydanej w 1994 roku?
A) Michael R. Garey; David S. Johnson
B) Sanjeev Arora; Boaz Barak
C) Oded Goldreich
D) Christos Papadimitriou
  • 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.