博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
关于CCR测评器的自定义校验器(Special Judge)
阅读量:6759 次
发布时间:2019-06-26

本文共 5099 字,大约阅读时间需要 16 分钟。

引言

有时我们需要使用CCR测评器(CCR-Plus是一个开源的信息学竞赛测评软件,Github链接https://github.com/sxyzccr/CCR-Plus)进行SpecialJudge(以下简称SPJ)。例如判断选手输出与标准输出的差距,大于一定的值就算错,这时就需要用SpecialJudge了。

在CCR测评器中,SPJ是用一项叫做自定义校验器的功能实现的。CCR的文档没有写明校验器的语法,网上也没有这一类的信息。于是,我在CCR的源代码中找到了CCR的默认校验器(全文比较),并将校验器的写法写成此篇博客。

正文

SPJ程序的位置

编译好的SPJ程序放在\data\prob\目录下(prob是题目名)。

如何写SPJ校验器

查看CCR默认全文比较校验器源代码:

// https://github.com/sxyzccr/CCR-Plus/blob/master/src/tools/checker/fulltext_utf8.cpp#include 
#include
#include
#include
#include
using namespace std;string In, Out, Ans, Log;FILE* fout, *fans, *flog;void End(const string& info, double x, int state = 0){ fprintf(flog, "%.3lf\n%s\n", x, info.c_str()); exit(state);}inline void filter(string& s){ for (; s.size() && isspace(s[s.size() - 1]); s.erase(s.size() - 1));}string elided(const string& s, int p){ string pre = "", suf = ""; for (int i = 0; i < p; i++) pre.push_back(s[i]); if (pre.size() > 3) pre = string("…") + pre.substr(pre.size() - 3, 3); int l = s.size() - p; if (pre.size() + l >= 13) l = 11 - pre.size(), suf = "…"; for (int i = 0; i < l; i++) pre.push_back(s[p + i]); return pre + suf;}int compare(const string& a, const string& b){ int la = a.length(), lb = b.length(); for (int i = 0; i < la && i < lb; i++) if (a[i] != b[i]) return i; return la != lb ? min(la, lb) : -1;}void Open(){ if (Log.size()) flog = fopen(Log.c_str(), "w"); else flog = stdout; if (flog == NULL) exit(1); if ((fans = fopen(Ans.c_str(), "r")) == NULL) exit(1); if ((fout = fopen(Out.c_str(), "r")) == NULL) exit(1);}void Check(){ char s[256]; for (int i = 1; !feof(fout) || !feof(fans); i++) { string s1 = "", s2 = ""; char c1 = -1, c2 = -1; for (; !feof(fans) && (c1 = fgetc(fans)) != '\n';) if (c1 != -1) s1.push_back(c1); for (; !feof(fout) && (c2 = fgetc(fout)) != '\n';) if (c2 != -1) s2.push_back(c2); if (feof(fout) && s1 != "" && s2 == "") { if (i == 1) End("选手输出为空", 0); sprintf(s, "第%d行 标准输出:\"%s\" 选手输出已结尾", i, elided(s1, 0).c_str()); End(s, 0); } if (feof(fans) && s1 == "" && s2 != "") { sprintf(s, "第%d行 标准输出已结尾 选手输出:\"%s\"", i, elided(s2, 0).c_str()); End(s, 0); } filter(s1), filter(s2); int p = compare(s1, s2); if (p >= 0) { sprintf(s, "第%d行 标准输出:\"%s\" 选手输出:\"%s\"", i, elided(s1, p).c_str(), elided(s2, p).c_str()); End(s, 0); } }}int main(int argc, char* argv[]){ In = ""; Ans = argc < 3 ? "" : argv[2]; Out = argc < 4 ? "" : argv[3]; Log = argc < 5 ? "" : argv[4]; Open(); Check(); End("", 1);}

 

SPJ程序需要两个必要的函数:

FILE* fout, *fans, *flog;void End(const string& info, double x, int state = 0){    fprintf(flog, "%.3lf\n%s\n", x, info.c_str());    exit(state);}void Open(){    if (Log.size()) flog = fopen(Log.c_str(), "w"); else flog = stdout;    if (flog == NULL) exit(1);    if ((fans = fopen(Ans.c_str(), "r")) == NULL) exit(1);    if ((fout = fopen(Out.c_str(), "r")) == NULL) exit(1);}

  

Open()是进行程序的初始化,End则是返回分数和备注。

当CCR需要调用校验器时,它会向SPJ程序传递一个参数数组argv[]。数组的第二项为标准答案,第三项为选手答案,第四项为一些日志。

当程序开始时,我们先获取这几个参数。

int main(int argc, char* argv[]){    string In, Out, Ans, Log;    In = "";    Ans = argc < 3 ? "" : argv[2];    Out = argc < 4 ? "" : argv[3];    Log = argc < 5 ? "" : argv[4];    //Ans和Out变量存储的是标准答案和选手答案的路径}

  

接下来我们需要读入标准答案和选手答案。我们使用freopen重定向到答案文件。

Open();//初始化,这句很重要。double answer,output;//标准输出和选手输出freopen(Ans.c_str(),"r",stdin);//重定向到标准输出cin>>answer;//读入freopen(Out.c_str(),"r",stdin);//重定向到选手输出cin>>output;//读入

  

接下来是判断,具体的读入和判断过程因题目而异。

判断完成后需要使用End函数返回结果。End函数的使用很简单,第一个参数是要显示在测评记录上的字符串,第二个参数是double类型的,表示分数百分比,是一个0-1的值(例如这个测试点为10分,这个参数为0.6,那么这个测试点最终得分就是6分)。

if (abs(ans-output)>0.02){    End("与标准答案相差过大",0);    }else{    End("",1);    }

  

最终的SPJ代码就是这样:

#include 
#include
#include
#include
#include
FILE* fout, *fans, *flog;void End(const string& info, double x, int state = 0){ fprintf(flog, "%.3lf\n%s\n", x, info.c_str()); exit(state);}void Open(){ if (Log.size()) flog = fopen(Log.c_str(), "w"); else flog = stdout; if (flog == NULL) exit(1); if ((fans = fopen(Ans.c_str(), "r")) == NULL) exit(1); if ((fout = fopen(Out.c_str(), "r")) == NULL) exit(1);}int main(int argc, char* argv[]){ string In, Out, Ans, Log; In = ""; Ans = argc < 3 ? "" : argv[2]; Out = argc < 4 ? "" : argv[3]; Log = argc < 5 ? "" : argv[4]; //Ans和Out变量存储的是标准答案和选手答案的路径 Open();//初始化,这句很重要。 double answer,output;//标准输出和选手输出 freopen(Ans.c_str(),"r",stdin);//重定向到标准输出 cin>>answer;//读入 freopen(Out.c_str(),"r",stdin);//重定向到选手输出 cin>>output;//读入 if (abs(ans-output)>0.02){ End("与标准答案相差过大",0); }else{ End("",1); } return 0;}

  

 

在CCR的高级配置中从下拉菜单选择这个校验器,就可以使用这个校验器测评这道SPJ题了。

转载于:https://www.cnblogs.com/abc2237512422/p/9063591.html

你可能感兴趣的文章
Cocos2d-js-v3.2 在 mac 上配置环境以及编译到 Andorid 的注意事项(转)
查看>>
android开源项目学习
查看>>
提升Mac os x 10.10+xcode6.1之后,Cocoapods发生故障的解决方案
查看>>
Developer Tool - 1. Text Tool and GNU/Linux Tool
查看>>
OAuth 2.0 安全案例回顾
查看>>
标准API使用小技巧
查看>>
jQuery Validate插入 reomte使用详细的说明
查看>>
科普:揭秘手机软件自启原理
查看>>
lintcode :搜索二维矩阵
查看>>
前端设计js+Tab切换可关闭+添加并自动判断是否已打开自动切换当前状态(转载)...
查看>>
for循环,如何结束多层for循环
查看>>
段树 基于单点更新 敌人阵容
查看>>
java中取得上下文路径的方法
查看>>
Tomcat通过配置一个虚拟路径管理web工程
查看>>
如何自定义FusionCharts图表上的工具提示?
查看>>
正则表达式 \b (转)
查看>>
Spring、Hello Spring
查看>>
jmap,jhat分析内存
查看>>
设计模式学习之状态模式:请假流程
查看>>
JSP的九个隐式对象
查看>>