当前位置：首页 > news >正文

从零到一：手把手教你用Polygon与testlib.h打造Codeforces高质量赛题

news 2026/4/17 9:23:05

1. 为什么选择Polygon和testlib.h出题？

第一次接触Codeforces出题的朋友可能会问：为什么非要学Polygon和testlib.h？直接用文本编辑器写题面，手动造几组测试数据不行吗？我刚开始也这么想，直到踩过几次坑才明白专业工具的重要性。

去年我尝试用土办法出了一道动态规划题，结果比赛时出现数据错误导致重赛。事后发现是手写数据时漏了边界情况。Polygon平台提供的标准化流程和testlib.h的数据生成库，能系统性地避免这类问题。举个例子，用testlib.h生成随机树结构只需要3行代码，而手动构造可能遗漏某些特殊形态。

Polygon作为Codeforces官方出题平台，提供三大核心优势：

全流程管理：从题面编辑、数据生成到最终打包发布都在同一平台完成
版本控制：每次修改都有记录，随时可以回退到历史版本
自动化验证：自动检查数据合法性、标程时空限制等关键指标

testlib.h则是配套的数据生成神器，特别适合需要大量随机数据的题目。它的随机数生成器可以确保：

相同种子产生相同数据（便于调试）
支持各种数据结构（树、图、字符串等）
内置合法性检查（比如确保生成的图是连通的）

2. 从零搭建Polygon开发环境

2.1 注册与初始设置

首先打开Polygon官网（注意：需使用Codeforces账号登录），点击右上角的"New Problem"按钮。这里有个新手容易踩的坑：创建时填写的"Name"字段只是内部标识符，不是最终显示的题目名称。建议用英文缩写如"DP_ShortestPath"这类有意义的命名。

创建成功后进入控制面板，重点注意这几个区域：

General Info：设置时间限制（通常C++为2秒）、内存限制（通常256MB）
Statement：支持Markdown和LaTeX混排的题面编辑器
Files：上传标程和数据生成器的入口

建议立即在Files页面上传testlib.h头文件（可从GitHub官方仓库获取）。我习惯在本地用VS Code编写生成器，测试通过后再上传到Polygon，这样效率更高。

2.2 编写第一个数据生成器

新建generator.cpp文件，包含基础模板：

#include "testlib.h" #include <iostream> using namespace std; int main(int argc, char* argv[]) { registerGen(argc, argv, 1); // 初始化随机种子 int n = rnd.next(1, 100); // 生成1-100的随机整数 cout << n << endl; for(int i=0; i<n; i++) { cout << rnd.next(1, 1000) << " "; } }

这个简单例子演示了生成n个随机数的基本流程。实际使用时，testlib.h提供了更多强大功能：

rnd.next("[a-z]{1,10}")生成随机小写字母串
shuffle(v.begin(), v.end())打乱数组顺序
rnd.wnext(n, t)生成服从特定分布的随机数

3. 构建完整题目组件

3.1 设计健壮的Checker

Checker决定用户提交的正确性，Polygon内置了常见类型（如严格匹配、浮点误差等）。对于自定义逻辑，可以上传源代码。比如判断图是否为树的Checker示例：

#include "testlib.h" using namespace std; int main(int argc, char* argv[]) { registerTestlibCmd(argc, argv); int n = inf.readInt(); set<pair<int,int>> edges; for(int i=0; i<n-1; i++) { int u = ouf.readInt(1, n); int v = ouf.readInt(1, n); if(u == v) quitf(_wa, "Self-loop detected"); edges.insert(minmax(u,v)); } if(edges.size() != n-1) quitf(_wa, "Not a tree"); quitf(_ok, "Accepted"); }

关键点在于：

使用inf读取输入数据
用ouf读取用户输出
通过quitf返回判题结果

3.2 批量生成测试数据

在Tests页面可以编写脚本批量生成数据。比如要生成20组测试数据，包括：

3组样例（小数据）
10组随机中等数据
7组极端情况（如n=1e5）

脚本示例：

# gen_samples.sh g++ -std=c++11 generator.cpp -o gen for i in {1..3}; do ./gen $i 10 > $i.txt # 小数据 done for i in {4..13}; do ./gen $i 100000 > $i.txt # 大数据 done

上传后点击"Save Script"，系统会自动执行并生成测试文件。记得标记样例数据（点击测试点右侧的"Example"复选框），这些会显示在题面中。

4. 全流程质量保障

4.1 验证与打包

在Invocations页面运行标程对所有测试点进行验证，重点关注：

时间消耗是否在预期范围内
内存使用是否超标
输出结果是否符合Checker要求

我曾遇到一个经典问题：标程在最大数据时超时。检查发现是忘记关闭调试输出。通过Polygon的自动验证能快速定位这类问题。

确认无误后，依次操作：

Commit Changes：相当于Git的提交，建议填写有意义的注释如"Fixed TL issue in large case"
Create Package：生成最终题目包，系统会自动运行全套检查
View Problem：预览最终效果，检查题面渲染是否正确

4.2 发布到Codeforces

在Polygon右下角获取题目链接（格式为https://polygon.codeforces.com/p/xxx），然后：

登录Codeforces进入Gym板块
创建新的Mashup比赛
添加题目时粘贴Polygon链接
设置比赛时间、权限等参数

特别提醒：如果需要让题目出现在Virtual Judge上，记得在"Invited Users"中添加vjudge1和vjudge2这两个特殊账号。

5. 高级技巧与避坑指南

5.1 数据生成的最佳实践

根据多次出题经验，推荐以下数据组合策略：

梯度测试：从极小的n=1到最大限制值
特殊构造：完全二叉树、链式结构、完全图等
抗hack数据：针对常见错误解法设计陷阱数据

例如生成树结构时，可以这样确保多样性：

string tree_type = argv[1]; // 通过参数控制类型 if(tree_type == "chain") { for(int i=2; i<=n; i++) cout << i-1 << " " << i << endl; } else if(tree_type == "star") { for(int i=2; i<=n; i++) cout << 1 << " " << i << endl; } else { // 随机生成其他形态 }