HomeSearchLibrary
Randomized complexity | OmniWiki