A Combinatorial Approach to Knot Recognition

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10331271" target="_blank" >RIV/00216208:11320/17:10331271 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-25043-4_7" target="_blank" >http://dx.doi.org/10.1007/978-3-319-25043-4_7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-25043-4_7" target="_blank" >10.1007/978-3-319-25043-4_7</a>

Jazyk výsledku
angličtina
Název v původním jazyce
A Combinatorial Approach to Knot Recognition
Popis výsledku v původním jazyce
This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. The computational complexity of the problem, both in theory and in our implementation, is discussed. In the last part, we explain how coloring can be utilized in knot recognition.
Název v anglickém jazyce
A Combinatorial Approach to Knot Recognition
Popis výsledku anglicky
This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. The computational complexity of the problem, both in theory and in our implementation, is discussed. In the last part, we explain how coloring can be utilized in knot recognition.

Projekt
<a href="/cs/project/GA13-01832S" target="_blank" >GA13-01832S: Obecná algebra a její souvislost s informatikou</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2017
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
EMBRACING GLOBAL COMPUTING IN EMERGING ECONOMIES, EGC 2015
ISBN
978-3-319-25043-4
ISSN
1865-0929
e-ISSN
neuvedeno
Počet stran výsledku
15
Strana od-do
64-78
Název nakladatele
SPRINGER-VERLAG BERLIN
Místo vydání
BERLIN
Místo konání akce
Almaty
Datum konání akce
26. 2. 2015
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000369179600007

Podobné výsledky(10)