Abstract
Fix a finite semigroup [Formula: see text] and let [Formula: see text] be tuples in a direct power [Formula: see text]. The subpower membership problem (SMP) asks whether [Formula: see text] can be generated by [Formula: see text]. If [Formula: see text] is a finite group, then there is a folklore algorithm that decides this problem in time polynomial in [Formula: see text]. For semigroups this problem always lies in PSPACE. We show that the [Formula: see text] for a full transformation semigroup on [Formula: see text] or more letters is actually PSPACE-complete, while on [Formula: see text] letters it is in P. For commutative semigroups, we provide a dichotomy result: if a commutative semigroup [Formula: see text] embeds into a direct product of a Clifford semigroup and a nilpotent semigroup, then [Formula: see text] is in P; otherwise it is NP-complete.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
