Theory of rendomized search heuristics