在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
~对拍~ 一般的刷题时间,机房里的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\n", i, ed-st); } } } 对拍的流程和方式基本如此,感觉这么简单的玩意也没啥好说的 哎对...对拍是用来造数据的(大雾 |
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论