Theorem 7.7 (MDL bound): for a prefix-free description language, w.p. ≥ 1 − δ every h ∈ H has L_D(h) ≤ L_S(h) + √((|h| + ln(2/δ))/(2m))

Initializing...

Theorem 7.7 (MDL bound): for a prefix-free description language, w.p. ≥ 1 − δ every h ∈ H has L_D(h) ≤ L_S(h) + √((|h| + ln(2/δ))/(2m)) · Prove2Me