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
2012
-
Generalized Maneuvers in Route Planning
Computing and Informatics, rok: 2012, ročník: 31, vydání: 3, DOI
-
Lower Bounds on the Complexity of MSO_1 Model-Checking
29th International Symposium on Theoretical Aspects of Computer Science STACS2012, rok: 2012
-
Testing Graph MSO Properties: A Fresh View
Rok: 2012, druh: Vyžádané přednášky
2011
-
A Tighter Insertion-based Approximation of the Graph Crossing Number
Rok: 2011, druh: Vyžádané přednášky
-
Clique-width: When Hard Does Not Mean Impossible
28th International Symposium on Theoretical Aspects of Computer Science STACS2011, rok: 2011
-
Scope-Based Route Planning
ESA’11: Proceedings of the 19th conference on Annual European Symposium, rok: 2011
-
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics
Parameterized and Exact Computation, rok: 2011
-
Using Neighborhood Diversity to Solve Hard Problems
Rok: 2011, druh: Další prezentace na konferencích