The unknotting number, hard unknot diagrams, and reinforcement learning
The unknotting number, hard unknot diagrams, and reinforcement learning
We have developed a reinforcement learning agent that often finds a minimal sequence of unknotting crossing changes for a knot diagram with up to 200 crossings, hence giving an upper bound on the unknotting number. We have used this to determine the unknotting number of 57k knots. We took diagrams …