Theorem 21.3: for finite H, the Halving algorithm has mistake bound M_Halving(H) ≤ log₂|H|

Initializing...

Theorem 21.3: for finite H, the Halving algorithm has mistake bound M_Halving(H) ≤ log₂|H| · Prove2Me