浅谈spj

SPJ（special judge）是个好玩的东西，毕竟各类神奇的题目SPJ经常作为救火工具（比如说一不小心出成验证类的题目）。

但SPJ是个坑，毕竟只让用个“testlib.h”，输入还特别奇怪。今天我就带大家来玩一玩这个奇怪的东西

写在前面：

本来已经退役了暂时不打算补坑，但今天遇上了静静（我们教练）让我教她SPJ，于是索性把这篇文章的坑补完

一、明确内容

SPJ总体上主要分两大类：精度判断（lemon上叫实数比较）和方案验证。这两个东西其实思路完全不是一码事。

不过由于都是基于SPJ比较的大框架，所以都被归入SPJ。在开动之前我们必须明确你到底要写哪个，不然可能绕来绕去费上老半天劲儿还得返工。

二、操作简介（以下内容部分来自luogu的SPJ帮助，但是有部分修改，请小心食用）

1.读入部分

void registerTestlibCmd(argc, argv)

初始化checker，必须在最前面调用一次。

char a=readChar()

读入一个char，指针后移一位。

char a=readChar(char c)

和上面一样，但是只能读到一个字母c

char a=readSpace()

同 readChar(' ').

string a=readToken()

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

long long a=readLong()

读入一个longlong/int64

long long a=readLong(long long L, long long R)

同上，但是限定范围（包括L，R）

int a=readInt()

读入一个int

int a=readInt(int L, int R),

