On the Complexity of the Cayley Semigroup Membership Problem

14 Apr 2018 Fleischer Lukas

We investigate the complexity of deciding, given a multiplication table representing a semigroup S, a subset X of S and an element t of S, whether t can be expressed as a product of elements of X. It is well-known that this problem is NL-complete and that the more general Cayley groupoid membership problem, where the multiplication table is not required to be associative, is P-complete... (read more)

PDF Abstract
No code implementations yet. Submit your code now