An extension of Levin search to evaluate any computable function with asymptotically optimal Computational complexity

http://www.scholarpedia.org/article/Universal_search#Hutter_search