如何用KNOT软件证明“ 绿环摘摘看，无解之谜”的确无解

ddk

软件不错就是不会用，不知如何在软件KNOT中输入初始状态链环和终止状态链环。

poe

直接在那个浅绿色的框里边用鼠标顺次点出一些首尾相接的线段，最后起点终点重合即可（可以画多个圈）。画好后点Edit按钮弹出一列按钮，点第一个Crossing按钮即可用鼠标更改图形中交叉点的状态。改好之后，点Invariants弹出两列按钮，选Jones即可。自己摸索一下吧，操作其实非常简单。