Deciding some Maltsev conditions in finite idempotent algebras

Alexandr Kazda, Matt Valeriote

In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $\Sigma$. Our goal in this paper…