DineshAI's picture
Reproduce Thm 6.2 (exact O(b^2) DP for surrogate value fn via PGF convolution) + Thm 7.2 (3-term TV suboptimality bound, Term3 vanishes under homogeneity)
c74c3c2 verified