IB107 Vyčíslitelnost a složitost
Slidy k přednáškám:
(dostupné pouze z .muni.cz - -
nesmí být umístěny na veřejne dostupnou doménu!
)
Přednáška č.1:
Výpočetní modely
(
slidy na obrazovku
)
Přednáška č.2:
Numerace vyčíslitelných funkcí
(
slidy na obrazovku
)
Přednáška č.3:
Vyčíslitelné vlastnosti množin
(
slidy na obrazovku
)
Přednáška č.4:
Riceovy věty
(
slidy na obrazovku
)
Přednáška č.5:
Metoda redukce
(opravená verze)(
slidy na obrazovku
)
Přednáška č.6:
Časová složitost výpočtů a modelů
(
slidy na obrazovku
)
Přednáška č.7:
Třídy složitosti
(
slidy na obrazovku
)
Přednáška č.8:
NP-úplnost problému SAT
(
slidy na obrazovku
)
Přednáška č.9:
Vztahy mezi složitostními třídami
, (
doplněné slidy
) (
slidy na obrazovku
)