PředmětyPředměty(verze: 802)
Předmět, akademický rok 2016/2017
   Přihlásit přes CAS
Pravděpodobnostní algoritmy - NDMI025
Anglický název: Randomized Algorithms
Zajišťuje: Informatický ústav Univerzity Karlovy (32-IUUK)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2016 do 2016
Semestr: letní
E-Kredity: 6
Rozsah, examinace: letní s.:2/2 Z+Zk [hodiny/týden]
Počet míst: neomezen
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: čeština, angličtina
Způsob výuky: prezenční
Další informace: http://iuuk.mff.cuni.cz/~sgall/vyuka/PALG/
Garant: prof. RNDr. Jiří Sgall, DrSc.
Třída: Informatika Mgr. - Teoretická informatika
Informatika Mgr. - Diskrétní modely a algoritmy
Kategorizace předmětu: Informatika > Diskrétní matematika
Anotace -
Poslední úprava: (11.05.2015)

Přenáška o použití náhodnosti v algoritmech a protokolech. Náhodnost umožňuje řešit některé úlohy, které jsou bez jejího použití neřešitelné nebo řešitelné méně efektivně. Probereme metody pro návrh a analýzu takových algoritmů a protokolů, ilustrované na konkrétních problémech. Předpokládá se znalost na úrovni předmětů NDMI084 Úvod do aproximačních a pravděpodobnostních algoritmů a NTIN022 Pravděpodobnostní techniky.
Cíl předmětu -
Poslední úprava: (11.05.2015)

Získat přehled o metodách použití náhodnosti v algoritmech a schopnost takové algoritmy analyzovat.

Literatura -
Poslední úprava: (11.05.2015)

  • M. Mitzenmacher, E. Upfal: Probability and Computing: Randomized Algorithms and Probabilistic Analysis, Cambridge Univ. Press, 2005.
  • R. Motwani, P. Raghavan: Randomized algorithms. Cambridge Univ. Press, 1995.

Sylabus -
Poslední úprava: (11.05.2015)

  • Příklady pravděpodobnostních algoritmů a protokolů
  • Třídy pravděpodobnostních algoritmů a jejich vztahy
  • Věty o minimaxu (von Neumann, Yao)
  • Techniky pro omezení počtu náhodných bitů: po dvou nezávislé proměnné, expandery
  • Markovovy řetězce a jejich použití: náhodné procházky a testování souvislosti grafů, algoritmy pro splnitelnost, přibližné počítání (splňující ohodnocení, párování v hustých grafech), coupling (počítání obarvení grafů)
  • Základy teorie front
  • Algoritmy pro proudy dat
  • Pravděpodobnostní protokoly a verifikace: testování linearity funkcí, PCP věta (důkaz exponenciální verze)

 
Univerzita Karlova | Informační systém UK