Deciding the Existence of Minority Terms

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F20%3A10423138" target="_blank" >RIV/00216208:11320/20:10423138 - isvavai.cz</a>
Výsledek na webu
<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Y.cOz4tbI_" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Y.cOz4tbI_</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4153/S0008439519000651" target="_blank" >10.4153/S0008439519000651</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Deciding the Existence of Minority Terms
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Deciding the Existence of Minority Terms
Popis výsledku anglicky
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.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2020
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ů

Podobné výsledky(10)