Polynomial-Time Tests For Difference Terms In Idempotent Varieties

William Demeo,Ralph Freese,Matthew Valeriote

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION（2019）

引用 3|浏览14

暂无评分

摘要

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.

查看译文

关键词

Maltsev condition, difference term, tame congruence theory, idempotent algebra, computational complexity

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要