Informace o projektu
Třídy dobře strukturovaných kombinatorických objektů, šířkové parametry a návrh efektivních algoritmů
- Kód projektu
- GAP202/11/0196
- Období řešení
- 1/2011 - 12/2013
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Západočeská univerzita v Plzni
Našim cílem je dále rozvíjet teoretické poznatky strukturální kombinatoriky, především o tzv. šířkových parametrech, a hledat jejich nové úspěšné aplikace v návrhu efektivních algoritmů pro těžké problémy.
Za tímto účelem nově spojíme síly a dosavadní výsledky navrhovatele a spolunavrhovatele.
Publikace
Počet publikací: 18
2014
-
Lower Bounds on the Complexity of MSO_1 Model-Checking
Journal of Computer and System Sciences, rok: 2014, ročník: 80, vydání: 1, DOI
2013
-
Better algorithms for satisfiability problems for formulas of bounded rank-width
Fundamenta Informaticae, rok: 2013, ročník: 123, vydání: 1, DOI
-
Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, rok: 2013
-
FO Model Checking of Interval Graphs
ICALP (2) 2013, rok: 2013
-
Kernelization Using Structural Parameters on Sparse Graph Classes
ESA 2013, rok: 2013
-
Parameterized Algorithms for Modular-Width
Parameterized and Exact Computation, rok: 2013
-
Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width
European Journal of Combinatorics, rok: 2013, ročník: 34, vydání: 3, DOI
2012
-
Can dense graphs be "sparse"?
Rok: 2012, druh: Konferenční abstrakty
-
Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), rok: 2012
-
Faster than Courcelle's theorem on shrubs
Rok: 2012, druh: Vyžádané přednášky