Reasoning about online algorithms with weighted automata

Benjamin Aminof*, Orna Kupferman, Robby Lampert

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

35 Scopus citations

Abstract

We describe an automata-theoretic approach for the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in R≥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 are able to solve problems about the competitive ratio of online algorithms, and the memory they require, by reducing them to questions about determinization and approximated determinization of weighted automata.

Original languageEnglish
Article number28
JournalACM Transactions on Algorithms
Volume6
Issue number2
DOIs
StatePublished - 1 Mar 2010

Keywords

  • Formal verification
  • Online algorithms
  • Weighted automata

Fingerprint

Dive into the research topics of 'Reasoning about online algorithms with weighted automata'. Together they form a unique fingerprint.

Cite this