Special Judge

一道题如果有多组解,我们就需要一个程序来判断答案合法性,这便是 Special Judge (spj),又常被称作 checker,下面介绍部分评测工具/OJ 的 spj 编写方法。

Warning

spj 还应当判断文件尾是否有多余内容,及输出格式是否正确(如题目要求数字间用一个空格隔开,而选手却使用了换行)。但是,目前前者只有 Testlib 可以方便地做到这一点,而后者几乎无人去特意进行这种判断。

浮点数时应注意 nan,不合理的判断方式会导致输出 nan 即可 AC。

以下均使用 C++,以“要求标准答案与选手答案差值小于 1e-3,文件名为 num”为例。

Testlib

Testlib 的介绍见 Testlib/简介 页面,用法见 Testlib/Checker 页面。

必须使用 Testlib 做 spj 的 评测工具/OJ:Codeforces、洛谷、UOJ 等

可以使用 Testlib 做 spj 的 评测工具/OJ:LibreOJ(SYZOJ 2)、Lemon 等

SYZOJ 2 所需的修改版 Testlib 可以在 这里 获取到,感谢 cyand1317

Lemon 所需的修改版 Testlib 可以在 这里 获取到,感谢 matthew99。注意此版本 Testlib 注册 checker 应使用 registerLemonChecker() 而非 registerTestlibCmd()

其他评测工具/OJ 大部分需要按照其 spj 编写格式修改 Testlib(并将 testlib.h 与 spj 一同上传,或将 testlib.h 置于 include 目录)。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
#include <cmath>
#include "testlib.h"
int main(int argc, char *argv[]) {
  /*
   * inf:输入
   * ouf:选手输出
   * ans:标准输出
   */
  registerTestlibCmd(argc, argv);
  double pans = ouf.readDouble(), jans = ans.readDouble();
  if (abs(pans - jans) < 1e-3)
    quitf(_ok, "Good job");
  else
    quitf(_wa, "Too big or too small, expected %f, found %f", jans, pans);
}

Lemon

Lemon 有现成的修改版 Testlib,建议使用 Testlib,见 Testlib

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#include <cmath>
#include <cstdio>
int main(int argc, char* argv[]) {
  /*
   * argv[1]:输入
   * argv[2]:选手输出
   * argv[3]:标准输出
   * argv[4]:单个测试点分值
   * argv[5]:输出最终得分
   * argv[6]:输出错误报告
   */
  FILE* fin = fopen(argv[1], "r");
  FILE* fout = fopen(argv[2], "r");
  FILE* fstd = fopen(argv[3], "r");
  FILE* fscore = fopen(argv[5], "w");
  FILE* freport = fopen(argv[6], "w");
  double pans, jans;
  fscanf(fout, "%lf", &pans);
  fscanf(fstd, "%lf", &jans);
  if (abs(pans - jans) < 1e-3) {
    fprintf(fscore, "%s", argv[4]);
    fprintf(freport, "Good job");
  } else {
    fprintf(fscore, "%d", 0);
    fprintf(freport, "Too big or too small, expected %f, found %f", jans, pans);
  }
}

Cena

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#include <cmath>
#include <cstdio>
int main(int argc, char* argv[]) {
  /*
   * FILENAME.in:输入
   * FILENAME.out:选手输出
   * argv[2]:标准输出
   * argv[1]:单个测试点分值
   * score.log:输出最终得分
   * report.log:输出错误报告
   */
  FILE* fin = fopen("num.in", "r");
  FILE* fout = fopen("num.out", "r");
  FILE* fstd = fopen(argv[2], "r");
  FILE* fscore = fopen("score.log", "w");
  FILE* freport = fopen("report.log", "w");
  double pans, jans;
  fscanf(fout, "%lf", &pans);
  fscanf(fstd, "%lf", &jans);
  if (abs(pans - jans) < 1e-3) {
    fprintf(fscore, "%s", argv[1]);
    fprintf(freport, "Good job");
  } else {
    fprintf(fscore, "%d", 0);
    fprintf(freport, "Too big or too small, expected %f, found %f", jans, pans);
  }
}

CCR

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <cmath>
#include <cstdio>
int main(int argc, char* argv[]) {
  /*
   * stdin:输入
   * argv[3]:选手输出
   * argv[2]:标准输出
   * stdout:L1:输出最终得分比率
   * stdout:L2:输出错误报告
   */
  FILE* fout = fopen(argv[3], "r");
  FILE* fstd = fopen(argv[2], "r");
  double pans, jans;
  fscanf(fout, "%lf", &pans);
  fscanf(fstd, "%lf", &jans);
  if (abs(pans - jans) < 1e-3) {
    printf("%d\n", 1);
    printf("Good job");
  } else {
    printf("%d\n", 0);
    printf("Too big or too small, expected %f, found %f", jans, pans);
  }
}

Arbiter

HUSTOJ

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
#include <cmath>
#include <cstdio>
#define AC 0
#define WA 1
int main(int argc, char* argv[]) {
  /*
   * argv[1]:输入
   * argv[3]:选手输出
   * argv[2]:标准输出
   * exit code:返回判断结果
   */
  FILE* fout = fopen(argv[3], "r");
  FILE* fstd = fopen(argv[2], "r");
  double pans, jans;
  fscanf(fout, "%lf", &pans);
  fscanf(fstd, "%lf", &jans);
  if (abs(pans - jans) < 1e-3)
    return AC;
  else
    return WA;
}

QDUOJ

QDUOJ 就麻烦一点,因为它的带 spj 的题目没有标准输出,只能把 std 写进 spj 跑出标准输出再判断。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <cmath>
#include <cstdio>
#define AC 0
#define WA 1
#define ERROR -1
double solve(...) {
  // std
}
int main(int argc, char* argv[]) {
  /*
   * argv[1]:输入
   * argv[2]:选手输出
   * exit code:返回判断结果
   */
  FILE* fin = fopen(argv[1], "r");
  FILE* fout = fopen(argv[2], "r");
  //读入
  double pans, jans;
  fscanf(fout, "%lf", &pans);
  jans = solve(...);
  if (abs(pans - jans) < 1e-3)
    return AC;
  else
    return WA;
}

LibreOJ(SYZOJ 2)

LibreOJ(SYZOJ 2) 有现成的修改版 Testlib,建议使用 Testlib,见 Testlib

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <cmath>
#include <cstdio>
int main(int argc, char* argv[]) {
  /*
   * in:输入
   * user_out:选手输出
   * answer:标准输出
   * code:选手代码
   * stdout:输出最终得分
   * stderr:输出错误报告
   */
  FILE* fin = fopen("in", "r");
  FILE* fout = fopen("user_out", "r");
  FILE* fstd = fopen("answer", "r");
  FILE* fcode = fopen("code", "r");
  double pans, jans;
  fscanf(fout, "%lf", &pans);
  fscanf(fstd, "%lf", &jans);
  if (abs(pans - jans) < 1e-3) {
    printf("%d", 100);
    fprintf(stderr, "Good job");
  } else {
    printf("%d", 0);
    fprintf(stderr, "Too big or too small, expected %f, found %f", jans, pans);
  }
}

评论