Special Judge

简称 SPJ，这是针对用户输出的特判。比如，根据题面求解出来的答案可能存在多个，这样就无法定义一个准确的输出文件来判断用户是否正确，这时就需要 SPJ。或者允许用户的输出在某一精度范围内是正确的。

SPJ 是一个用C、C++写的可执行程序，其返回值决定着判断结果，成功返回(0)表示AC，其他非零值表示WA。

SPJ 的编译参数为：g++ -fno-asm -std=c++11 -O2 ，即已经开启C++11以及O2优化。

请确保 SPJ 程序的正确运行，也未调用与判题无关的系统函数，当 SPJ 在 OJ 中编译出错或运行出错时，OJ 不会给出反馈。

spj 输出到 stderr(标准错误) 的内容将会被记录到用户错误数据点中。

下面给出两种写 SPJ 的方法，采用其中一种即可。

示例一：

#include <stdio.h> #define AC 0 #define WA 1 const double eps = 1e-4; int main(int argc,char *args[]) { FILE * f_in = fopen(args[1],"r"); FILE * f_user = fopen(args[2],"r"); FILE * f_out = fopen(args[3],"r"); int ret = AC; /**************判题逻辑**************/ /** * 以下判题逻辑代码只是举例：输入有 t 组数据，写 spj 来判断每组数据测试输出与用户输出之差是否在 eps 之内。 */ int t; double a, x; fscanf(f_in, “%d”, &t); //从输入中读取数据组数 t while (t-–) { fscanf(f_out, “%lf”, &a); //从读取测试输出 fscanf(f_user, “%lf”, &x); //从读取用户输出 if(fabs(a-x) > eps) { ret = WA;//Wrong Answer // 或使用 fprintf(stderr, "结果误差过大\n"); 输出到 标准错误 时，会被错误数据点记录下来 std::cerr << "答案：" << a << " 你的输出：" << x << "。结果误差过大" << std::endl; break; } } /***********************************/ fclose(f_in); fclose(f_out); fclose(f_user); return ret; }

示例二：

当前 OJ 采用了跟 Codeforces 一样的 SPJ 标准，即Testlib库。

下载地址： https://github.com/MikeMirzayanov/testlib

当标准输出和选手输出的差小于0.01，那么可以AC，否则WA。

#include "testlib.h" int main(int argc, char* argv[]) { registerTestlibCmd(argc, argv); double pans = ouf.readDouble(); double jans = ans.readDouble(); if (fabs(pans - jans)<0.01) quitf(_ok, "The answer is correct."); else quitf(_wa, "The answer is wrong: expected = %f, found = %f", jans, pans); }

在程序中，有3个重要的结构体：inf指数据输入文件（本例没有），ouf指选手输出文件，ans指标准答案。

然后，可以从这3表结构体读入数据，不需要用到标准输入输出。如果读到的数据和下面的期望不一致，则spj返回fail结果。

这边继续给出一个多行（不定行数）的spj判断：

#include "testlib.h" int main(int argc, char* argv[]) { registerTestlibCmd(argc, argv); while(!ans.eof()){ double pans = ouf.readDouble(); double jans = ans.readDouble(); ans.readEoln(); if (fabs(pans - jans)>0.01) quitf(_wa, "The answer is wrong: expected = %f, found = %f", jans, pans); } quitf(_ok, "The answer is correct."); return 0; }

以下读入命令可以使用：

初始化checker，必须在最前面调用一次：void registerTestlibCmd(argc, argv)

读入一个char，指针后移一位：char readChar()

和上面一样，但是只能读到一个字母c：char readChar(char c)

同 readChar(' ')：char readSpace()

读入一个字符串，但是遇到空格、换行、eof为止：string readToken()

读入一个long long/int64：long long readLong()

同上，但是限定范围（包括L，R）：long long readLong(long long L, long long R)

读入一个int：int readInt()

同上，但是限定范围（包括L，R）：int readInt(int L, int R)

读入一个实数：double readReal()

同上，但是限定范围（包括L，R）：double readReal(double L, double R)

读入一个限定范围精度位数的实数：double readStrictReal(double L, double R, int minPrecision, int maxPrecision)

读入string，到换行或者eof为止:string readString(), string readLine()

读入一个换行符: void readEoln()

读入一个eof:void readEof()

输出：

给出 AC:quitf(\_ok, "The answer is correct. answer is %d", ans);

给出 WA:quitf(\_wa, "The answer is wrong: expected = %f, found = %f", jans, pans);

测试

使用编译器将该文件编译。在命令行中输入:

./spj in.txt out.txt ans.txt # Linux spj.exe in.txt out.txt ans.txt # Windows

其中in.txt out.txt ans.txt分别是放在同一目录下的输入文件、选手输出、标准答案。 程序将返回结果。