Hledat
Zobrazují se záznamy 1-1 z 1
Algoritmy založené na omezené expanzi - implementace a vyhodnocení
Algorithms based on bounded expansion - implementation and evaluation
Algoritmy založené na omezené expanzi - implementace a vyhodnocení
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Dvořák, Zdeněk
Datum publikování: 2014
Datum obhajoby: 16. 06. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato bakalářská práce navazuje na větu, která říká, že mnoho tříd grafů - konkrétně třídy s omezenou expanzí - má vlastnosti zjednodušující rozhodování grafových problémů definovatelných v logice prvního řádu. Důležitým ...
This thesis builds upon the result that a lot of graph classes - namely classes with bounded expansion - have properties which make deciding graph problems definable in first-order logic easier. One very important example ...
This thesis builds upon the result that a lot of graph classes - namely classes with bounded expansion - have properties which make deciding graph problems definable in first-order logic easier. One very important example ...