CHURCH-Code for Hoeffding Bound: Minimal Sample Size n
In many of our simulations where we estimate a parameter theta we are interested in the probability that the sample-based estimator theta-bar is close to theta for a concrete choice of sample-size n. The Hoeffding bound measures errors in terms of the absolute distance |theta-bar - theta|. "The bound asserts that, with very high probability, theta-bar is within an error epsilon of the true probability theta. The probability is taken relative to possible data sets D. ...The bound tells us that, for most data sets D that we gerate at random, we obtain a good estimate. Furthermore, the fraction of "bad" sample sets D, those for which the estimate is more than epsilon from the true value, diminishes exponentially as the number of samples n grows." (Koller & Friedman, 2009, A.2.2, p.1145)
The Koller & Friedman formulas are 'one-sided' because the bounds are sensitive to the direction of the deviation, whereas Murphy (Murphy, 2012, (6.67), p.209) presents a 'two-sided' version. Dümbgen (Dümbgen, Stochastik für Informatik, Springer, 2003, Ch.7.4, p.125, ISBN 3-540-00061-5) presents a generalization of the formula used by Murphy. The variables are not constrained to the interval [0, 1].
The Church program is a translation of Dümbgens formula. But more valuable than the Hoeffding bound is the required minimal sample-size n for a given epsilon and a given Hoeffding bound. We compute n by the function 'hoeffding-inv'.
The results are interesting. For i.i.d. Bernouill variables and for practical purposes resonable eps = 0.01 and two-sided Hoeffding bound p-bound = 0.10 the required n is n >= 14979. If we want a greater precision eps = 0.001 with same p-bound = 0.10 we have to increase the sample size to n >= 1.497.866 !