Komplexní Struktury: Regularita v Kombinatorice a Diskrétní Matematice
Cíle projektu
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.
Klíčová slova
finite structureRamsey theoryHomomorphismsModelsCombinatorial categoriesSparse graphsCounting and enumerationRegularity lemmaFinite dualities
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
ERC CZ
Veřejná soutěž
ERC CZ 1 (SMSM2012LL1)
Hlavní účastníci
Univerzita Karlova / Matematicko-fyzikální fakulta
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
LL1201
Alternativní jazyk
Název projektu anglicky
Complex Structures: Regularities in Combinatorics and Discrete Mathematics
Anotace anglicky
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.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
BB - Aplikovaná statistika, operační výzkum
OECD FORD - odpovídající obory
(dle převodníku)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)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt Cores je v hraniční oblasti matematiky a teoretické informatiky věnovaný vlastnostem velkých a řídkých struktur a jejich konečné aproximaci. Podstatného pokroku bylo dosaženo v oblasti limitních objektů a algoritmů k jejich detekci (CSP, rozkladya ověřování modelů). Klasická Ramseyova teorie se tak dostala do nových a překlvapivých souvislostí a dosažené výsledky projektu vyvolavy značnou mezinárodní odezvu.
Termíny řešení
Zahájení řešení
1. 7. 2012
Ukončení řešení
30. 6. 2017
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
30. 1. 2017
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP18-MSM-LL-U/01:1
Datum dodání záznamu
10. 5. 2018
Finance
Celkové uznané náklady
35 730 tis. Kč
Výše podpory ze státního rozpočtu
35 730 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
35 730 tis. Kč
Statní podpora
35 730 tis. Kč
100%
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
CEP
BA - Obecná matematika
Doba řešení
01. 07. 2012 - 30. 06. 2017