| Meno: | Michal |
|---|---|
| Priezvisko: | Adámek |
| Názov: | Problém dosiahnuteľnosti nuly v stochastických systémoch s počítadlami |
| Vedúci: | RNDr. Michal Foríšek, PhD. |
| Rok: | 2019 |
| Kľúčové slová: | stochastický systém s počítadlami, Markovov reťazec, dosiahnuteľnosť nuly, pokryteľnosť |
| Abstrakt: | Zaoberáme sa riešením kvalitatívneho problému dosiahnuteľnosti nuly v stochastických systémoch s počítadlami. Publikované riešenie tohto problému má čas výpočtu polynomiálny v závislosti na veľkosti systému a dvojnásobne exponenciálny v závislosti na počte počítadiel. Implementovali sme publikované riešenie a spravili sme merania dĺžok trvania výpočtov programu. Popísali sme konštrukciu systému s počítadlami, s ktorým riešenie problému pokyteľnosti obsahuje veľa množín. Vytvorili sme návrh riešenia problému dosiahnuteľnosti nuly v stochastických systémoch s počítadlami. |
Súbory bakalárskej práce:
Autor nedal súhlas so zverejnením svojej bakalárskej práce.
Súbory prezentácie na obhajobe:
| prezentacia.pdf |