DisCoMath Seminar: Enumerating Nontrivial Knot Mosaics with SAT
Discrete & Computational Math Seminar (DisCoMath)
Enumerating Nontrivial Knot Mosaics with SAT
Hannah Miller
Computer Science Ph.D. Student
RIT
Register Here for Zoom Link
This seminar may be attended in person in 3305 Gosnell Hall or online via Zoom.
Abstract:
Mathematical knots are interesting topological objects. Using simple arcs, lines, and crossings drawn on eleven possible tiles, knot mosaics are a representation of knots on a mosaic board. Our contribution is using SAT solvers as a tool for enumerating nontrivial knot mosaics. By encoding constraints for local knot mosaic properties, we computationally reduce the search space for small mosaics by factors of up to 6600. Our future research directions include attacking larger mosaics with parallel SAT techniques and studying the behavior of ALLSAT solvers on our knot mosaics SAT formula.
Intended Audience:
Undergraduates, graduates, and experts. Those with interest in the topic.
Keep up with DisCoMath Seminars on the DisCoMathS webpage.
To request an interpreter, please visit myaccess.rit.edu
Event Snapshot
When and Where
Who
Open to the Public
Interpreter Requested?
No