NJUPT-数据结构与算法分析 素数判定和生成

一、问题描述

1.课题内容

该系统要求实现一种快速判定和生成大素数，并简单验证哥德巴赫猜想。（注：素数即只能被1和本身整除的正整数；哥德巴赫猜想：任何一个大于6的偶数都可以表示成两个素数之和。）

2.要求实现的功能或函数

[1] 设计并实现一种大素数随机生成方法；
[2] 实现一种快速判定任意一个大数是否是素数方法（如：Rabin Miller素数测试法）；
[3] 验证10000以内数的哥德巴赫猜想。

二、算法设计

• Prime.java用于生成一个大素数；
• RabinMiller.java用于快速判断；
• GoldBach.java用于验证哥德巴赫猜想；
• View.java用于设计图形界面，作为程序的入口。

Prime.java

Prime类用来生成一个大素数，先随机生成一个指定长度的大整数，再判断该整数的奇偶性,遍历接下来可能是素数的大整数，调用java的isProbalePrime函数，如果是，则保存在成员变量results里。

RabinMiller.java

1.求出合适的m和k使得 n-1 = m*2^k
2.做times次循环
3.随机生成一个大于1小于n的合适的值给a
4.求出x =a^m(mod n)
5.在k次循环
6.y=x^2（mod n），y=1 x！= x！=n-1同时成立则是合数
7.更新 x的值 继续k重循环
8.k重循环结束，如果y不等于1，则是合数
9.如果以上未退出则返回真值是素数

GoldBach.java

用RabinMiller的验证方法，将10000以内的所有素数保存在一个integer类型的数组里。之后遍历所有大于等于6小于等于10000的偶数，从素数数组里寻找两个符合条件的素数，满足条件即输出。

View.java

作为程序的入口和图形界面的构造类。

三、界面

四、实现细节

LargePrime源码