一、介绍 在做题或者正式比赛过程中,有时候因为样例有坑所以直接过了样例,然后拿去评测结果发现全WA。那如何在这种情况下检查自己程序或算法的正确性呢?对拍是一个简便省事的方案。
所谓“对拍”,顾名思义,就是让两者相互比对。所谓“两者”,一是你要测试的程序,二是一个答案在该程序在一定范围(时间/空间)内结果必定正确的程序(一般是用暴力求解的程序)。
两个程序准备好编译好了以后,就可以开始准备测试用的输入样例了。但是输入样例要是人为准备起来的话肯定浪费时间还费脑,更别提在正式比赛的时候了。人脑靠不住,那就靠电脑。
为了让测试的样例更全面,我们可以用伪随机数的方法。我们需要用到这几个的头文件:
代码语言:javascript代码运行次数:0运行复制#include
#include
最后将变量严格按输入格式输出就好了,后续步骤可以把输出的数据添加到 .in文件里。
有了相比对的程序,有了随机数生成器,现在就差一个“发动机”兼“处理机”了。
为了进行多次对拍以及处理对拍程序输出的异同,我们需要一个程序可以进行给定次数下的对拍,并且在有结果不同时停止。写这个程序时需要用到这个头文件:
代码语言:javascript代码运行次数:0运行复制#include
二、程序举例1 add.cpp代码语言:javascript代码运行次数:0运行复制#include
int main()
{
int a,b;
scanf("%d %d", &a, &b);
printf("%d\n", a+b);
return 0;
}2 add2.cpp对照程序代码语言:javascript代码运行次数:0运行复制#include
int main()
{
int a,b;
scanf("%d %d",&a, &b);
while(b--)
{
a++;
}
printf("%d\n", a);
return 0;
}注意,假如a + b = c,则b自减1和a自加1后,仍有a + b = c。所以这个程序可以用来检验上一个加法程序是否正确。
3 data.cpp生成随机数据代码语言:javascript代码运行次数:0运行复制#include
#include
#include
using namespace std;
int main()
{
srand(time(0));
int a,b;
a=rand();
b=rand();
printf("%d %d",a,b);
return 0;
}4 对拍程序代码语言:javascript代码运行次数:0运行复制#include
#include
using namespace std;
int main()
{
int cnt = 100;
while(cnt--)
{
system("g++ data.cpp -o data"); // compile to generate data.exe
system("data > a+b.in"); // run data.exe to generate data, and write the data to a+b.in
system("g++ add.cpp -o add");
system("add < a+b.in > add.out"); // force.exe read data from a+b.in, then write the result to force.out
system("g++ add2.cpp -o add2");
system("add2 < a+b.in > add2.out");
if(system("fc add.out add2.out")) // file compare
{
break;
}
}
system("pause");
return 0;
}运行duipai.cpp后,所得结果为