同上，但是限定范围（包括L，R）`

double a=readReal()

读入一个实数

double a=readReal(double L, double R),

同上，但是限定范围（包括L，R）

double a=readStrictReal(double L, double R, int minPrecision, int maxPrecision),

读入一个限定范围精度位数的实数。

string a=readString(),
string a=readLine()

读入一行string，到换行或者eof为止

void readEoln()

读入一个换行符

void readEof()

读入一个eof

int a=eof()

2.输出部分

给出AC

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

给出WA

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

给出PC(Partially Correct)，并且可以获得该点50%的分数

quitp(0.5,"Partially Correct get %d percent", );

步骤分解：

关于输入：

输入部分没有什么好强调的，写过快读的同学都知道正确的写法。定义一个变量等于输入函数返回的值即可。

但需要注意的是，SPJ不是一个普通的C++程序，他使用的库是

#include“testlib.h”

所以，C++的很多操作在SPJ里是不能使用的。典型代表就是输入输出。你能且仅能使用上面提供的的读入方式。"cin"，“printf”之类的东西都会让你CE

关于输出：

一句话说不清，各位请看下图

AC版

引号里的内容等价于上图的黑底白字部分

WA版

PC版（这个与上面的稍有不同）

三、实例分析

精度判断

精度判断相对于后者很简单，因为精度判断其实基本与常规评测模式并无差异。我们通常只需要判断选手答案与正确答案的差异是否在精度范围内。

所以使用SPJ的方式读入标准答案文件与选手输出文件，进行进度比较即可。

实战样例：

luoguP2164

这道题的SPJ属于典型的精度比较类

因为保留一位小数，所以存在向下，向上，四舍五入等多种保留方式（题目中并没有规定）

所以我们考虑规定误差为0.1，直接误差比较即可

实例代码：

#include"testlib.h"//专属头文件不可少
using namespace std;
#define rii register int i
double eps=0.1;
int n,m;
int main(int argc,char *argv[])//流文件操作莫忘掉
{
    registerTestlibCmd(argc,argv);//初始化checker要记牢
    n=inf.readInt();
    m=inf.readInt();
    for(rii=;i<=m;i++)
    {
        double a1=ans.readDouble();
        double a2=ouf.readDouble();
        if(abs(a1-a2)>eps)//貌似cmath库直接集成，不需要自己写
        {
            quitf(_wa,"wrong answer on line %d",i);//给出错误结果
        }
    }
    quitf(_ok,"correct answer");//给出正确结果
    return ;
}

 luoguP3516

这是一个典型的验证类SPJ

给定一个方案，让你检验是否能达到要求的目的

两类操作：

(a) 将最后一个数移到最前面

(b) 把第三个数移到最前面

对于每个操作，我们简单的写一个双向链表维护即可

然后对于完成所有操作的序列，我们需要进行一次比较

判断得出的序列与给定的标准序列是否相同

然后按位比较即可

具体操作详见代码中的注释（以码风为界，分别为我和苏卿念写的【哪个是谁靠自己猜吧】）

#include "testlib.h"
#include <ctime>
using namespace std;
struct lb{
    int pre,nxt,val;
}x[];
int n,cnt,head,tail;
void ltof(int num)//一号双向链表操作，把末尾的元素移到头部
{
    while(num--)
    {
        int ls=x[tail].pre;
        x[ls].nxt=;
        x[tail].nxt=head;
        x[tail].pre=;
        x[head].pre=tail;
        head=tail;
        tail=ls;
    }
}
void ttof(int num)//二号双向链表操作：第三个移到第一个
{
    while(num--)
    {
        int cnt=;
        int ls=head;
        for(int i=;i<=;i++)
        {
            ls=x[ls].nxt;
        }
        int forth=x[ls].nxt;
        int kkk=x[ls].pre;
        x[forth].pre=kkk;
        x[kkk].nxt=x[ls].nxt;
        x[ls].pre=;
        x[ls].nxt=head;
        x[head].pre=ls;
        head=ls;
    }
}
void change(int num,int cz){//此函数用于判断操作
    if(cz==) ltof(num);
    else ttof(num);
}
char opt;int now;
char pos;
int m;
int main(int argc,char *argv[]) {//真正的spj主程序开始了
    registerTestlibCmd(argc,argv);、、初始化输入
    n=inf.readInt();
    for(int i=;i<=n;i++) x[i].val=inf.readInt(),x[i].pre=i-,x[i].nxt=i+;//输入原始序列，并构造链表
    head=,tail=n;int qnt=;
    opt=ans.readChar();//读入操作类型
    if(opt=='N') {//判断操作类型
        pos=ouf.readChar();//读入操作数
        if(pos!='N') quitf(_wa,"expect NIE found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!='I') quitf(_wa,"expect IE found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!='E') quitf(_wa,"expect E found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos=='\n'||pos==||pos==) quitf(_ok,"the answer ios corect .score:qaq");
        if(pos!=' ') quitf(_wa,"expect  found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!='D') quitf(_wa,"expect DA found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!='A') quitf(_wa,"expect A found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!=' ') quitf(_wa,"expect   found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!='S') quitf(_wa,"expect SIE found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!='I') quitf(_wa,"expect IE found %c.score:pqp",pos);
        pos=ouf.readChar();
        if(pos!='E') quitf(_wa,"expect E found %c.score:pqp",pos);
        quitf(_ok,"the answer ios corect .score:qaq");
    }
    m=ouf.readInt();

    if(n==&&m==) {quitf(_ok,"correct answer");return ;}
    else if(n==) {quitf(_wa,"wrong answer");return ;}
    for(int i=;i<=m;i++){
        pos=;now=;
        pos=ouf.readChar();
        while(pos>''||pos<'') pos=ouf.readChar();
        while(pos<=''&&pos>='') now=now*+pos-'',pos=ouf.readChar();
        if(now<=||now>n) quitf(_wa,"wrong output on operation %d,found %d,expect in [ 1 , %d ] .score:vov",i,now,n);
        if(pos=='b') now%=;
        if(pos=='a') now%=n;
        change(now,pos=='b');

    }
    int wz=head;
    while(wz!=tail){
        int nxt=x[wz].nxt;
        if(x[nxt].val<x[wz].val){
            quitf(_wa,"wrong answer");
            return ;
        }
        wz=nxt;
    }
    if(x[x[tail].pre].val>x[tail].val) quitf(_wa,"worong answer ");
    else quitf(_ok,"correct answer ");
    return ;
}

未完待续……