Executable Randomized Algorithms.

Emin Karayel Manuel Eberl

Published in: Arch. Formal Proofs (2023)

Keyphrases

randomized algorithms
lower bound
approximation algorithms
practical problems
worst case
randomized algorithm
formal specification
upper bound
learning algorithm
np hard
data sets
special case
greedy algorithm