http://statnice.dqd.cz/ 2026-05-13T04:01:20+0200 http://statnice.dqd.cz/ http://statnice.dqd.cz/lib/tpl/dokubook/images/favicon.ico text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:1-tei?rev=1586703418 Zadanie 1. Moderní metody řešení výpočtově velmi těžkých problémů Vypracovanie Klíčové pojmy * rozhodovací problém, optimalizační problém * deterministické techniky * pseudopolynomiální algoritmy * parametrizovaná složitost text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:2-tei?rev=1586703418 Zadání 2. Třídy výpočtové složitosti a vztahy mezi nimi Vypracování Základní pojmy Časová složitost T: N->N NTS M má časovou složitost T(n) výpočet pro každý vstup x se zastaví pro nanejvýš max T(|x|) výpočetních kroků (nerozlišujeme akceptující a zamítající stavy). text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:3-tei?rev=1586703418 Zadání 3. Kryptografická primitiva a protokoly pro bezpečnost, důvěrnost, podpisy, autentizaci a anonymitu Vypracování Základní pojmy Kryptologie = Kryptografie + Kryptoanalýza • Kryptografie - nauka o metodách šifrování; řeší problém zaslání zprávy (plaintext) přes nezabezpečený kanál, který může být odposloucháván. text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:4-tei?rev=1586703418 Zadání 4. Metody tvorby náhodnostních algoritmů a jejich ilustrace na příkladech Vypracování Klíčové pojmy Náhodnostní algoritmy * během výpočtu dělají náhodná rozhodnutí <= výsledek závisí jak na vstupu, tak na náhodném žetězci bitů text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:5-tei?rev=1586703418 Zadání 5. Základní grafové algoritmické problémy a jejich složitost Vypracování Ako sa učiť? 1) Prečítať [CERNA], kapitola 4, prípadne ešte kapitola 2. 2) Tento text je len zhrnutím základných pojmov a myšlienok odtiaľ, môže slúžiť na a) spravenie prehľadu b) rekapituláciu. text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:6-tei?rev=1586703418 Zadání 6. Základní geometrické algoritmy a jejich analýza Vypracování Radkovi do toho nieco prislo, takze otazku nevypracuje. Předměty * M7130 Geometrické algoritmy (PřF) Zdroje * Convex hull algorithms * Voronoi Diagram * Delaunay triangulation Související otázky * 11-ins, sekce Funkce a operace nad geometrickými objekty text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:7-tei?rev=1586703418 Zadání 7. Základní algoritmy teorie čísel a jejich aplikace Vypracování Ako sa túto otázku učiť? 1) Prejst [Gruska] pre prehľad a iný pohľad. 2) Odtiaľto a nejasné veci si dohľadávať, najlepšie v [Kucera]. 3) Zamyslieť sa v súvislosti s text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:8-tei?rev=1586703418 Zadání 8. Modely paralelních počítačů a komunikačních sítí a principy tvorby paralelních algoritmů Vypracování Základní pojmy * distribuovany system -- prepojenie autonomnych procesov * rozdiel proces/procesor sa zvacsa zanedbava a uvazuje sa 1:1 (inak to ani nema moc zmysel z teoretickeho hladiska urcovania zlozitosti distribuovanych algoritmov) text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:9-tei?rev=1586703418 Zadání 9. Hlavní typy samoopravných kódů a jejich vlastnosti Vypracování Ako sa učiť túto otázku? 1) Preletieť toto vypracovanie: získanie prehľadu 2) Prejsť kapitolu o kódoch z Pasekových skrípt: pochopenie problematiky 3) Preletieť toto vypracovanie: získanie nadhľadu text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:10-tei?rev=1586703418 Zadání 10. Základní typy důkazů Vypracovanie Michalův komentář prof. Zlatuška mi k tejto otázke poradil: - materiály k Types and Proofs: <http://www.paultaylor.eu/stable/prot.pdf> - povědomí o různých formálních systémech pro konstrukci důkazů: - Hilbertův systém (viz Kleeneho metamatematika, ale je v řadě jiných), Gentzenova přirozená dedukce (viz Girard), tabla (viz např Smullyan nebo Nerode), rezoluce, atd. (asi netreba všetky, ale mať o tom povedomie) text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:11-tei?rev=1586703418 Zadání 11. Základní metody tvorby kvantových algoritmů a kvantové automaty, resp. kvantová teorie informace Vypracování Základy * Kvantové spracovanie informacie je založené na kvantových vlastnostiach častíc ako fotóny, elektróny, atómy text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:12-tei?rev=1586703418 Zadání 12. Analýza metod tvorby sémantiky programovacích jazyků Vypracování Ako sa učiť? 1) Preletieť tento text: vstrebať, o čom to asi je, dôležité pojmy. 2) Prejsť [Kucera], pochopiť tu spomínané pojmy, pochopiť tam spomínané príklady. text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:13-tei?rev=1586703418 Zadání 13. Vlastnosti různých Petriho sítí Vypracování Klíčové pojmy * Petriho síť, označkování, přechodový systém Petriho sítě * dosažitelné označkování, živost přechodu * problémy * dosažitelnost, sub-marking reachability, zero-reachability, single-place zero-reachability text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:14-tei?rev=1586703418 Zadání 14. Modální a temporální logiky a jejich použití Vypracování Problém této otázky ve vztahu ke studiu na FI je, že je rozházena přes více předmětů a v každém se probírá trochu jinak. Navíc jde rozlišit: * teoretickou větev, týkající se především vlastností logik text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:15-tei?rev=1586703418 Zadání 15. Současné metody specifikace a analýzy souběžných procesů Vypracování Na tuto otázku nemám čas, ale protože se nikdo nehlásí, navrhuju následující postup. Pokud má někdo ještě další nápady, doplňte je, prosím. text/html 2020-04-12T16:56:58+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/mgr-szz:in-tei:16-tei?rev=1586703418 Zadání 16. Hlavní metody formální verifikace softwarových systémů Vypracování Vypracování této otázky je postaveno především na předmětu IA159 Formal Verification Methods s tím, že se odkazuje na model checking popsaný v otázce modální a temporální logiky a popsaný v předmětu IV113 Úvod do validace a verifikace. Většina věcí není popsaná moc do detailů, ale celkově by to měl být dobrý přehled.