当前位置:
X-MOL 学术
›
arXiv.cs.CC
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Polynomial-time Tests for Difference Terms in Idempotent Varieties
arXiv - CS - Computational Complexity Pub Date : 2020-11-16 , DOI: arxiv-2011.07879 William DeMeo and Ralph Freese and Matthew Valeriote
arXiv - CS - Computational Complexity Pub Date : 2020-11-16 , DOI: arxiv-2011.07879 William DeMeo and Ralph Freese and Matthew Valeriote
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.
中文翻译:
幂等变异项的多项式时间检验
我们考虑以下实际问题:给定有限语言中的有限代数 A,我们能否有效地确定由 A 生成的多样性是否具有差异项?我们在幂等情况下(肯定地)回答这个问题,然后描述构造差分项操作的算法。
更新日期:2020-11-17
中文翻译:
幂等变异项的多项式时间检验
我们考虑以下实际问题:给定有限语言中的有限代数 A,我们能否有效地确定由 A 生成的多样性是否具有差异项?我们在幂等情况下(肯定地)回答这个问题,然后描述构造差分项操作的算法。