DocumentCode :
626278
Title :
On the Query Complexity of Real Functionals
Author :
Feree, Hugo ; Hoyrup, Mathieu ; Gomaa, Walid
Author_Institution :
LORIA, Univ. de Lorraine, Nancy, France
fYear :
2013
fDate :
25-28 June 2013
Firstpage :
103
Lastpage :
112
Abstract :
Recently Kawamura and Cook developed a framework to define the computational complexity of operators arising in analysis. Our goal is to understand the effects of complexity restrictions on the analytical properties of the operator. We focus on the case of norms over C[0,1] and introduce the notion of dependence of a norm on a point and relate it to the query complexity of the norm. We show that the dependence of almost every point is of the order of the query complexity of the norm. A norm with small complexity depends on a few points but, as compensation, highly depends on them. We characterize the functionals that are computable using one oracle call only and discuss the uniformity of that characterization.
Keywords :
computational complexity; complexity restriction; computational complexity; operators; query complexity; Computational complexity; Electronic mail; Extraterrestrial measurements; Polynomials; Topology; Turing machines; Computable analysis; computational complexity; norm; oracle Turing machine; polynomial time computable functional;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Conference_Location :
New Orleans, LA
ISSN :
1043-6871
Print_ISBN :
978-1-4799-0413-6
Type :
conf
DOI :
10.1109/LICS.2013.15
Filename :
6571541
Link To Document :
بازگشت