|
|
Vyhledání nejdelšího shodného prefixu
Chrastina, Ondřej ; Puš, Viktor (oponent) ; Tobola, Jiří (vedoucí práce)
Tato práce se zabývá problémem efektivního směrování a klasifikací dat v počítačových sitích, konkrétně vyhledáním nejdelšího shodného prefixu pro síťový protokol verze 6. Jsou vybrány algoritmy Binary Trie, Level Compressed Trie, Lulea Compressed Trie a Binary Search on Intervals, které jsou nejdříve popsány a poté testovány s cílem najít nejvhodnější algoritmus z hlediska pamětových nároků a rychlosti vyhledání.
|
|
|
Abstraktní datové typy pro jazyk C
Duda, Tomáš ; Křena, Bohuslav (oponent) ; Honzík, Jan M. (vedoucí práce)
Tato práce se zabývá abstraktními datovými typy v jazyce C. Jsou zde vysvětleny principy abstraktních datových typů a operace nad nimi. Hlavním úkolem je přepsání studentské opory, která je napsána v jazyce Pascal do jazyka C a vytvoření programu pro animovanou demonstraci. Tento program animuje operace nad lineárními seznamy a je implementován v prostředí FLASH.
|
|
|
Generování matematických příkladů pro střední a základní školy
Janečka, Jan ; Straka, Martin (oponent) ; Kaštil, Jan (vedoucí práce)
Bakalářská práce se zabývá generováním písemných testů z matematiky pro střední a základní školy. Ke generování je využita efektivita genetického algoritmu. V práci jsou implementovány dva typy příkladů: lineární rovnice s neznámou v čitateli a slovní úlohy o pohybu. U každého z těchto typů příkladů je možno nastavit specifické požadavky. Výstup je tvořen dvěma soubory ve formátu pdf, kdy jeden soubor obsahuje zadání testu a druhý řešení tohoto zadání.
|
|
|
Systém pro podporu výuky dynamických datových struktur
Trávníček, Jiří ; Grulich, Lukáš (oponent) ; Křena, Bohuslav (vedoucí práce)
Hlavním cílem této práce je navrhnout a implementovat aplikaci, která může být využita jako pomůcka pro výuku základů programování. Konkrétně je pozornost soustředěna na oblast dynamických datových struktur. Cílová aplikace bude implementována s využitím webových technologií, takže může být provozována v běžném WWW prohlížeči. Nejdříve stručný úvod zrekapituluje datové struktury, které budou pokryty. Poté práce shrnuje vhodné technologie dostupné ve webových prohlížečích, se zaměřením na konkrétní technologii (kterou je DHTML), jež se stane cílovou platformou. Nejvýznamnější část této práce pojednává o návrhu konečné aplikace. Tato spíše teoretická část je poté následována popisem praktické implementace. Obsahem je také krátká uživatelská příručka.
|
|
|
Abstraktní datové typy pro jazyk C
Duda, Tomáš ; Křena, Bohuslav (oponent) ; Honzík, Jan M. (vedoucí práce)
Tato práce se zabývá abstraktními datovými typy v jazyce C. Jsou zde vysvětleny principy abstraktních datových typů a operace nad nimi. Hlavním úkolem je přepsání studentské opory, která je napsána v jazyce Pascal do jazyka C a vytvoření programu pro animovanou demonstraci. Tento program animuje operace nad lineárními seznamy a je implementován v prostředí FLASH.
|
|
|
Parity vertex colorings
Soukup, Jan ; Gregor, Petr (vedoucí práce) ; Kučera, Petr (oponent)
Paritní cesta ve vrcholovém barvení grafu G je cesta ve které je každá barva použita sudě-krát. Paritní vrcholové barvení je barvení, které nemá žádnou paritní cestu. Nechť χp(G) je minimální počet barev v paritním bar- vení grafu G. Je známo, že χp(Bn) ≥ √ n, kde Bn je úplný binární strom s n vrstvami. Dokážeme, že platí ostrá nerovnost, a pomocí tohoto odhadu dokážeme nový odhad χp(T) > 3 √ log n, kde T je libovolný binární strom s n vrcholy. Dále se zabýváme časovou složitostí výpočtu paritního chromatického čísla χp(G). Dokážeme, že ověřování korektnosti paritního vrcholového bar- vení je coNP-úplné a popíšeme exponenciální algoritmus, který ho počítá. Dále pomocí Courcelleho věty dokážeme že existuje FPT algoritmus parame- trizovaný počtem barev k a stromovou šířkou grafu G ověřující že χp(G) ≤ k. Navíc popíšeme náš vlastní FPT algoritmus řešící tento problém. Tento al- goritmus běží v polynomiálním čase pro omezené k a stromovou šířku G. Na- konec zkoumáme příbuznost tohoto barvení s dalšími barveními, konkrétně s unique maximum, conflict free a parity edge barveními.
|
|
|
Vyhledání nejdelšího shodného prefixu
Chrastina, Ondřej ; Puš, Viktor (oponent) ; Tobola, Jiří (vedoucí práce)
Tato práce se zabývá problémem efektivního směrování a klasifikací dat v počítačových sitích, konkrétně vyhledáním nejdelšího shodného prefixu pro síťový protokol verze 6. Jsou vybrány algoritmy Binary Trie, Level Compressed Trie, Lulea Compressed Trie a Binary Search on Intervals, které jsou nejdříve popsány a poté testovány s cílem najít nejvhodnější algoritmus z hlediska pamětových nároků a rychlosti vyhledání.
|
|
|
Systém pro podporu výuky dynamických datových struktur
Trávníček, Jiří ; Grulich, Lukáš (oponent) ; Křena, Bohuslav (vedoucí práce)
Hlavním cílem této práce je navrhnout a implementovat aplikaci, která může být využita jako pomůcka pro výuku základů programování. Konkrétně je pozornost soustředěna na oblast dynamických datových struktur. Cílová aplikace bude implementována s využitím webových technologií, takže může být provozována v běžném WWW prohlížeči. Nejdříve stručný úvod zrekapituluje datové struktury, které budou pokryty. Poté práce shrnuje vhodné technologie dostupné ve webových prohlížečích, se zaměřením na konkrétní technologii (kterou je DHTML), jež se stane cílovou platformou. Nejvýznamnější část této práce pojednává o návrhu konečné aplikace. Tato spíše teoretická část je poté následována popisem praktické implementace. Obsahem je také krátká uživatelská příručka.
|
|
|
Generování matematických příkladů pro střední a základní školy
Janečka, Jan ; Straka, Martin (oponent) ; Kaštil, Jan (vedoucí práce)
Bakalářská práce se zabývá generováním písemných testů z matematiky pro střední a základní školy. Ke generování je využita efektivita genetického algoritmu. V práci jsou implementovány dva typy příkladů: lineární rovnice s neznámou v čitateli a slovní úlohy o pohybu. U každého z těchto typů příkladů je možno nastavit specifické požadavky. Výstup je tvořen dvěma soubory ve formátu pdf, kdy jeden soubor obsahuje zadání testu a druhý řešení tohoto zadání.
|
host ::
RSS.