Recursion Theoretic Operators for Function Complexity Classes

We characterize the gap between time and space complexity of functions by operators and completeness. First, we introduce a new notion of operators for function complexity classes based on recursive function theory and construct an operator which generates FPSPACE from FP. Then, we introduce new function classes composed of functions whose output lengths are bounded by the input length plus some constant. We characterize FP and FPSPACE by using these classes and operators. Finally, we define a new notion of completeness for FPSPACE and show a FPSPACE-complete function.

• Type: Conference
• Year: 2005
• Where: ISAAC
• Authors: Kenya Ueno
• Keywords: Function Complexity Classes, ISAAC 2005, Operator, Recursive Function Theory