Teoria złożoności obliczeniowej - Test
  • 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) Analiza zasobów wymaganych do rozwiązywania problemów obliczeniowych
C) Opracowywanie nowych języków programowania
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) Greckie litery
C) Kod binarny
D) Cyfry rzymskie
  • 3. Która klasa złożoności zawiera problemy decyzyjne, które są efektywnie weryfikowalne?
A) EXP
B) BPP
C) NP
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) BQP
B) NP-zupełny
C) PSPACE
D) EXPSPACE
  • 5. Jaki jest główny cel teorii złożoności obliczeniowej?
A) Aby wygenerować liczby losowe
B) Aby stworzyć szybsze komputery
C) Aby zbudować superkomputery
D) Klasyfikacja problemów obliczeniowych na podstawie ich trudności
  • 6. Co oznacza "EXP" w teorii złożoności obliczeniowej?
A) Eksploracyjny
B) Ekspert
C) Rozszerzony
D) Czas wykładniczy
  • 7. Jaka klasa złożoności reprezentuje najtrudniejsze problemy w NP?
A) P
B) EXPTIME
C) NP-zupełny
D) BPP
  • 8. Z czym związane jest twierdzenie Cooka-Levina w teorii złożoności obliczeniowej?
A) Algorytmy kwantowe
B) Problem P vs NP
C) Obliczenia równoległe
D) NP-zupełność
  • 9. Czym jest problem obliczeniowy?
A) Teoretyczne pytanie, na które nie można znaleźć odpowiedzi.
B) Problem sprzętowy w komputerach.
C) Zadanie rozwiązywane przez komputer przy użyciu algorytmu.
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) 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) Nie jest wymagane żadne kodowanie.
B) Kodowanie przy użyciu języka naturalnego.
C) Używanie wyłącznie notacji dziesiętnej.
D) Konkretny sposób kodowania danych wejściowych.
  • 12. Podaj przykład problemu decyzyjnego, w którym wykorzystuje się grafy.
A) Obliczenie maksymalnego przepływu w sieci.
B) Określenie, czy dany graf jest spójny, czy nie.
C) Znalezienie najkrótszej ścieżki w grafie.
D) Określenie liczby wierzchołków w grafie.
  • 13. Jaki jest przykład problemu algorytmicznego?
A) Sprawdzanie, czy liczba jest liczbą pierwszą.
B) Sprawdzanie, czy graf jest dwudzielny.
C) Określanie, czy dwa grafy są izomorficzne.
D) Problem komiwojażera.
  • 14. W teorii złożoności obliczeniowej, co zazwyczaj służy do mierzenia rozmiaru danych wejściowych?
A) Bity
B) Słowa
C) Znaki
D) Bajty
  • 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) Twierdzenie Cooka-Levina.
B) Twierdzenie P vs NP.
C) Niewerifikowalność twierdzeń Gödla.
D) Teza Churcha-Turinga.
  • 17. Jaki typ maszyny Turinga wykorzystuje losowe bity do podejmowania decyzji?
A) Maszyna Turinga deterministyczna.
B) Maszyna Turinga probabilistyczna.
C) Maszyna Turinga niedeterministyczna.
D) Maszyna Turinga kwantowa.
  • 18. Jaka jest wspólna cecha wszystkich modeli obliczeniowych omawianych w teorii złożoności?
A) Działają deterministycznie.
B) Wymagają możliwości fizycznej realizacji.
C) Wykorzystują losowe bity do obliczeń.
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) Twierdzenie Cooke'a-Levina
B) Aksjomaty kompletności Turinga
C) Aksjomaty dotyczące problemu P vs NP
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ść komunikacyjna
B) Złożoność drzew decyzyjnych
C) Złożoność splątania kwantowego
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ść przestrzenna
B) Złożoność komunikacyjna
C) Złożoność czasowa
D) Złożoność obwodów
  • 22. Kto przeprowadził analizę złożoności czasowej algorytmu Euklidesa w 1844 roku?
A) Gabriel Lamé
B) Alan Turing
C) Juris Hartmanis
D) Richard E. Stearns
  • 23. W którym roku Alan Turing zdefiniował maszyny Turinga?
A) 1965
B) 1950
C) 1945
D) 1936
  • 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. 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) NP nie byłoby równe co-NP.
C) P nie byłoby równe NP.
D) co-P nie byłoby równe co-NP.
  • 26. Kto zaproponował, że 'dobry' algorytm powinien mieć czas działania ograniczony przez wielomian od rozmiaru danych wejściowych?
A) Leonid Levin
B) Edmonds
C) Juris Hartmanis
D) Gabriel Lamé
  • 27. Do której klasy złożoności należą problemy rozwiązywane przez probabilistyczne maszyny Turinga?
