平面弦图的归一化及二次等价算法
摘要：平面串图的图形计算中，通过交换操作可以生成等式，交换操作可以交换相邻顶点的高度。我们展示了左交换和右交换分别为连接串图提供了强正规化重写策略。我们利用这个结果给出了连通情况下等价性问题的线性时间解决方案，以及一般情况下的二次解决方案。我们还提供了对Joyal-Street一致性定理的更强证明，解决了Selinger对卧姿同形的猜想。
作者：Antonin Delpeuch and Jamie Vicary
论文ID：1804.07832
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22