Implicit characterizations of FPTIME and NC revisited

Various simplified or improved, and partly corrected well-known implicit characterizations of the complexity classes FPTIME and NC are presented. Primarily, the interest is in simplifying the required simulations of various recursion schemes in the corresponding (implicit) framework, and in developing those simulations in a more uniform way, based on a step-by-step comparison technique, thus consolidating groundwork in implicit computational complexity.

• Type: Journal
• Year: 2010
• Where: JLP
• Authors: Karl-Heinz Niggl, Henning Wunderlich
• Keywords: JLP 2010, Step-by-step Comparison Technique, Various Recursion Schemes, Well-known Implicit