The Subpower Membership Problem of 2-Nilpotent Algebras
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F24%3A10489642" target="_blank" >RIV/00216208:11320/24:10489642 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.4230/LIPIcs.STACS.2024.46" target="_blank" >https://doi.org/10.4230/LIPIcs.STACS.2024.46</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4230/LIPIcs.STACS.2024.46" target="_blank" >10.4230/LIPIcs.STACS.2024.46</a>
Alternative languages
Result language
angličtina
Original language name
The Subpower Membership Problem of 2-Nilpotent Algebras
Original language description
The subpower membership problem SMP(A) of a finite algebraic structure A asks whether a given partial function from A(n) to A can be interpolated by a term operation of A, or not. While this problem can be EXPTIME-complete in general, Willard asked whether it is always solvable in polynomial time if A 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2024
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Leibniz International Proceedings in Informatics, LIPIcs
ISBN
—
ISSN
1868-8969
e-ISSN
1868-8969
Number of pages
17
Pages from-to
—
Publisher name
Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Place of publication
Wadern
Event location
Clermont-Ferrand
Event date
Mar 12, 2024
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001300393400046