Presentation 2005-04-18
On time and space complexity of functions
Kenya UENO,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Similar to the computable function class, it is known that many function complexity classes like FP and FPSPACE can be expressed by recursion theoretic scheme. Based on these results, we introduce a new notion of operators for general function complexity classes. We construct an operator which characterizes the relation between time and space bounded function complexity classes. Moreover, we introduce new classes composed of functions whose output lengths are restricted to the input length plus some constant and characterize FP and FPSPACE by using these classes and operators. Furthermore, we define a notion of completeness for FPSPACE and show a FPSPACE-complete function.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Function Complexity Classes / Recursive Function Theory / Operators
Paper # COMP2005-4
Date of Issue

Conference Information
Committee COMP
Conference Date 2005/4/11(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Theoretical Foundations of Computing (COMP)
Language ENG
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) On time and space complexity of functions
Sub Title (in English)
Keyword(1) Function Complexity Classes
Keyword(2) Recursive Function Theory
Keyword(3) Operators
1st Author's Name Kenya UENO
1st Author's Affiliation Department of Computer Science Graduate School of Information Science and Technology the University of Tokyo()
Date 2005-04-18
Paper # COMP2005-4
Volume (vol) vol.105
Number (no) 7
Page pp.pp.-
#Pages 6
Date of Issue