Informace o projektu
Structure of tractable instances of hard algorithmic problems on graphs
- Kód projektu
- GA20-04567S
- Období řešení
- 1/2020 - 12/2022
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Deniz Agaoglu Cagirici, Ph.D.
- Onur Cagirici, M.Sc., Ph.D.
- doc. Mgr. Jan Obdržálek, PhD.
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.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 17
2023
-
Clique-Width of Point Configurations
Journal of Combinatorial Theory, Ser B, rok: 2023, ročník: 158, vydání: 1, DOI
-
Efficient Isomorphism for Sd-Graphs and T-Graphs
ALGORITHMICA, rok: 2023, ročník: 85, vydání: 2, DOI
-
Inserting Multiple Edges into a Planar Graph
Journal of Graph Algorithms and Applications, rok: 2023, ročník: 27, vydání: 6, DOI
2022
-
Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12
COMBINATORICA, rok: 2022, ročník: 42, vydání: 5, DOI
-
Graph Product Structure for h-Framed Graphs
33rd International Symposium on Algorithms and Computation (ISAAC 2022), rok: 2022
-
Isomorphism Testing for T-graphs in FPT
WALCOM: Algorithms and Computation, rok: 2022
-
Parameterised Partially-Predrawn Crossing Number
38th International Symposium on Computational Geometry (SoCG 2022), rok: 2022
-
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
WG 2022: Graph-Theoretic Concepts in Computer Science, rok: 2022
-
Weighted Model Counting with Twin-Width
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), rok: 2022
2021
-
A Short Proof of Euler–Poincaré Formula
Extended Abstracts EuroComb 2021. Trends in Mathematics, rok: 2021