|
|
Interaktivní simulátor DNA výpočtu
Kovács, Martin ; Petrlík, Jiří (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na shrnutí biologických operací nad DNA a jejich nasazení ve výpočtu složitých matematických problémů. Ukázkovým příkladem, jehož řešení je v práci demonstrováno, je problém hamiltonovské cesty grafem, také znám jako problém obchodního cestujícího. Při řešení tohoto problému budou popsány použité operace nad DNA a postup, který poprvé představil Leonard Adleman. Jeho práci je možné považovat za první experiment v oboru, který je teď známý jako DNA počítání. Cílem této bakalářské práce je implementovat interaktivní simulační program (založený na principech a formálním modelu Adlemanovy práce) pro řešení hamiltonovské cesty grafem a zhodnotit jeho možnosti vzhledem na prostorovou složitost při různých instancích problému obchodního cestujícího.
|
|
|
Výpočetní složitost v teorii grafů
Doucha, Martin ; Kratochvíl, Jan (vedoucí práce) ; Dvořák, Zdeněk (oponent)
Tato práce zavádí dvě nové parametrizace grafových úloh zobecňující vrcholové pokrytí, které v hierarchii grafových parametrizací vyplňují část prostoru mezi vrcholovým pokrytím a klikovou šířkou. Dále zde zkoumáme parametrizovanou složitost hledání Hamiltonovské cesty a kružnice, klasického barvení grafu, problému Precoloring extension a Equitable coloring pro tyto nové parametrizace. Kromě problému Precoloring extension, který je pro jednu parametrizaci W[1]-těžký, se pro všechny ostatní problémy podařilo najít FPT algoritmus pro obě parametrizace. Hranici mezi třídami FPT a W[1] se tak u těchto problémů podařilo posunout blíže směrem k parametrizaci klikovou šířkou.
|
|
|
Výpočetní složitost v teorii grafů
Doucha, Martin ; Kratochvíl, Jan (vedoucí práce) ; Dvořák, Zdeněk (oponent)
Tato práce zavádí dvě nové parametrizace grafových úloh zobecňující vrcholové pokrytí, které v hierarchii grafových parametrizací vyplňují část prostoru mezi vrcholovým pokrytím a klikovou šířkou. Dále zde zkoumáme parametrizovanou složitost hledání Hamiltonovské cesty a kružnice, klasického barvení grafu, problému Precoloring extension a Equitable coloring pro tyto nové parametrizace. Kromě problému Precoloring extension, který je pro jednu parametrizaci W[1]-těžký, se pro všechny ostatní problémy podařilo najít FPT algoritmus pro obě parametrizace. Hranici mezi třídami FPT a W[1] se tak u těchto problémů podařilo posunout blíže směrem k parametrizaci klikovou šířkou.
|
|
|
Interaktivní simulátor DNA výpočtu
Kovács, Martin ; Petrlík, Jiří (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na shrnutí biologických operací nad DNA a jejich nasazení ve výpočtu složitých matematických problémů. Ukázkovým příkladem, jehož řešení je v práci demonstrováno, je problém hamiltonovské cesty grafem, také znám jako problém obchodního cestujícího. Při řešení tohoto problému budou popsány použité operace nad DNA a postup, který poprvé představil Leonard Adleman. Jeho práci je možné považovat za první experiment v oboru, který je teď známý jako DNA počítání. Cílem této bakalářské práce je implementovat interaktivní simulační program (založený na principech a formálním modelu Adlemanovy práce) pro řešení hamiltonovské cesty grafem a zhodnotit jeho možnosti vzhledem na prostorovou složitost při různých instancích problému obchodního cestujícího.
|
host ::
RSS.