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