对拍：本地随机数据评测系统 LRDTS

对拍：本地随机数据评测系统 LRDTS

在OI或者是ACM竞赛中，代码的提交只能有\(1\)次机会，或者每一次提交错误都会增加罚时，使得成绩被影响。

竞赛中题目通常会有小样例，但其数据强度无法保证，你不一定能通过测试这些样例来让程序bug free。

因此，如何在计算机本地生成海量数据，并测试待提交程序的正确性就是亟需解决的问题。

现在以下面一个题目为例，我们来讨论这种方法。

a+b Problem

现在有\(a,b\)两个非负整数，请输出\(a+b\)的值。

对于\(100\%\)的数据满足\(0 \leq a,b\leq 10^{1000}\)

上述问题，可以用高精度来解决，时间复杂度为\(O(lga + lg b)\)

// sol.cpp
# include <bits/stdc++.h>
using namespace std;
const int MAX=1e3+10;
int main(void) {
	char str[MAX];
	int arr1[MAX]={0},arr2[MAX]={0},len,len1,len2,i,j;
	scanf("%s",str);
	len1=strlen(str);
	for(i=0;i<len1;i++)
		arr1[i]=str[len1-1-i]-'0';
	scanf("%s",str);
	len2=strlen(str);
	for(i=0;i<len2;i++)
	    arr2[i]=str[len2-1-i]-'0';
	len=(len1>len2)?len1:len2;
	for(i=0;i<len;i++)
	{
		arr1[i+1]+=j=(arr1[i]+arr2[i])/10;
		arr1[i]=(arr1[i]+arr2[i])%10;
	}    
	if(j)len++;
	for(i=0;i<len;i++)	
	    printf("%d",arr1[len-1-i]);
	return 0;    
}

当然，在数据范围较小的情况下，下面的简单程序也可以实现相关功能。

// std.cpp
# include <bits/stdc++.h>
using namespace std;
int main() {
	int a,b; scanf("%d%d",&a,&b);
	printf("%d\n",a+b);
	return 0;
}

为了生成一组随机数据，我们还需要一个自动生成数据的程序，需要保证每次生成的数据都是不同的。

// maker.cpp
# include <bits/stdc++.h>
using namespace std;
int main()
{
	srand(time(NULL)*10007);
	printf("%d %d\n",rand(),rand());
	return 0;
}

其中srand(time(NULL)*10007);代码是让随机种子按照时间变化，这可以保证每次生成的数据都是不同的。

请注意，现在将三个cpp文件放在同一个子目录内，并编译生成对应exe文件，等待调用。

若修改cpp文件，也需要重新编译生成对应exe文件，请时刻保证exe文件和cpp文件的对应关系。

接下来，我们需要一个程序，按照如下顺序执行：

• 执行maker.exe生成输入数据a.in
• 输入数据a.in到std.exe生成标准答案std.out
• 输入数据a.in到sol.exe生成待检测答案sol.out
• 比较std.out和sol.out，若完全相同则重新执行上述操作，否则跳出循环以提示。

这个简单的程序，可以用系统自带的bat文件实现：

:loop
maker > a.in
std < a.in > std.out
sol < a.in > sol.out
fc std.out sol.out
if not errorlevel 1 goto loop

我们可以先用记事本编写上述代码dp.txt，并将其后缀名改为.bat放在相同目录下。

如图所示，下面是一个正确的子结构：

-----| 对拍

------------| std.cpp std.exe

------------| sol.cpp sol.exe

------------| maker.cpp maker.exe

------------| dp.bat

需要对拍时，双击打开dp.bat文件即可。

一定时间内，dp.bat仍在运行，说明您的解答正确性较高，否则您的答案有wa的风险，一个错误数据在a.in中

需要说明的是：在本地通过对拍的程序，也有可能在提交评测的时候得到wa的结果，因此本地评测只能作为参考