Kolmogorov complexity
Here formula_27 is prefix-free Kolmogorov complexity relative to oracle formula_28.