Stav dette: Theory of randomized search heuristics