
The Knaster-Tarski theorem says that for every complete lattice \(L\), every order-preserving mapping \(f:L\to L\) has a fixed point. This paper studies the query complexity of this problem. The authors present an algorithm that, for a given complete finite lattice \(L\) and an order-preserving mapping \(f\) of \(L\) given by an oracle, finds a fixed point of \(f\) and requires \(O(| M| \log(\max\{| x| \mid x\in M\}))\) queries to an oracle, where \(M\) is the set of all maximal chains of \(L\). Thus if \(L\) is a finite chain then \(O(\log| L| )\) queries suffice to find a fixed point. On the other hand, if both a finite complete lattice \(L\) and the order-preserving mapping \(f\) are given by oracles, then the expected numbers of queries is \(\Omega (| L| )\) for every random algorithm finding a fixed point of \(f\). Also, every deterministic algorithm constructing a fixed point of \(f\) has to require \(\Omega (| L| )\) queries.
complete lattice, Analysis of algorithms and problem complexity, Tarski's fixed point theorem, Randomized algorithms, Tarski’s fixed point theorem, Knaster-Tarski theorem, Symbolic computation and algebraic computation, randomized algorithm, Theoretical Computer Science, oracle, fixed point, Query complexity, order-preserving mapping, query complexity, Complete lattices, completions, Computer Science(all)
complete lattice, Analysis of algorithms and problem complexity, Tarski's fixed point theorem, Randomized algorithms, Tarski’s fixed point theorem, Knaster-Tarski theorem, Symbolic computation and algebraic computation, randomized algorithm, Theoretical Computer Science, oracle, fixed point, Query complexity, order-preserving mapping, query complexity, Complete lattices, completions, Computer Science(all)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 7 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
