http://dbpedia.org/resource/Probabilistic_analysis_of_algorithms Probabilistic analysis of