A Combinatorial Approach to Knot Recognition
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
A Combinatorial Approach to Knot Recognition
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
<a href="/en/project/GA13-01832S" target="_blank" >GA13-01832S: General algebra and its connections to computer science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
EMBRACING GLOBAL COMPUTING IN EMERGING ECONOMIES, EGC 2015
ISBN
978-3-319-25043-4
ISSN
1865-0929
e-ISSN
neuvedeno
Number of pages
15
Pages from-to
64-78
Publisher name
SPRINGER-VERLAG BERLIN
Place of publication
BERLIN
Event location
Almaty
Event date
Feb 26, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000369179600007