~对拍~
一般的刷题时间,机房里的Dalao们用来检查代码的方式还是会以手造毒瘤数据为主,手造数据更方便完全回顾代码,且规模一般较小,调试起来也容易。美中不足的是较小范围的数据很可能触及不到数据的边界,以致该发现的问题没发现,交到OJ测评姬上被毒瘤数据反手一枪秒了。
对拍是一种全自动的验证程序。首先,你需要一个std和一个暴力解法。一段合格的std应该具有如下特点:思路正确,复杂度比暴力优,能编译过去(大雾,小规模数据(比如样例或者某些手造数据)可以轻松通过并合乎标准。而你的暴力解法则需要有以下特点:真的暴力,复杂度比std低一些,完全保证的正确性(暴力都写不对还想要部分分?),能够尽快处理大规模数据(看似矛盾,但其实只要能在截止前提交就行,对拍所用的时间简直不值一提)。
当然,有了标程,就不能缺少数据生成器,不然再nb的std也排不上用场。数据生成器所生成的数据应该尽可能的,完全的随机(Windows的伪随机数真是让人泪目,Linux环境下则要好很多),而且永远永远要合乎题意,当你生成一堆错误的数据去对拍,结果可想而知。
对拍的基本流程就是先用一个输入来获得std和暴力的两组输出,判断这两组输出是否完全相同,如果完全相同,哦那没事了,下一组。如果两者有地方不一样(不是那些空格啊换行之类零碎而无关紧要的东西),那说明肯定是std出了问题(暴力保证正确的情况下)。如果无法保证暴力算法的正确性,那么可以对小规模数据进行手动模拟,对大规模数据进行估算等等操作,方便我们找出哪个算法是内鬼(也许两个都是内鬼也不一定(大雾。
那我们搞个板子来看一下
如果你喜欢写.bat文件
那可以这么写
@echo off :loop MakeData.exe std.exe Baoli.exe fc std.out Baoli.out if not errorlevel 1 goto loop pause :end
平时这样写倒是无伤大雅,但问题是考试的时候用的是Linux...
于是乎我们可以使用另一种方法
用C++编译一个对拍文件并运行
#include <ctime> #include <cstdio> #include <cstdlib> #include <iostream> using namespace std; int main() { for(int i = 1; i <= 1000; i++) { system("random.exe"); double st = clock(); system("quq.exe"); double ed = clock(); system("qwq.exe"); if(system("fc data.out data.ans")) { puts("Wrong Answer"); return 0; } else { printf("AC in #%d, time: %.0lfms ", i, ed-st); } } }
对拍的流程和方式基本如此,感觉这么简单的玩意也没啥好说的
哎对...对拍是用来造数据的(大雾