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

热度：20 发布时间：2023-12-24 21:26:52.0

1. zero polynomial 的定义

在这里插入图片描述

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

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