论文部分内容阅读
该文讨论的是有限可交换特殊图厄系统的有限元问题.作者得到结论:如果该文所讨论的系统是完备的,则可以得到一个判定有限元问题存在的线性时间算法.这个算法同时还构造了字方程x=x的所有解.由于有限特殊图厄系统的规则有比较好的性质,利用这些性质去完备化一个特殊图厄系统,算法的时间复杂度也是线性的.而对于一个完备的特殊可交换图厄系统,它的有限序元素一定是可逆的,所以解方程x=x 等价于解方程x=e(mod R).最后等价于解一个线性方程.