高級算法設計 --The Schwartz-Zippel Lemma

1. zero polynomial 的定義

PIT :判斷兩個多項式是否相等，或判斷 多項式是否是identically zero



證明
主要思想是通過從p中分離變量$x_1$來獲得變量較少的多項式。 令k爲出現在多項式$p$的$x_1$項的最大冪。