本世记代表作
由NSFC10071001等资助,两组共九篇拆不散、剪不断、穷追式系列连锁论文，内容都属于计算数论学科同一主题素性测试11Y11 (含算法分析11Y16):
第一组代表作(6篇, 通过前几个素数基的强伪素数. 关键词:Miller 测试,强伪素数,ψm,四次剩余,三次剩余,Kk-数, C3-数, 确定型素性证明,ψm方法,猜想,算法分析与比较)
(含有奖问题1征解: ==〉5万元人民币只求一个反例 (不大也不小的整数))
第二组代表作(3篇, 单参数二次基测试和Williams数.关键词:Miller测试,双参数Lucas测试,BPSW测试,单参数二次基伪/概素数和强伪/概素数, 基计数函数, 出错概率计算公式,有限群(域),单参数二次基测试(OPQBT),最偶数(EDON),Carmichael数,Williams数,猜想)
(含有奖问题2征解: ==〉10万元人民币只求一个大整数.)
两组代表作之间的关系：打个比方,如果把第一组代表作研究的问题(强伪素数和Miller测试)比作商品交易中的条形码,那么第二组代表作研究的问题(二次基伪素数和强伪素,BPSW测试及其单参数二次基版本OPQBT)就是二维码.再打个比方,如果把Miller 测试比作钢筋,Lucas测试比作石头,那么BPSW测试及其单参数二次基版本OPQBT就是混凝土.通过这两个比方就不难明白“为什么BPSW测试比单独仅用Miller测试或Lucas测试要安全得多？”和“为什么难找到BPSW测试的反例 (把混凝土拉断或压垮的力量)?”这两个问题---钢筋耐拉不耐压, 石头耐压不耐拉.--(难理解的数学问题有时可用生活中的例子来比喻,就显得易于理解了.)
2023-08-08