基于概率检测组合模型的几何定理证明器

以概率性算法代替传统的确定性算法可快速证明复杂度很高的几何定理,可大幅度提高证明效率.对估算多项式中独立变元次数上界的算法进行了改进,并提出三种统计总体的采集标准,分析两种不同的实例检验方法,结合Schwartz-Zippel定理与统计推断理论,建立概率检测组合模型,并在此基础上采用Maple编程语言实现此快速的几何定理证明器——ProbProver.利用ProbProver证明器可在2秒内证明出代数法较难证明的Five Circles定理.最后给出的多组对比实验进一步表明ProbProver证明器具有明显高效性.