有限代数中拟弱近似项存在性的判定
Deciding the existence of quasi weak near unanimity terms in finite algebras
摘要：
我们证明了对于一个固定的正整数k，通过考察有限代数A中各项的局部性态，可以有效地判定A是否允许k元弱近似运算.我们还观察到，问题的决定，如果一个给定的有限代数有一个准泰勒操作是可解的多项式时间内寻找，基本上，为当地的准Siggers操作。
英文摘要：
We show that for a fixed positive integer k one can efficiently decide if a finite algebra A admits a k-ary weak near unanimity operation by looking at the local behavior of the terms of A. We also observe that the problem of deciding if a given finite algebra has a quasi Taylor operation is solvable in polynomial time by looking, essentially, for local quasi Siggers operations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
