Abstract
We examine three problems which can be considered as “approximating a fixed point of a continuous function f mapping a closed n-cell into itself”, namely: P1) Determine whether a given set contains a fixed point of f; P2) find a point xo such that ‖ xo − f (xo) ‖ ≤ ε; P3) find a subset of diameter ≤ ε that contains a fixed point of f. It is shown that none of these problems can be solved by any algorithm which may evaluate the function for an arbitrary, but bounded, number of points but which does not require any other, analytical knowledge about the continuous function. To obtain these results, we give a formal, axiomatic definition of an “oracle algorithm”, a concept which can also be used to obtain several other lower bounds in complexity theory. This definition is based on the idea that the action of the algorithm at any step — the determination either of the next argument x for which f shall be evaluated or of the final solution — depends on all the “previous informations” about f, i.e. on the function evaluations in all previous steps.
Supported by Sonderforschungsbereich 21 (DFG), Institut für ökonometrie und Operations Research, Bonn
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Baigger, “Die Nichtkonstruktivität des Brouwersehen Fixpunktsatzes”, Diplomarbeit, University of Erlangen (1974).
L.E.J. Brouwer, “Über eineindeutige, stetige Transformationen von Flächen in Sich”, Mathematische Annalen 67 (1910) 176–180.
J. Dieudonné, Foundations of Modern Analysis, Academic Press, New York, London (1969).
D. Hausmann, B. Korte, “Lower bounds on the worst-case complexity of some oracle algorithms”, Working Paper No. 7757-OR, Institut für Ökonometrie und Operations Research, University of Bonn (1977), to appear in Discrete Mathematics.
H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer Verlag, Berlin, Göttingen, Heidelberg (1961),
G.L. Nemhauser, L.A. Wolsey, “Best algorithms for approximating the maximum of a submodular set function”, Discussion Paper No. 7636, Center for Operations Research and Econometrics, University of Louvain (1976).
V.P. Orevkov, “A constructive mapping of a square onto itself displacing every constructive point”, Soviet Mathematics IV (1963) 4–6.
H. Scarf, “The approximation of fixed points of a continuous mapping”, SIAM Journal on Applied Mathematics 15 (1967) 1328–1343.
E. Specker, “Nicht konstruktiv beweisbare Sätze der Analysis”, The Journal of Symbolic Logic 14 (1949) 145–158.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hausmann, D., Korte, B. (1978). Oracle Algorithms for Fixed-Point Problems — An Axiomatic Approach. In: Henn, R., Korte, B., Oettli, W. (eds) Optimization and Operations Research. Lecture Notes in Economics and Mathematical Systems, vol 157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95322-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-95322-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08842-4
Online ISBN: 978-3-642-95322-4
eBook Packages: Springer Book Archive