Article ID Journal Published Year Pages File Type
438080 Theoretical Computer Science 2008 12 Pages PDF
Abstract

We exhibit a finite family of functions over a finite set (i.e. a finite algebra), such that the problem whether a given function can be obtained as a composition of the members of this family (i.e. is a member of the clone generated by the algebra) is EXPTIME-complete.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics