2021-11-30 Prof. dr hab. Tadeusz Krasiński
Katedra Geometrii Algebraicznej i Informatyki Teoretycznej
Tematy na egzamin ustny do wykładu
„Teoria obliczeń i złożoności”
Studia stacjonarne Rok akademicki 2014/2015
1. Maszyny Turinga. Przykłady.
2. Wielotaśmowe maszyny Turinga.
3. Niedeterministyczne maszyny Turinga.
4. Języki rekursywnie przeliczalne.
5. Języki rekursywne (rozstrzygalne).
6. Kody maszyn Turinga. Przykłady.
7. Przykład języka, który nie jest rekursywnie przeliczalny.
8. Własności języków rekursywnych.
9. Język uniwersalny.
10. Uniwersalna maszyna Turinga.
11. Problem stopu.
12. Złożoność obliczeniowa czasowa maszyn Turinga.
13. Złożoność obliczeniowa czasowa języków formalnych.
14. Klasy złożoności obliczeniowej.
15. Klasy P i NP.
16. Problem P = NP.
17. Problemy NP-zupełne.
18. SAT-problem, twierdzenie Cooke’a 19. Problem Hamiltona.
20. Złożoność obliczeniowa pamięciowa.
21. Związki między złożonościami obliczeniowymi czasową i pamięciową.
22. Twierdzenie Savitcha 23. Problemy PS-zupełne.
24. Złożoność opisowa (Kołmogorowa) słów.
25. Słowa losowe i ich własności.
26. Nieobliczalność funkcji złożoności opisowej.