2exptime úplný problém náležení do variety

Abstrakt

Konstruujeme konečnou algebru generující varietu jejíž problém náležení je 2exptime úplné. Řeší se tak problém Bergman-Slutzki z roku 2000.

Klíčová slova

• 2exptime
• complete
• varietal
• membership
• problem