算法竞赛入门经典chapter4：4-1孪生素数

如果n和n+2都是素数，则称他们是孪生素数。输入m，输出连个数均不超过m的最大孪生素数。5<=m<=10000.例如m=20时的答案是17、19，m=1000时的答案是881、883.

#include<iostream>
#include<cmath>
#include<assert.h>
using namespace std;
/*
bool is_primer(int x)
{
    for(int i = 2; i*i <= x; ++i)   //中间值可能会溢出
        if(x%i == 0)    return false;
    return true;
}
*/
//建议把谓词（用来判断某事物是否具有某种特性的函数）命名成“is_xxx”的形式。
//编写函数时，应尽量保证它能对任何合法参数都能得到正确的结果。如若不然，
//应在显著位置标明函数的缺陷，以避免误用
//--------------------------改进之后----------------------------
bool is_primer(int x)
{
    //被1和它本身整除的、大于1的整数称为素数。
    assert(x >= 0);//用assert宏来限制非法的函数调用：当x>=0不成立时，程序就将异常终止，
    //并给出提示信息。检查非法参数是很有用的：当算法很复杂时，一不小心就会用非法参数
    //调用默写自定义函数，如果函数不对参数进行检查，则很可能让整个程序得到一个荒唐的
    //结果。如果函数调用关系非常复杂，是难以查处错误的根源的。如果每个函数都检查参数，
    //就能较快地找出“罪魁祸首”
    int m = floor(sqrt(x)+0.5);//使用变量m，避免重复计算sqrt(n)，另一方方面也通过
    //四舍五入避免了浮点误差-如果sqrt“不小心”吧某个本应该是整数的值弄成了xxx.99999，
    //也将被修正，但直接些m=sqrt(x)的话那个“.99999”会被无情的截掉。
    //#include <math.h>  double floor( double arg );floor函数返回参数不大于arg的最大整数
    if(x == 1)  return false;
    for(int i = 2; i<= m; ++i)
    {
        if(x%i==0)
            return false;
    }
    return true;
}
int main()
{
    int m;
    while(cin >> m)
    {
        for(int i = m-2; i >= 3; --i)
        {
            if(is_primer(i) && is_primer(i+2))
            {
                cout << i << "、" << i+2 << endl;
                break;
            }
        }
    }
    return 0;
}

//编译时合理地利用assert宏，讲给调试带来很大的方便。是编写的程序质量更高。