ThatQuiz Biblioteka Testów Podejdź teraz do testu
Teoria złożoności obliczeniowej - Test
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) Projektowanie sprzętu komputerowego
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) Cyfry rzymskie
B) Notacja Big O
C) Kod binarny
D) Greckie litery
  • 3. Która klasa złożoności zawiera problemy decyzyjne, które są efektywnie weryfikowalne?
A) NP
B) EXP
C) BPP
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) NP-zupełny
B) BQP
C) PSPACE
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 wygenerować liczby losowe
C) Aby zbudować superkomputery
D) Aby stworzyć szybsze komputery
  • 6. Co oznacza "EXP" w teorii złożoności obliczeniowej?
A) Eksploracyjny
B) Rozszerzony
C) Ekspert
D) Czas wykładniczy
  • 7. Jaka klasa złożoności reprezentuje najtrudniejsze problemy w NP?
A) NP-zupełny
B) BPP
C) EXPTIME
D) P
  • 8. Z czym związane jest twierdzenie Cooka-Levina w teorii złożoności obliczeniowej?
A) NP-zupełność
B) Problem P vs NP
C) Obliczenia równoległe
D) Algorytmy kwantowe
  • 9. Czym jest problem obliczeniowy?
A) Problem sprzętowy w komputerach.
B) Zadanie rozwiązywane przez komputer przy użyciu algorytmu.
C) Równanie matematyczne, którego nie można rozwiązać.
D) Teoretyczne pytanie, na które nie można znaleźć odpowiedzi.
  • 10. Jaki jest najczęściej stosowany zestaw znaków do reprezentowania konkretnych problemów?
A) Dwójkowy zestaw znaków {0, 1}
B) Szesnastkowy zestaw znaków
C) Zbiór znaków ASCII
D) Zbiór wszystkich małych liter
  • 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) Używanie wyłącznie notacji dziesiętnej.
C) Konkretny sposób kodowania danych wejściowych.
D) Nie jest wymagane żadne kodowanie.
  • 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) Sprawdzanie, czy graf jest dwudzielny.
C) Sprawdzanie, czy liczba jest liczbą pierwszą.
D) Problem komiwojażera.
  • 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) Urządzenie do manipulowania obiektami fizycznymi.
C) Praktyczna technologia obliczeniowa.
D) Teoretyczny model ogólnych obliczeń.
  • 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) Twierdzenie P vs NP.
C) Niewerifikowalność twierdzeń Gödla.
D) Twierdzenie Cooka-Levina.
  • 17. Jaki typ maszyny Turinga wykorzystuje losowe bity do podejmowania decyzji?
A) Maszyna Turinga niedeterministyczna.
B) Maszyna Turinga deterministyczna.
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) Wymagają możliwości fizycznej realizacji.
B) Są ograniczone do czasu wielomianowego.
C) Wykorzystują losowe bity do obliczeń.
D) Działają deterministycznie.
  • 19. Który zestaw aksjomatów jest używany do ogólnego definiowania miar złożoności?
A) Aksjomaty kompletności Turinga
B) Aksjomaty dotyczące problemu P vs NP
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ść splątania kwantowego
B) Złożoność komunikacyjna
C) Złożoność obwodów
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ść czasowa
B) Złożoność przestrzenna
C) Złożoność komunikacyjna
D) Złożoność obwodów
  • 22. Kto przeprowadził analizę złożoności czasowej algorytmu Euklidesa w 1844 roku?
A) Alan Turing
B) Juris Hartmanis
C) Richard E. Stearns
D) Gabriel Lamé
  • 23. W którym roku Alan Turing zdefiniował maszyny Turinga?
A) 1950
B) 1965
C) 1945
D) 1936
  • 24. Które twierdzenie mówi, że PSPACE = NPSPACE?
A) Twierdzenie o hierarchii czasowej
B) Twierdzenie Savitcha
C) Twierdzenie Cooka-Levina
D) Problem P vs NP
  • 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) co-P nie byłoby równe co-NP.
D) P nie byłoby równe NP.
  • 26. Kto zaproponował, że 'dobry' algorytm powinien mieć czas działania ograniczony przez wielomian od rozmiaru danych wejściowych?
A) Gabriel Lamé
B) Edmonds
C) Leonid Levin
D) Juris Hartmanis
  • 27. Do której klasy złożoności należą problemy rozwiązywane przez probabilistyczne maszyny Turinga?
A) NC
B) BPP
C) AC
D) QMA
  • 28. Kto jest autorem książki 'Wprowadzenie do teorii obliczeń'?
A) Boaz Barak
B) Sanjeev Arora
C) Christos Papadimitriou
D) Michael Sipser
  • 29. 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) BQP
C) MA
D) PP
  • 30. Kto zdefiniował w 1960 roku automaty liniowe ograniczone?
