Let’s define Levinf complexity as 2l+f(t), where l is description length and t is execution time
Should this be l + f(t)?
Should this be l + f(t)?