LIPIcs.STACS.2024.46.pdf
- Filesize: 0.9 MB
- 17 pages
The subpower membership problem SMP(𝐀) of a finite algebraic structure 𝐀 asks whether a given partial function from Aⁿ to A can be interpolated by a term operation of 𝐀, or not. While this problem can be EXPTIME-complete in general, Willard asked whether it is always solvable in polynomial time if 𝐀 is a Mal'tsev algebra. In particular, this includes many important structures studied in abstract algebra, such as groups, quasigroups, rings, Boolean algebras. In this paper we give an affirmative answer to Willard’s question for a big class of 2-nilpotent Mal'tsev algebras. We furthermore develop tools that might be essential in answering the question for general nilpotent Mal'tsev algebras in the future.
Feedback for Dagstuhl Publishing