假设 P 是一个多元多项式,其最高次数为 d,给定一个 有限域 个随机数 ,其中每个随机数都是从 S 中随机独立选取的。

Schwartz-Zippel 引理指出,如果 P 不是 零多项式,则 。其中 表示 中元素的个数。