Complex Structures: Regularities in Combinatorics and Discrete Mathematics
Project goals
Basic research project in the border area of combinatorics, discrete mathematics and theoretical computer science, Particularly in connection to the asymptotic analysis of large networks. The methods involve most classical mathematical areas with some nonstandard applications. Algorithmic problems present, together with structural and analytic approach, the unifying aspect.
Keywords
finite structureRamsey theoryHomomorphismsModelsCombinatorial categoriesSparse graphsCounting and enumerationRegularity lemmaFinite dualities
Public support
Provider
Ministry of Education, Youth and Sports
Programme
ERC CZ
Call for proposals
ERC CZ 1 (SMSM2012LL1)
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
LL1201
Alternative language
Project name in Czech
Komplexní Struktury: Regularita v Kombinatorice a Diskrétní Matematice
Annotation in Czech
Projekt základního výzkumu v hraniční oblasti kombinatoriky, diskrétní matematiky a teoretické informatiky, zvláště pak v souvislostmi s asymptotickou analýzou velkých sítí. Metody zahrnují většinu klasických disciplín matematických a rovněž nestandardní aplikace. Algoritmické problémy představují, spolu se strukturálním a analytickým přístupem, sjednocující aspekt.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
BB - Applied statistics, operational research
10101 - Pure mathematics
10103 - Statistics and probability
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Project CORES belongs to the border area of matematics and theoretical computer science and it investigates properties of large and sparse structures and their finite approximations. Essencial results were obtained in the area of limit objects and algorithms such as for CSP, colourings and model checkings. As a consequence or our approach the classical Ramsey theory was related to new and surprising areas with an international response.
Solution timeline
Realization period - beginning
Jul 1, 2012
Realization period - end
Jun 30, 2017
Project status
U - Finished project
Latest support payment
Jan 30, 2017
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP18-MSM-LL-U/01:1
Data delivery date
May 10, 2018
Finance
Total approved costs
35,730 thou. CZK
Public financial support
35,730 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
35 730 CZK thou.
Public support
35 730 CZK thou.
100%
Provider
Ministry of Education, Youth and Sports
CEP
BA - General mathematics
Solution period
01. 07. 2012 - 30. 06. 2017