本章思路:
根据之前的总结,如果M很大,那么无论假设泛化能力差的概率多小,都无法忽略,所以问题转化为证明M不大,然后上章将其转化为证明成长函数:mh(N)为多项式级别。直接证明似乎很困难,本章继续利用转化的思想,首先想想和mh(N)相关的因素可能有哪些?不难想到目前来看只有两个:
- 假设的抽样数据集大小N;
- break point k(这个变量确定了假设的类型);
那么,由此可以得到一个函数B,给定N和k可以确定该系列假设能够得到的最大的mh(N),那么新的目标便是证明B(N,k) <= Poly(N)。这便是本章的主要目标。
上图展示了不同N和k如何影响最终的growth function,表达了本章的重点是证明growth function是Poly的。
接着,问题可以进一步简化,上面我们知道growth function由N及H决定,而H又可以转为k,一个k决定了一类H,这样的抽象推导出了一个很重要的函数,这个函数的y是growth function,X则分别为N和k。
,它们的growth function即时一致的,换句话说,这个函数将H的本质通过k表达了出来。
原目标就继续转化为证明B(N,k)为poly。
证明的过程很巧妙,以B(4,3)为例子:
:找出B(4,3)和B(3,x)的关系,则可以得到一个递推式
,dichotomy如下:
是极限。
种dichotomy分组,目前分成两组,分别是orange和purple,orange的特点是,x1,x2和x3是一致的,x4不同并成对,例如1和5,2和8等,purple则是单一的,x1,x2,x3都不同。
个不同的vector并成为alpha,相应的purple为beta,那么B(4,3) = 2*alpha + beta,这个是直接转化。紧接着,由定义,B(4,3)是不能允许任意三点shatter的,所以由alpha和beta构成的所有B(4,3)的所有三点组合也不能shatter(alpha经过去重),即alpha + beta <= B(3,3)
最关键的来了,首先给出结论,alpha的vector不能在任意两点被shatter,为啥?反证法,假设可以,那么由于alpha对x4是成对出现的,所以把apha加上x4就能构成三个点的shatter,这个地方非常巧妙这也道出了之前这样分组的精髓,所以alpha <= B(3,2)。
由此得出B(4,3)和B(3,x)的关系。
步骤二:推导出一般式
有了前面一步的基础,后面的就很直接了。
展开可以,接着得出:
那么得出的结论就是:
上面明显是poly的,由此得出来我们梦寐已久的结果。
光有这个还不行,我们要带到下面的关键不等式中才能最终得出,选取最小Ein 假设是可以的忽略错误的,只要有breaking point存在于假设。
这里的证明我大致看了一下,对整体理解不是很大帮助,准备以后上完大部分课程后再看看。
总结:
本章的结论很明显,即时假设看起来是无穷的,只要存在breaking point,那么growth function便是多项式级别,假设的数量是限定的,我们只要保证Ein足够小,那么N大以及breaking point存在可以保证该假设具有较好的泛化性。