Teorie modelů, strukturální kombinatorika a algoritmy

Název projektu anglicky
Model theory, structural combinatorics, and algorithms
Anotace anglicky
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 of finite structures. For some time, this similarity seemed only analogical, but recent results have shown that the model-theoretic machinery can be finitized, and doing so recovers key definitions from structural graph theory and provides new and unified tools for proving results about them. The main conjecture that serves to focus our efforts is algorithmic in nature: it identifies a certain model-theoretic property as characterizing the graph classes on which a wide swath of algorithmic problems (namely, those expressible in first-order logic) can be efficiently solved. While most researchers active in the area approach from the combinatorial viewpoint, we plan to use our expertise to take a model-theoretic approach to this problem, and also to see how the combinatorial concepts can feed back into model theory.

Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10101 - Pure mathematics
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
BA - Obecná matematika

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
CEP24-GA0-GM-R
Datum dodání záznamu
27. 2. 2024

Podobné projekty(10)