论文标题
通用缠结算法的注释
A Note on Generic Tangle Algorithms
论文作者
论文摘要
在本说明中，我们收集了抽象分离系统中缠结的三种基本算法的理论概述：寻找缠结的幼稚树；一种算法，该算法会在可能的情况下输出证书，以免缠结，否则是一种开始启动幼稚树搜索的方法；以及一种获取缠结树的方法。
In this note we gather the theoretical outlines of three basic algorithms for tangles in abstract separation systems: a naive tree search for finding tangles; an algorithm which outputs a certificate for the non-existence of tangles if possible, and otherwise a way to jump-start the naive tree search; and a way to obtain a tree-of-tangles.
