Hledat
Zobrazují se záznamy 1-1 z 1
Treewidth, Extended Formulations of CSP and MSO Polytopes, and their Algorithmic Applications
Stromová šířka, rozšířené formulace CSP a MSO polytopů a jejich algoritmické aplikace
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kolman, Petr
Datum publikování: 2017
Datum obhajoby: 12. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce podává důkaz existence kompaktních rozšířených formulací pro širokou škálu polytopů souvisejících s problémem omezujících podmínek (CSP), grafovou monadickou logikou druhého řádu (MSO) a rozšířeními MSO, mají-li ...
In the present thesis we provide compact extended formulations for a wide range of polytopes associated with the constraint satisfaction problem (CSP), monadic second order logic (MSO) on graphs, and extensions of MSO, ...
In the present thesis we provide compact extended formulations for a wide range of polytopes associated with the constraint satisfaction problem (CSP), monadic second order logic (MSO) on graphs, and extensions of MSO, ...