谁适合看这篇文章?
ACMERS,OIERS或其它参加算法竞赛或需要算法的人
对操作系统并不太熟悉的人
不会写对拍的人
在网上找不到一个特别详细的对拍样例的人
不嫌弃我写的太低幼的人
前言
在NOIP或是ACM比赛中,一个对拍程序的重要性不言而喻,再有一个效率较低的正确程序下(这是大前提,如果你连一个绝对正确的程序都无法保证的话,那还是不要考虑对拍了),他可以检验你的“高级算法”是不是正确。当然,正确性是完全无法保证的。一般对拍都会用随机函数生成数据,边界条件极限条件极有可能遇不上,也会有很多对拍程序NP交上去WA的情况。但对拍的效率是毋庸置疑的,他有很大的几率检查出你的程序中的错误,或许能多得上不少分。从数学期望角度来讲,对拍还是很划算的。
配置
电脑系统:Windows XP
PASCAL编译器:Free Pascal 2.4.0
过程
我们以a+b问题为例:
首先你要写一个完全正确的程序
a.pas
然后你要写一个不一定完全正确的程序
b.pas
(当然,由加法交换律可知这个程序也完全正确)
数据生成器也是需要我们自己写的
maker.pas
这里只需要写出一组数据的生成就可以了,不用去做下面这样的东西,这样反而会让对拍无法进行,聪明的系统会一遍一遍的调用你的数据生成器的。
while true do begin randomize; write(random(maxint)); end;
再编译程序,可以不去运行。
(虽然我知道几乎没有人会这么干,不过我还是想提一句,一定要编译程序啊亲!)
然后我们右键桌面上IDE的快捷方式,打开属性:
点击查找图标,到了这样一个文件夹:
为了方便查找,我们可以按修改时间排序,"xx.pas"是我们的源码,但这不是我们想要的,“xx.exe”才是我们的目标,于是我们把用蓝线标注的三个exe文件取出来,单独放到一个地方。
接着是关键的一步,我们需要一个什么东西实现这个对拍功能。
当当当当!某bat文件闪亮登场:它把数据生成器和你的两个程序集合在一起,有机的做到比较%……&&……¥%#¥%#¥@%#¥
好,我们新建一个txt文件(其实什么文件都行,有后缀名不是文件夹什么的就行),把它改成"xx.bat"这样的格式,bat是文件后缀,然后用记事本打开,在里面输入
:loop
maker.exe
a.exe
b.exe
fc out.txt out.txt
if errorlevel 1 goto end
goto loop
:end
这是DOS语言,意思差不多是这样的:
loop//循环
maker.exe//运行 数据生成器
a.exe//运行 正确程序
b.exe//运行 待检测程序
fc o1.txt o2.txt//比较 两个程序的输出结果
if errorlevel 1 goto end//如果 有错误(两个输出文件不一样) 就跳到end
goto loop//跳到loop
:end
就像这样:
我们把bat哥和那三个exe拉到一块,就F盘吧
都准备好了,怎么运行呢?
点开你的开始菜单,打开运行,输入cmd后点确定
(PS:cmd命令提示符可是程序猿必备神器,不会cmd都不好意思出门了)
把当前处理位置移到你放对拍程序的地方,输入你的对拍程序名
按下回车,看你的程序“哗哗哗”的运行就好了
诶?怎么没有结果,我怎么知道对不对?
不对人家会停止的,如果程序一直在跑还想查看结果的话可以右键
找不到,相异处,两个程序结果吻合,OK了。
(一个A+B吻合有什么软用吗o(╯□╰)o)
PS:
1.程序检测的是执行程序,而不是源程序。所以每改一次源程序都要编译一次。
2.dos中不识别 .in .out 文件,所以要用 .txt
3.衷心希望这篇文章能对大家有所帮助,谢谢。