Structure of tractable instances of hard algorithmic problems on graphs

Informace

Projekt nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

Logo poskytovatele
Kód projektu
GA20-04567S
Období řešení
1/2020 - 12/2022
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Fakulta informatiky

One of the fundamental questions in theoretical CS is how to approach problems which are intractable in their full generality. Our proposal is to investigate the internal structure of tractable instances of such generally hard problems on graphs, namely those dealing with structural and topological graph theory, geometric graphs, and of problems definable in various logics. In particular, we propose to investigate algorithmic and complexity theoretical aspects of new width and sparsity parameters of graph classes, properties of geometric representations of graphs, tractable instances for the FO model checking problem, and the detailed structure of the graph crossing number problem.

Publikace

Počet publikací: 12


Předchozí 1 2 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info