Konečná množina funkcí s exptime-úplným problémem skládání

Abstrakt

Ukážeme konečnou množinu funkcí na konečné množině, pro níž je problém náležení klonu touto množinou generovanému exptime-úplný.

Klíčová slova

• finite
• functions
• EXPTIME-complete
• composition
• problem