质数，又称素数，指在大于1的自然数中，除了1和该数自身外，无法被其他自然数整除的数。大于1的自然数若不是质数，则称之为合数。例如，5是个质数，因为其正因数只有1与5。7是个质数，因为其正因数只有1与7。而4则是个合数，因为除了1与4外，2也是其正因数。6也是个合数，因为除了1与6外，2与3也是其正因数。算术基本定理确立了质数于数论里的核心地位：任何大于1的整数均可被表示成一串唯一质数之乘积。为了确保该定理的唯一性，1被定义为不是质数，因为在因式分解中可以有任意多个1。
米勒-拉宾质数判定法是一种质数判定法则，利用随机化算法判断一个数是合数还是可能是素数。卡内基梅隆大学的计算机系教授盖瑞·米勒首先提出了基于广义黎曼猜想的确定性算法，由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯来大学的迈克尔·拉宾教授作出修改，提出了不依赖于该假设的随机化算法。
24是23与25之间的自然数，是一个合数，质因数有2和3。常见文化中有许多事物与24有关，例如一日有24小时、一年有24节气。
AKS质数测试是一个决定型质数测试算法 ，由三个来自印度坎普尔理工学院的计算机科学家，Manindra Agrawal、Neeraj Kayal和Nitin Saxena，在2002年8月6日发表于一篇题为质数属于P的论文。作者们因此获得了许多奖项，包含了2006年的哥德尔奖和2006年的富尔克森奖。这个算法可以在多项式时间之内，决定一个给定整数是质数或者合数。
费马素性检验是一种质数判定法则，利用随机化算法判断一个数是合数还是可能是素数。
质数，又称素数，指在大于1的自然数中，除了1和该数自身外，无法被其他自然数整除的数。大于1的自然数若不是质数，则称之为合数。例如，5是个质数，因为其正因数只有1与5。7是个质数，因为其正因数只有1与7。而4则是个合数，因为除了1与4外，2也是其正因数。6也是个合数，因为除了1与6外，2与3也是其正因数。算术基本定理确立了质数于数论里的核心地位：任何大于1的整数均可被表示成一串唯一质数之乘积。为了确保该定理的唯一性，1被定义为不是质数，因为在因式分解中可以有任意多个1。
伪素数是指满足素数的某种性质，但并不一定是素数的数。根据所满足的性质的不同可以划分不同种类的伪素数。其中最有名的伪素数是满足费马小定理的合数，即费马伪素数。
米勒-拉宾质数判定法是一种质数判定法则，利用随机化算法判断一个数是合数还是可能是素数。卡内基梅隆大学的计算机系教授盖瑞·米勒首先提出了基于广义黎曼猜想的确定性算法，由于广义黎曼猜想并没有被证明，其后由以色列耶路撒冷希伯来大学的迈克尔·拉宾教授作出修改，提出了不依赖于该假设的随机化算法。
强伪质数是指一种能通过米勒-拉宾检验的合数。所有质数都能通过这个检验，但有一小部分合数也能通过这个检验。根据费马小定理的推论，强伪质数也是伪质数。
质数，又称素数，指在大于1的自然数中，除了1和该数自身外，无法被其他自然数整除的数。大于1的自然数若不是质数，则称之为合数。例如，5是个质数，因为其正因数只有1与5。7是个质数，因为其正因数只有1与7。而4则是个合数，因为除了1与4外，2也是其正因数。6也是个合数，因为除了1与6外，2与3也是其正因数。算术基本定理确立了质数于数论里的核心地位：任何大于1的整数均可被表示成一串唯一质数之乘积。为了确保该定理的唯一性，1被定义为不是质数，因为在因式分解中可以有任意多个1。
Mini wiki
