Filters
Matroid theory problems underpinning discrete optimization (GA24-11098S)
The proposed project aims at exploring an undeveloped link between matroid theory and combinatorial optimization. We will use matroid tools to analyze matrices with particular circuit structure, improve existing matroid decomposition algorithms, and ...
Pure mathematics
- 2024 - 2026 •
- 8 265 tis. Kč •
- 7 390 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2026
Uznané náklady
Podpora ze státního rozpočtu (89%)
Poskytovatel: Grantová agentura České republiky
Algorithms and Complexity within and beyond Bounded Expansion (LL2005)
The project is in the area of the structural graph theory, with focus on the applications in the design of approximation and parameterized algorithms and on obtaining the corresponding complexity lower bounds. The goal is to develop the deta...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 7 167 tis. Kč •
- 7 167 tis. Kč •
- MŠMT
Řešení projektu: 1. 6. 2020 - 31. 5. 2022
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
New Frontiers in Computational Social Choice (GA22-19557S)
Fixed-parameter tractability and approximation algorithms are nowadays standard tools for design of algorithms for hard problems in the area of Computational Social Choice. Surprisingly, kernelization, a prominent technique...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 - 2024 •
- 5 819 tis. Kč •
- 5 819 tis. Kč •
- GA ČR
Řešení projektu: 1. 4. 2022 - 31. 12. 2024
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Structure of tractable instances of hard algorithmic problems on graphs (GA20-04567S)
the internal structure of tractable instances of such generally hard problems on graphs algorithmic and complexity theoretical aspects of new width and sparsity parameters of graph classes, properties of geometric representations o...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 8 174 tis. Kč •
- 6 521 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Grantová agentura České republiky
Parameterized Algorithms for Fundamental Network Problems Related to Connectivity (GP14-13017P)
Parameterized algorithmics became in the last two decades a standard tool in terms of a secondary measure (the parameter) additionally to the input size, which. Parameterized complexity provides a mathematical framework to ...
IN - Informatika
- 2014 - 2016 •
- 1 649 tis. Kč •
- 1 649 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Structural properties, parameterized tractability and hardness in combinatorial problems (GA17-00837S)
The concept of parameterized tractability allows for guaranteed efficient solutions of some instances - as determined by the parameter, of problems which characterizations, parameterized tractability of gr...
IN - Informatika
- 2017 - 2019 •
- 4 758 tis. Kč •
- 3 294 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (69%)
Poskytovatel: Grantová agentura České republiky
Structural properties and algorithmic complexity of discrete problems (GA201/05/0050)
of the structural methods in design of fixed parameter tractable...
BA - Obecná matematika
- 2005 - 2007 •
- 472 tis. Kč •
- 453 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2007
Uznané náklady
Podpora ze státního rozpočtu (96%)
Poskytovatel: Grantová agentura České republiky
Structural graph theory and parameterized complexity (GC201/09/J021)
Many real-world algorithmic problems turn out to be intractable in their full generality. Theory of parameterized complexity, however, provides a useful framework graph theory has already proved very useful in parameterized algorith...
IN - Informatika
- 2009 - 2010 •
- 1 014 tis. Kč •
- 1 014 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Empirical distributions and large sample theory in stochastic geometry (GP201/06/P075)
tessellations could be tractable models of this kind. Other large sample regimes, for example replicated independent observations in a fixed window, will be studied as well.......
BA - Obecná matematika
- 2006 - 2008 •
- 510 tis. Kč •
- 510 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Model theory, structural combinatorics, and algorithms (GM24-12591M)
Our research will study the emerging connections between model theory and structural graph theory. Model theory provides a collection of concepts and tools for analyzing the complexity of infinite structures, and these are mirrored in the analysis o...
Pure mathematics
- 2024 - 2028 •
- 14 077 tis. Kč •
- 14 077 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2024 - 31. 12. 2028
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 out of 4 476