论文标题
多项式时间测试，用于差异品种中的差异术语
Polynomial-time Tests for Difference Terms in Idempotent Varieties
论文作者
论文摘要
我们考虑以下实际问题：考虑到有限语言的有限代数A，我们是否可以有效地决定A产生的品种是否具有差异术语？我们在基本情况下（积极地）回答了这个问题，然后描述用于构建差异术语操作的算法。
We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We answer this question (positively) in the idempotent case and then describe algorithms for constructing difference term operations.
