Hledat
Zobrazují se záznamy 1-5 z 5
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 ...
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 (OBHÁJENO)
Vedoucí práce: Dvořák, Zdeněk
Datum publikování: 2014
Datum obhajoby: 04. 09. 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 ...
Online algorithms for variants of bin packing
Online algoritmy pro varianty bin packingu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Sgall, Jiří
Datum publikování: 2014
Datum obhajoby: 09. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Online algoritmus se musí rozhodovat okamžitě a nevratně podle části vstupu bez jakékoliv znalosti budoucí části vstupu. Představíme kompetitivní analýzu online algoritmů, což je standardní analýza nejhoršího případu, a ...
An online algorithm must make decisions immediately and irrevocably based only on a part of the input without any knowledge of the future part of the input. We introduce the competitive analysis of online algorithms, a ...
An online algorithm must make decisions immediately and irrevocably based only on a part of the input without any knowledge of the future part of the input. We introduce the competitive analysis of online algorithms, a ...
Grupová souvislost grafů
Group connectivity of graphs
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2014
Datum obhajoby: 09. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Grupová souvislost graf· Autor: Lucie Mohelníková Katedra: Informatický ústav Univerzity Karlovy Vedoucí diplomové práce: Mgr. Robert 'ámal,Ph.D., Informatický ústav Univerzi- ty Karlovy Abstrakt: Zabývali ...
Extension property of structures
Rozšiřující vlastnosti struktur
Dizertační práce (OBHÁJENO)
Vedoucí práce: Nešetřil, Jaroslav
Datum publikování: 2014
Datum obhajoby: 01. 08. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This work analyses properties of relational structures that imply a high degree of symmetry. A structure is called homogeneous if every mapping from any finite substructure can be extended to a mapping over the whole ...
Tato práce rozebírá vlastnost relačních struktur, která implikuje jejich vysokou symetričnost. Strukturu nazveme homogenní pokud lze libovolné lokální zobrazení rozšířit na zobrazení nad celou strukturou a to pro li- ...
Tato práce rozebírá vlastnost relačních struktur, která implikuje jejich vysokou symetričnost. Strukturu nazveme homogenní pokud lze libovolné lokální zobrazení rozšířit na zobrazení nad celou strukturou a to pro li- ...