Využití gadgetové konstrukce pro strukturální konvergenci
Název práce v češtině: | Využití gadgetové konstrukce pro strukturální konvergenci |
---|---|
Název v anglickém jazyce: | Using gadget construction in structural convergence |
Klíčová slova: | strukturální kovergence|gadgetová konstrukce|grafové limity|teorie modelů |
Klíčová slova anglicky: | structural convergence|gadget construction|graph limits|model theory |
Akademický rok vypsání: | 2022/2023 |
Typ práce: | diplomová práce |
Jazyk práce: | čeština |
Ústav: | Informatický ústav Univerzity Karlovy (32-IUUK) |
Vedoucí / školitel: | doc. Ing. et Ing. David Hartman, Ph.D. et Ph.D. |
Řešitel: | skrytý![]() |
Datum přihlášení: | 21.02.2023 |
Datum zadání: | 28.02.2023 |
Datum potvrzení stud. oddělením: | 20.04.2023 |
Datum a čas obhajoby: | 11.09.2023 09:00 |
Datum odevzdání elektronické podoby: | 19.07.2023 |
Datum odevzdání tištěné podoby: | 24.07.2023 |
Datum proběhlé obhajoby: | 11.09.2023 |
Oponenti: | Patrice Ossona de Mendez |
prof. RNDr. Aleš Pultr, DrSc. | |
Zásady pro vypracování |
Cílem práce je zkoumální vlivu gadgetové konstrukce na strukturální konvergenci u relačních struktur. Centrální otázkou je konvergence výsledku gadgetové konstrukce za předpokladu konvergencí jejich konstituentů či případné další postačující podmínky. |
Seznam odborné literatury |
László Lovász. Large networks and graph limits. American Mathematical Society, 2012, p. 475. isbn: 9780821890851.
Jaroslav Nešetřil and Patrice Ossona de Mendez. “A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth”. In: Memoirs of the American Mathematical Society 263.1272 (Jan. 2020). Jaroslav Nešetřil and Patrice Ossona de Mendez. “Cluster analysis of local convergent sequences of structures”. In: Random Structures & Algorithms 51.4 (Apr. 2017), pp. 674–728. Pavol Hell and Jaroslav Nešetřil. Graphs and Homomorphisms. Oxford University Press, July 2004 |