我们证明了任何带有$c$交叉点的unknot图都可以用最多$(236\,c)^{11}$Reidemister步降为平凡图。
小学2000:57平方米,57N10号
2017–2024年欧几里德项目的在线内容