以上程序输出所有不大于999的质数,产生格式化输出。程序采用筛选的思想对指定范围内的所有正整数进行排除,最后得以"幸存"的全部都为质数。该算法思想详见维基百科Sieve of Eratosthenes 相关条目。需要注意的是以上C++实现中的外层循环只用进行到sqrt(upper),证明如下:
假设存在一个非质数n,满足sqrt(upper) < n <= upper且它没有被程序排除,
则n可以写成n = k * t 的形式,这里k与t都是正整数,且k与t中至少有一个数小于sqrt(upper),否则会产生n > upper的矛盾。
不失一般性,假设这个数为t,那么在之前的循环中t已经被程序检查过,这里可以分为两种情况:
1. t不是任意一个小于t的正整数的整倍数
那么在内层循环中我们对所有的t * 2, t * 3, t * 4, ……, t * k, ……做过检查,必然使得数 t * k 被排除,矛盾。
2. 存在一个小于t的最小正整数d,且t是d的整倍数
那么在程序之前的外层循环中t被检查过,d作为t的倍数被排除。对于数 k * t, 它必然也是d的整倍数,同样会被排除,矛盾。
所以程序在外层循环时只需要对所有不大于sqrt(upper)的数进行检查即可,节省了相当一部分时间。