Natural Moves for Knots and Links
arXiv:0707.1155
Abstract
We propose some natural generalizations of Reidemeister moves that do not increase the number of crossings in the generated diagrams. Experimentations make us conjecture that this class of monotonic moves is complete for computing canonical forms and then deciding isotopy.
5 pages; 7 figures