Computationally and Algebraically Complex Finite Algebra Membership Problems

In this paper we produce a finite algebra which generates a variety with a PSPACE-complete membership problem. We produce another finite algebra with a γ function that grows exponentially. The results are obtained via a modification of a construction of the algebra A(T) that was introduced by Ralph McKenzie in 1996.

• Type: Journal
• Year: 2007
• Where: IJAC
• Authors: Marcin Kozik
• Keywords: IJAC 2007, PSPACE-complete Membership Problem, Ralph McKenzie, finite Algebra