Circuit Equivalence in 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%3A10489649" target="_blank" >RIV/00216208:11320/24:10489649 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.4230/LIPIcs.STACS.2024.45" target="_blank" >https://doi.org/10.4230/LIPIcs.STACS.2024.45</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4230/LIPIcs.STACS.2024.45" target="_blank" >10.4230/LIPIcs.STACS.2024.45</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Circuit Equivalence in 2-Nilpotent Algebras
Popis výsledku v původním jazyce
The circuit equivalence problem Ceqv(A) of a finite algebra A is the problem of deciding whether two circuits over A compute the same function or not. This problem not only generalises the equivalence problem for Boolean circuits, but is also of interest in universal algebra, as it models the problem of checking identities in A. In this paper we prove that Ceqv(A) is an element of P, if A is a finite 2-nilpotent algebra from a congruence modular variety.
Název v anglickém jazyce
Circuit Equivalence in 2-Nilpotent Algebras
Popis výsledku anglicky
The circuit equivalence problem Ceqv(A) of a finite algebra A is the problem of deciding whether two circuits over A compute the same function or not. This problem not only generalises the equivalence problem for Boolean circuits, but is also of interest in universal algebra, as it models the problem of checking identities in A. In this paper we prove that Ceqv(A) is an element of P, if A is a finite 2-nilpotent algebra from a congruence modular variety.
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
001300393400045