Original title:
Barvení uzlů
Translated title:
Coloring knots
Authors:
Nagy, Tomáš ; Stanovský, David (advisor) ; Šťovíček, Jan (referee) Document type: Bachelor's theses
Year:
2017
Language:
cze Abstract:
[cze][eng] V práci se zabýváme barvením uzlů pomocí algebraických struktur zvaných quandly. Představíme teorii potřebnou pro porozumění barvení a dokážeme, že barvení je skutečně invariantem uzlů. Stěžejní část práce tvoří experiment zaměřený na obarvování různých tříd uzlů různými quandly. Experiment je zaměřen především na zkoumání uzlů, které jsou obtížně odlišitelné jinými invarianty a také na zkoumání časové složitosti barvení jednotlivých tříd uzlů v závislosti na počtu křížení barveného uzlu a na velikosti barvícího quandlu. Zkoumáme také souvislost barvení jednotlivými třídami quandlů s jinými invarianty uzlů.The thesis deal with coloring knots by algebraical structures called quandles. We will introduce the theory that is necessary for understanding the knot coloring and we will prove that coloring is a knot invariant. The major part of the thesis is an experiment focused on coloring different knots by different classes of quandles. We will focus on knots which are hardly distinguished by other knot invariants, also the time complexity of coloring different classes of knots in dependency on the number of crossings and on the size of the quandle will be important for us. We will deal also with the connection between knot coloring and other knot invariants.
Keywords:
knot invariants; quandles; SAT and #-SAT problem; invarianty uzlů; quandly; SAT a #-SAT problém
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/86387