Fixed-point computation: Difference between revisions

Content deleted Content added
Fixed the sentence fragment. The missing definition of value query comes from the value query model of fixed-point computation where the algorithm is provided with an oracle that can be queried.
Line 1:
{{Short description|Computing the fixed point of a function}}
{{CS1 config|mode=cs1}}
'''Fixed-point computation''' refers to the process of computing an exact or approximate [[Fixed point (mathematics)|fixed point]] of a given function.<ref name=":1">{{cite book |doi=10.1007/978-3-642-50327-6 |title=The Computation of Fixed Points and Applications |series=Lecture Notes in Economics and Mathematical Systems |year=1976 |volume=124 |isbn=978-3-540-07685-8 }}</ref> In its most common form, the given function <math>f</math> satisfies the condition to the [[Brouwer fixed-point theorem]]: that is:, <math>f</math> is continuous and maps the unit [[N-cube|''d''-cube]] to itself. The [[Brouwer fixed-point theorem]] guarantees that <math>f</math> has a fixed point, but the proof is not [[Constructive proof|constructive]]. Various algorithms have been devised for computing an approximate fixed point. Such algorithms are used in economics for computing a [[market equilibrium]], in [[game theory]] for computing a [[Nash equilibrium]], and in [[dynamic system]] analysis.
 
== Definitions ==