The Subpower Membership Problem of 2-Nilpotent Algebras
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Subpower Membership Problem of 2-Nilpotent Algebras
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
The Subpower Membership Problem of 2-Nilpotent Algebras
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2024
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Leibniz International Proceedings in Informatics, LIPIcs
ISBN
—
ISSN
1868-8969
e-ISSN
1868-8969
Počet stran výsledku
17
Strana od-do
—
Název nakladatele
Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Místo vydání
Wadern
Místo konání akce
Clermont-Ferrand
Datum konání akce
12. 3. 2024
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
001300393400046