Model theory, structural combinatorics, and algorithms
Public support
Provider
Czech Science Foundation
Programme
—
Call for proposals
SGA0202400003
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
24-12591M
Alternative language
Project name in Czech
Teorie modelů, strukturální kombinatorika a algoritmy
Annotation in Czech
Budeme studovat nově vznikající souvislosti teorie modelů a strukturální teorie grafů. Teorie modelů dává skupinu konceptů a nástrojů pro analýzu složitosti nekonečných struktur, které mají analogie i v analýze konečných strktur. Dlouhou dobu tyto metody vypadaly jen podobné, ale nedávné výsledky ukazují, že techniky teorie modelů lze aplikovat na konečné problémy a dostat tak klíčove definice strukturální teorie grafů. Tento přístup dává nové nástroje a techniky k dokazování výsledků v oblasti. Hlavní hypotéza, na kterou se zaměříme, je algoritmického charakteru: identifikuje určitou vlastnost, pocházející z teorie modelů, jako podmínku charakterizující třídy grafů, na kterých lze efektivně řešit širokou škálu algoritmických problémů (konkrétně ty, které jsou vyjádřitelné v prvním řádu logiky). Zatímco většina odborníků v oblasti přistupuje problému z kombinatorického hlediska, my plánujeme využít expertízu v oblasti teorie modelů. Zároveň plánujeme zjistit, jak se kombinatorické koncepty mohou vztáhnout zpět na problémy z teorie modelů.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
BA - General mathematics
Solution timeline
Realization period - beginning
Jan 1, 2024
Realization period - end
Dec 31, 2028
Project status
Z - Beginning multi-year project
Latest support payment
—
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
CEP24-GA0-GM-R
Data delivery date
Feb 27, 2024
Finance
Total approved costs
14,163 thou. CZK
Public financial support
14,163 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK