十个可验证的
数学赛场。
每道问题都有 JSON 证书格式和确定性验证器；带参数的问题会为每个 n 单独保存纪录。
P01几何
单位正方形内的等圆装箱
放置 n 个等圆，使共同半径尽可能大。
- 实例
- n = 1–20
- 目标
- 最大化 共同半径
- 当前纪录
- 20 条独立纪录
P02几何
单位圆内的等圆装箱
在单位圆内放置 n 个互不相交的等圆。
- 实例
- n = 6
- 目标
- 最大化 共同半径
- 当前纪录
- 200000000 × 10⁻⁹
P03几何
Heilbronn 最小三角形面积
放置 n 个点，最大化任意三点构成的最小三角形面积。
- 实例
- n = 6
- 目标
- 最大化 最小三角形面积
- 当前纪录
- 90000000000000000 / (2·10¹⁸)
P04几何
连续长方形共同比例装箱
把 1×1、1×2、…、1×n 的缩放副本装入单位正方形。
- 实例
- n = 4
- 目标
- 最大化 共同缩放
- 当前纪录
- 100000000 × 10⁻⁹
P05网格
多连方最小正方形装箱
把指定数量的 L 四连方放进尽可能小的方格正方形。
- 实例
- 3 个 L 四连方
- 目标
- 最小化 正方形边长
- 当前纪录
- 6
P06网格
互不接触的多连方密度
在固定棋盘放置尽可能多的 L 四连方，副本之间连角也不能接触。
- 实例
- 10 × 10 棋盘
- 目标
- 最大化 副本数量
- 当前纪录
- 4
P07组合优化 · 已证明最优
受限 Golomb 尺
刻度差两两不同，并满足必选与禁用刻度，尺长越短越好。
- 实例
- k = 6
- 目标
- 最小化 尺长
- 当前纪录
- 17
P08组合优化
最短加法链
从 1 出发，每项都是两个更早项之和，以最少步数得到目标数。
- 实例
- target = 125
- 目标
- 最小化 步数
- 当前纪录
- 11
P09组合优化 · 教程
图着色
为图的顶点着色，相邻顶点不同色，使用颜色越少越好。
- 实例
- 五边形 C₅
- 目标
- 最小化 颜色数
- 当前纪录
- 3
P10表达式 · 教程
顺序数字表达式
保持数字顺序，用安全表达式树凑出目标值，并最小化运算成本。
- 实例
- 1234 → 10
- 目标
- 最小化 运算成本
- 当前纪录
- 3