固体环核识别问题的计算复杂度

摘要:固体环核识别问题是指在给定固体环中的结扣,决定该结扣是否为固体环的核心。由于加厚化团判定问题在NP中,所以该问题也在NP中。我们提供了该事实的另一种证明,并证明该问题也在co-NP中。作为此结果的推论,还证明了Hopf链识别问题在NP和co-NP中。

作者:Yuya Nishimura

论文ID:2305.10024

分类:Geometric Topology

分类简称:math.GT

提交时间:2023-06-09

PDF 下载: 英文版 中文版pdf翻译中