球拍计数

机架的枚举过程。给出一个机架(mathcal R)的表示,我们定义了一个系统地枚举(mathcal R)元素的过程。这个过程是以Todd和Coxeter首先给出的陪集的系统计数为基础的。本文推广和改进了Winker提出的(n)量子的图解法。我们为Todd-Coxeter过程提供了类似于Holt、Eick和O'Brien给出的伪代码。我们证明了当且仅当(mathcal R)是有限的时,过程终止,在这种情况下,程序输出有限机架的运算表。最后我们用一个结理论的应用来结束。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换