3-Coloring Graphs on Torus
3-barevnost grafů na toru
diploma thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/90475Identifiers
Study Information System: 176344
Collections
- Kvalifikační práce [10932]
Author
Advisor
Referee
Šámal, Robert
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Discrete Models and Algorithms
Department
Computer Science Institute of Charles University
Date of defense
6. 9. 2017
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent
Keywords (Czech)
barvení, grafy, torusKeywords (English)
coloring, graph, torusDvořák et al. dokázali, že 4-kritická graf bez trojúhelníků vnořený v toru má pouze omezeně mnoho stěn délky větší než 4 a velikost těchto stěn je také omezena. V této práci studujeme operaci redukce těchto vnořených grafů pomocí sjednocení protějších vrcholů ve 4-stěnách. Představíme počítačem asistovaný důkaz ukazující, že existují právě čtyři 4-kritické grafy bez trojúhelníků vnořené do toru, které jsou irreducibilní, tedy na ně není možné použít redukci bez vzniku trojúhelníků. Pomocí tohoto výsledku ukážeme několik vlastností, které nutně platí pro jakýkoliv 4-kritický graf bez trojúhelníků vnořený v toru. Především ukážeme, že každý takový graf má nejvýše čtyři 5-stěny nebo 6-stěnu a dvě 5-stěny nebo 7-stěnu a 5-stěnu, a k tomu alespoň sedm 4-stěn.
The theory of Dvořák et al. shows that a 4-critical triangle-free graph embedded in the torus has only a bounded number of faces of length greater than 4 and that the size of these faces is also bounded. We study the natural reduction in such embedded graphs-identification of opposite vertices in 4-faces. We give a computer-assisted argument showing that there are exactly four 4-critical triangle-free irreducible toroidal graphs in which this reduction cannot be applied without creating a triangle. Using this result we demonstrate several properties that are necessary for every triangle-free graph embedded in the torus to be 4-critical. Most importantly we demonstrate that every such graph has at most four 5-faces, or a 6-face and two 5-faces, or a 7-face and a 5-face, in addition to at least seven 4-faces.