为什么机器能够学习——PAC Learnability

\[ \min \frac{1}{m}\sum_{i=1}^m I[h(x^{(i)}\neq y^{(i)}]\]

其中，m为训练样例的个数。
下 面说明为什么这个方法可行。统计学里，大数定理家族有个著名的不等式——Hoeffding‘s equality。这个不等式的背景是，假设有一组独立同分布的随机变量$Z_1,\ldots,Z_m$，它们都服从Bernoulli分布， 即$P(Z_i=1)=\phi, P(Z_i=0)=1-\phi$。我们想通过这组变量的均值$\hat{\phi}\frac{1}{m}\sum_{i=1}^m Z_i$来估计参数$\phi$的值。Hoeffding不等式从概率意义上刻画了估计值和参数值的接近程度：
\[ P(|\hat{\phi}-\phi|<\epsilon)\leq 2\exp{-2\epsilon^2 m} \]
其 中，$\epsilon>0$是一个误差限，$m$是训练集中的样例个数。这个不等式告诉我们，我们的估计和真实值得差距相差很大的概率很小，也就 是说二者接近的概率很大。因此我们可以说，$\hat{\phi}=\phi$是PAC（probably approximate correct，可能近似正确）的。PAC这个术语很有意思，他不能打包票说二者一定是等的，他只能保证大多数情况下是这样；而这个“等”只是越等，即相 差很近但不一定完全一样，例如我投一百次硬币，最后的频率可能是0.51或者是0.49，接近0.5但不会相等。有了Hoeffding不等式的理论基 础，我们想把这个刻画参数估计和真实值接近程度的方法套用到学习问题上去。
为了能够套用Hoeffding不等式到学习问题上，我们需要做出一些 假设： 给定一个假设h，我们认为h在一个样例x上与类标号y是否一致是一个服从Bernoulli分布的随机变量，也记为Z，即$Z=I[h(x)\neq y]=\mu$，这里$\mu$可以认为是泛化误差。我们进一步假设训练集的样本是独立同分布采样的，那么$Z_1，Z_2,...,Z_m$是一组 iid且服从Bernoulli分布的随机变量，它们的平均即训练误差（记为$\nu$）实际上就是对泛化误差$\mu$的一个估计。
根据Hoeffding不等式有：
\[P(|\nu-\mu|<\epsilon)\leq 2\exp{-2\epsilon^2 m} \]
根 据PAC理论，$\nu$和$\mu$离得很近，而且随着样本数的增加，它们的距离会越来越靠近， 如果此时训练误差$\nu$很小，那么我们可以说泛化误差$\mu$也很小是一个PAC的事件，泛化误差很小说明什么？说明我们的假设h和目标函数f真的 长得很像（$h= f$ is PAC）。
至此，我们就证明了ERM确实是可行的， 那么我们就能高枕无忧了吗？今天我们选取一个假设，它的训练误差很低甚至接近于0，就能说它的泛化误差一定很低吗？ 答案是否定的。 如果这个命题成立，也不会有所谓的overfitting了。
Hoeffding 不等式只告诉我们，我们抽一个样本，有很大概率抽到一个好的样本（这里好的样本指的是 训练误差和泛化误差很接近）；而抽到一个坏的样本（两个误差相差很远，特指过拟合的情况，训练误差很小而泛化误差很大）的概率有一个上限且很小， 但并不等于说抽到一个bad sample就是不可能的（实际上有可能，只是概率非常小），如果不幸抽到了bad sample， 那么恭喜你，你可以去买彩票了。那么如何避免这种overfitting的产生呢？
其中一个选择是增加样例数，随着样例数的增加，Hoeffding不等式右侧的上限值会越来越小， 于是乎我们抽到bad sample的概率也就越来越小了，我们更有把握说我们的模型不容易过拟合了。
上 面说到的bad sample是相对于一个hypothesis而言的，对于每个不同的hypothesis，可能的bad sample都不同。 那么给定一个训练集，我们在假设空间中的选择是有限制的，因为我们不知道哪个假设在这个数据集上会overfit，因此在选择假设的过程可能会踩到雷。有 的时候，踩到雷是不可避免的，因为我们没有选择数据集的权利。但我们可以做的事情是 估计踩到雷的概率上限是多少。这里我们只假设 假设空间有限，且大小为K。“踩到雷”这件事从集合论的角度来讲就是 至少存在一个假设$h_i\in \mathcal{H}$，使得$|\nu_{h_i}-\mu|>\epsilon$发生。我们记事件$A_i=|\nu_{h_i}- \mu|>\epsilon$。利用联合界定理，我们可以推导其概率上限为
\[ P(\exists h\in \mathcal{H},|\nu_h-\mu|>\epsilon) = P(\bigcup_{i=1}^{K} A_i) \leq \sum_{i=1}^K P(A_i)\leq 2K\exp(-2\epsilon^2 m) \]
在假设空间有限的情况下，通过增加样本集大小m，就能减少我们在假设集上踩到雷的几率，从而估计的失真度，减少过拟合现象。

总结一下：这篇文章中我们证明了在加上一些统计学假设（训练集是独立同分布抽样） 且 假设空间是有限的情况下， PAC理论保证了学习是可行的。对于假设空间是无限的情况（比如线性分类器），需要用到VC-dimension来证明其可行性。