A) BPP
B) QMA
C) NC
D) AC
  • 28. Kto jest autorem książki 'Wprowadzenie do teorii obliczeń'?
A) Michael Sipser
B) Christos Papadimitriou
C) Sanjeev Arora
D) Boaz Barak
  • 29. 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
  • 30. Kto zdefiniował w 1960 roku automaty liniowe ograniczone?
A) Hisao Yamada
B) Boris Trakhtenbrot
C) Raymond Smullyan
D) John Myhill
  • 31. Ile problemów kombinatorycznych i grafowych Richard Karp udowodnił, że są problemami NP-zupełnymi?
A) 30
B) 10
C) 21
D) 15
  • 32. Do której klasy złożoności należą systemy dowodzenia interaktywnego?
A) QMA
B) NC
C) IP
D) BPP
  • 33. Co Raymond Smullyan studiował w 1961 roku?
A) Obliczenia w czasie rzeczywistym
B) Miary złożoności
C) Podstawowe zbiory
D) Automaty liniowo ograniczone
  • 34. Kim są autorzy książki 'Computational Complexity', wydanej w 1994 roku?
A) Sanjeev Arora; Boaz Barak
B) Michael R. Garey; David S. Johnson
C) Oded Goldreich
D) Christos Papadimitriou
  • 35. Co, według teorii złożoności ciągłej, obejmuje obliczenia analogowe?
A) Algorytmy probabilistyczne.
B) Maszyny stanowe.
C) Przetwarzanie sygnałów cyfrowych.
D) Systemy dynamiczne i równania różniczkowe.
  • 36. Do której klasy złożoności należą wszystkie problemy decyzyjne?
A) EXPTIME
B) P
C) NP
D) WSZYSTKIE
  • 37. Jaki jest odpowiedni zbiór problemów funkcyjnych dla klasy P?
A) EXPTIME
B) PSPACE
C) FP
D) NP
  • 38. 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
  • 39. Kto zajmował się obliczeniami w czasie rzeczywistym w 1962 roku?
A) Raymond Smullyan
B) John Myhill
C) Hisao Yamada
D) Boris Trakhtenbrot
  • 40. Do której klasy złożoności należą problemy zliczania?
A) BPP
B) RP
C) #P
D) NC
  • 41. W którym roku Boris Trakhtenbrot rozpoczął swoje badania nad złożonością obliczeniową?
A) 1971
B) 1955
C) 1956
D) 1960
  • 42. W którym roku Richard Karp opublikował swój artykuł na temat problemów NP-zupełnych?
A) 1965
B) 1972
C) 1967
D) 1971
  • 43. Kim są autorzy książki 'Parameterized complexity'?
A) Downey, Rod; Fellows, Michael
B) Cook, Stephen; Fortnow, Lance
C) Papadimitriou, Christos; Sipser, Michael
D) Wuppuluri, Shyam; Doria, Francisco A.
  • 44. Kto był redaktorem książki 'Unravelling Complexity: The Life and Work of Gregory Chaitin'?
A) Wuppuluri, Shyam; Doria, Francisco A.
B) Garey, Michael R.; Johnson, David S.
C) Downey, Rod; Fellows, Michael
D) Arora, Sanjeev; Barak, Boaz
  • 45. 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.
  • 46. Jaki rodzaj redukcji jest najczęściej używany w teorii złożoności?
A) Redukcja w czasie liniowym.
B) Redukcja w czasie logarytmicznym.
C) Redukcja w czasie wielomianowym.
D) Redukcja w czasie wykładniczym.
  • 47. Kto jest autorem książki 'Computational Complexity: A Conceptual Perspective'?
A) Michael R. Garey; David S. Johnson
B) Sanjeev Arora; Boaz Barak
C) Christos Papadimitriou
D) Oded Goldreich
  • 48. Kto jest autorem książki 'A Short History of Computational Complexity'?
A) Khalil, Hatem; Ulery, Dana
B) Mertens, Stephan
C) Fortnow, Lance; Homer, Steven
D) Cook, Stephen
  • 49. Jakie pojęcie, wprowadzone przez Borisa Trakhtenbrota w 1955 roku, jest obecnie znane jako „miara złożoności”?
A) „Czas wielomianowy”
B) „Złożoność obliczeniowa”
C) „Maszyna Turinga”
D) „Funkcja sygnalizująca”
  • 50. 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
  • 51. 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) PP
C) NP
D) BQP
  • 52. Do której klasy złożoności należą problemy rozwiązywane za pomocą obwodów logicznych?
A) RP
B) BPP
C) QMA
D) AC
  • 53. 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
Test utworzony z That Quiz — gdzie tworzenie i rozwiązywanie testów jest łatwe w matematyce i w innych dyscyplinach.