析取范式(DNF)是一种公式,写成多个项的析取形式,每个项是一个布尔文字的合取。一个 -项 DNF 是由 项的析取定义的 DNF 公式,每个项至多是一个布尔文字的合取。因此,对于 和 ,一个 -项 DNF 的例子是 。
类的 -项 DNF 公式是否可PAC学习?因为这个类的势是 ,因为每个项至多是一个变量的合取,并且像之前看到的那样有 这样的合取。假设集 必须包含 以保证一致性是可能的,因此 。定理 2.5 给出了以下样本复杂性界限:
这是多项式的。然而,可以通过从图 3-着色问题归约来证明,即使对于 ,学习 -项 DNF 的问题也是不可有效 PAC 学习的,除非 RP,即那些接受随机多项式时间决策解的问题的复杂性类,与 相同,这通常被认为是不可能的。因此,尽管学习 -项 DNF 公式所需的样本大小只是多项式的,但如果 ,则不可能有效地 PAC 学习这个类。