A) Boris Trakhtenbrot
B) John Myhill
C) Raymond Smullyan
D) Hisao Yamada
  • 31. Ile problemów kombinatorycznych i grafowych Richard Karp udowodnił, że są problemami NP-zupełnymi?
A) 21
B) 15
C) 30
D) 10
  • 32. Do której klasy złożoności należą systemy dowodzenia interaktywnego?
A) QMA
B) BPP
C) NC
D) IP
  • 33. Co Raymond Smullyan studiował w 1961 roku?
A) Obliczenia w czasie rzeczywistym
B) Automaty liniowo ograniczone
C) Miary złożoności
D) Podstawowe zbiory
  • 34. Kim są autorzy książki 'Computational Complexity', wydanej w 1994 roku?
A) Oded Goldreich
B) Christos Papadimitriou
C) Michael R. Garey; David S. Johnson
D) Sanjeev Arora; Boaz Barak
  • 35. Co, według teorii złożoności ciągłej, obejmuje obliczenia analogowe?
A) Algorytmy probabilistyczne.
B) Systemy dynamiczne i równania różniczkowe.
C) Przetwarzanie sygnałów cyfrowych.
D) Maszyny stanowe.
  • 36. Do której klasy złożoności należą wszystkie problemy decyzyjne?
A) P
B) WSZYSTKIE
C) EXPTIME
D) NP
  • 37. Jaki jest odpowiedni zbiór problemów funkcyjnych dla klasy P?
A) EXPTIME
B) NP
C) FP
D) PSPACE
  • 38. Które twierdzenie implikuje, że L jest właściwym podzbiorem PSPACE?
A) Twierdzenie Savitcha
B) Twierdzenie o hierarchii przestrzeni
C) Twierdzenie Cooka-Levina
D) Twierdzenie o hierarchii czasu
  • 39. Kto zajmował się obliczeniami w czasie rzeczywistym w 1962 roku?
A) John Myhill
B) Boris Trakhtenbrot
C) Hisao Yamada
D) Raymond Smullyan
  • 40. Do której klasy złożoności należą problemy zliczania?
A) NC
B) RP
C) BPP
D) #P
  • 41. W którym roku Boris Trakhtenbrot rozpoczął swoje badania nad złożonością obliczeniową?
A) 1956
B) 1960
C) 1971
D) 1955
  • 42. W którym roku Richard Karp opublikował swój artykuł na temat problemów NP-zupełnych?
A) 1971
B) 1965
C) 1967
D) 1972
  • 43. Kim są autorzy książki 'Parameterized complexity'?
A) Downey, Rod; Fellows, Michael
B) Wuppuluri, Shyam; Doria, Francisco A.
C) Cook, Stephen; Fortnow, Lance
D) Papadimitriou, Christos; Sipser, Michael
  • 44. Kto był redaktorem książki 'Unravelling Complexity: The Life and Work of Gregory Chaitin'?
A) Downey, Rod; Fellows, Michael
B) Arora, Sanjeev; Barak, Boaz
C) Wuppuluri, Shyam; Doria, Francisco A.
D) Garey, Michael R.; Johnson, David S.
  • 45. W kontekście teorii ciągłej złożoności, co jest przybliżane przez dyskretyzacje?
A) Funkcje ciągłe.
B) Grafy dyskretne.
C) Wyrażenia logiczne.
D) Stany kwantowe.
  • 46. Jaki rodzaj redukcji jest najczęściej używany w teorii złożoności?
A) Redukcja w czasie wielomianowym.
B) Redukcja w czasie liniowym.
C) Redukcja w czasie wykładniczym.
D) Redukcja w czasie logarytmicznym.
  • 47. Kto jest autorem książki 'Computational Complexity: A Conceptual Perspective'?
A) Oded Goldreich
B) Michael R. Garey; David S. Johnson
C) Christos Papadimitriou
D) Sanjeev Arora; Boaz Barak
  • 48. Kto jest autorem książki 'A Short History of Computational Complexity'?
A) Cook, Stephen
B) Mertens, Stephan
C) Khalil, Hatem; Ulery, Dana
D) Fortnow, Lance; Homer, Steven
  • 49. 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) „Maszyna Turinga”
D) „Złożoność obliczeniowa”
  • 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 najgorszym przypadku
B) Analiza amortyzowana
C) Złożoność w przypadku średnim
D) Złożoność w najlepszym przypadku
  • 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) BQP
B) PP
C) co-NP
D) NP
  • 52. Do której klasy złożoności należą problemy rozwiązywane za pomocą obwodów logicznych?
A) BPP
B) AC
C) RP
D) QMA
  • 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) NC
B) NL
C) L
D) PP
Test utworzony z That Quiz — gdzie tworzenie i rozwiązywanie testów jest łatwe w matematyce i w innych dyscyplinach.