Informace o projektu
Využití strukturálních a šířkových parametrů v kombinatorice a algoritmické složitosti
- Kód projektu
- GA201/08/0308
- Období řešení
- 1/2008 - 12/2010
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- stromová šířka, parametrizované algoritmy, minory grafů, prohledávání grafu, průsečíkové číslo
Mnoho praktických algoritmických otázek má jádro založené na kombinatorických strukturách jako jsou grafy či matroidy. Ačkoliv je typické, že na většinu těchto problémů nemáme žádná obecná efektivní algoritmická řešení, často jsme schopni je efektivně vyřešit pro všechny vstupy mající vhodnou vnitřní strukturu jako např. omezenou šířku.
Našim plánem je zkoumat a dále zobecnit užitečná obsáhlá využití strukturálních šířkových parametrů kombinatoriky (jako jsou stromová, větvená, kliková, DAG - či ranková šířka, které již všechny byly shledány velmi užitečnými) při navrhování nových efektivních parametrizovaných algoritmů, při řešení otázek rozhodnutelnosti logických teorií a dokazování nových strukturálních vět o kombinatorických objektech. Plán navazuje na náš předchozí obdobný úspěšný výzkum (zhruba od roku 2001).
Výsledky
Našim cílem je matematický výzkum strukturálních šířkových parametrů grafů, orientovaných grafů a matroidů (včetně dokazování vztažených teoretických výsledků) a jejich využití pro navrhování efektivních parametrizovaných algoritmů pro praktické těžké výpočetní problémy.
Publikace
Počet publikací: 24
2009
-
21 years of Negami's planar cover conjecture
Rok: 2009, druh: Vyžádané přednášky
-
Addendum to Matroid Tree-Width
European Journal of Combinatorics, rok: 2009, ročník: 30, vydání: 4
-
Approximating the Crossing Number of Apex Graphs
Symposium Graph Drawing 2008, Lecture Notes in Computer Science, rok: 2009
-
Better Polynomial Algorithms on Graphs of Bounded Rank-width.
IWOCA 2009: International Workshop On Combinatorial Algorithms, Lecture Notes in Computer Science 5874, rok: 2009
-
On Digraph Width Measures in Parameterized Algorithmics
IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science, rok: 2009
-
The Parameterized Complexity of Oriented Colouring
MEMICS 2009 proceedings, rok: 2009
2008
-
20 years of Negami's planar cover conjecture
20th Workshop on topological graph theory in Yokohama, rok: 2008
-
20 years of Negami's planar cover conjecture
Rok: 2008, druh: Vyžádané přednášky
-
Approaching tree-width of graphs from matroidal perspective
Rok: 2008, druh: Vyžádané přednášky
-
Automata Approach to Graphs of Bounded Rank-width
International Workshop on Combinatorial Algorithms IWOCA 2008, rok: 2008