On Optimal Algorithms and Optimal Proof Systems.

Published in: STACS (1999)

Keyphrases

worst case
exhaustive search
closed form
early stopping
information systems
optimal solution
dynamic programming
orders of magnitude
database
learning algorithm
image processing
globally optimal
binary search trees
approximately optimal