高级算法设计 --The Schwartz-Zippel Lemma

1. zero polynomial 的定义

PIT :判断两个多项式是否相等，或判断 多项式是否是identically zero



证明
主要思想是通过从p中分离变量$x_1$来获得变量较少的多项式。 令k为出现在多项式$p$的$x_1$项的最大幂。