Constructive twin-width for posets of small width – Bc. Jakub Balabán
Bc. Jakub Balabán
Bachelor's thesis
Constructive twin-width for posets of small width
Constructive twin-width for posets of small width
Abstract:
Twin-width je invariant definován primárně pro grafy, ale rozšířen i na další struktury. Bylo ukázáno, že třídy s malou twin-width mají pěkné vlastnosti, např. se na nich dají efektivně vyhodnocovat prvořádové formule (tzv. FO model checking). Tato práce zkoumá twin-width posetů omezené šířky (což je maximální velikost antiřetězce). Nejprve ukazujeme, že posety šířky 2 mají twin-width nejvýše 2 a že …moreAbstract:
Twin-width is an invariant defined primarily for graphs but extended to other structures as well. It has been shown that classes of small twin-width have some nice properties, such as efficient FO model checking. In this thesis, we study the twin-width of posets with bounded width (which is the maximum size of an antichain). First, we show that posets of width 2 have twin-width at most 2 and that this …more
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2021
Identifier:
https://is.muni.cz/th/mhsdf/
Thesis defence
- Date of defence: 28. 6. 2021
- Supervisor: prof. RNDr. Petr Hliněný, Ph.D.
- Reader: Dr. rer. nat. Josef Samuel Mohr
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Mathematical Informatics
Theses on a related topic
- No theses on a related topic available.