2011 - Žádost o prodlouženàplatnosti akreditace bakalářského ...
2011 - Žádost o prodlouženàplatnosti akreditace bakalářského ...
2011 - Žádost o prodlouženàplatnosti akreditace bakalářského ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
SLEZSKÁ UNIVERZITA V OPAV!<br />
01.09.<strong>2011</strong><br />
61 / 80<br />
P!EDM"TY - AKREDITA#NÍ SESTAVA<br />
<strong>2011</strong>/12<br />
UI/N1018<br />
Teorie vy"íslitelnosti a složitosti<br />
Computability and Complexity Theory<br />
Statut:<br />
Po"et kredit#:<br />
Forma výuky:<br />
Rozsah výuky:<br />
Ukon"ení:<br />
Garant:<br />
Povinn" volitelný<br />
6<br />
P!ednáška,Cvi$ení<br />
2 HOD/TYD + 2 HOD/TYD<br />
Zkouška<br />
Doc. Ing. Petr SOSÍK, Dr.<br />
Cíle:<br />
Jsou p!edvedeny základní abstraktní modely výpo$tu - Turing#v stroj a stroj RAM.<br />
Na jejich bázi je vybudován koncept strojové vy$íslitelnosti, ukázána existence<br />
nevy$íslitelných problém# a jejich typické p!íklady. Dále je zavedena<br />
asymptotická výpo$etní složitost algoritm#, umož'ující porovnávat spot!ebu<br />
pam"ti a strojového $asu bez vazby na konkrétní po$íta$.<br />
Obsahová nápl' cvi$ení vychází a $asov" sleduje obsahovou nápl' p!ednášky.<br />
Obsah:<br />
Charakterizace mechanických výpo$t#, Turingova - Churchova teze.<br />
2. Turing#v stroj a jeho varianty, univerzální Turing#v stroj.<br />
3. Rekurzívní a rekurzívn" spo$etné množiny, metoda diagonalizace.<br />
4. Rozhodnutelné a nerozhodnutelné problémy, metoda redukce.<br />
5. Riceova v"ta, aplikace teorie vy$íslitelnosti v praxi.<br />
6. Výpo$et spot!eby $asu a pam"ti po$íta$ových algoritm#.<br />
7. T!ídy DTIME a DSPACE. Nedeterministický Turing#v stroj, t!ídy NTIME a NSPACE.<br />
8. Stroj RAM a jeho výpo$etní síla. Vztahy Turingova stroje a RAM.<br />
9. V"ta o urychlení a v"ta o kompresi, základní složitostní t!ídy.<br />
10. %asová a prostorová hierarchie.<br />
11. Vztahy $asových a prostorových složitostních t!íd.<br />
12. Redukovatelnost a úplnost, NP-úplné problémy.<br />
13. Složitost pravd"podobnostních výpo$t#.<br />
Literatura:<br />
Arora, S., Barak, B.: Complexity Theory: A Modern Approach, Cambridge<br />
University Press 2009<br />
%erná, I.: Úvod do teórie zložitosti., Brno: FI MU 1993<br />
Hopcroft, J. E., Motwani, R., Ullman, J. D.: Introduction to Automata Theory,<br />
Languages and Computation., Upper Saddle River: Pearson Education Inc., 2003<br />
Kozen, D.: Theory of Computation, Berlin: Springer-Verlag 2006<br />
Sosík, P.: Teorie vy$íslitelnosti. Online studijní text, Opava: FPF SU 1996<br />
Wiedermann, J.: Teorie složitosti sekven$ních a paralelních výpo$t#. Online<br />
studijní text., ÚI AV %R, Praha 2003