Charles Explorer logo
🇬🇧

Deciding the Existence of Minority Terms

Publication at Faculty of Mathematics and Physics |
2020

Abstract

This paper investigates the computational complexity of deciding if a given finite idempotent algebra has a ternary term operation m that satisfies the minority equations m (y, x, x) approximate to m(x, y, x) approximate to m (x x, y) approximate to y. We show that a common polynomial-time approach to testing for this type of condition will not work in this case and that this decision problem lies in the class NP.