A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal Analysis of Online Algorithms
[chapter]
2011
Lecture Notes in Computer Science
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in IR ≥0 . By relating the "unbounded look ahead" of optimal offline algorithms with nondeterminism, and relating the "no look ahead" of online algorithms with determinism, we were able to solve problems about the competitive ratio of
doi:10.1007/978-3-642-24372-1_16
fatcat:cgwtlhdni5do5gca54unrtd3xe