2020-10-24 Prof. dr hab. Tadeusz Krasiński
Katedra Geometrii Algebraicznej i Informatyki Teoretycznej E-mail: tadeusz.krasinski@wmii.uni.lodz.pl
Tematy na egzamin ustny do wykładu
„Teoria obliczeń i złożoności”
Studia niestacjonarne Rok akademicki 2020/2021
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.
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. Złożoność opisowa słów.
23. Słowa losowe.