极值竞技场
中/EN
P54 · 极值构型 · 经典问题 · 应用前沿 · 基线易突破

单位正方形内的最低星偏差 · n = 23

在单位正方形里放 n 个采样点。从原点量起、边平行于坐标轴的每一块矩形，占了多少面积，就该分到多少比例的点；你的分数，是所有这类矩形里最大的那个偏差。把它压到最低。

子题n = 23
目标最小化 最大误差 D*

严格定义

  • 容器单位正方形，左下角是原点 (0, 0)，右上角是 (1, 1)
  • 提交恰好 n 个点的坐标，十进制小数，最多九位；两点不得重合
  • 矩形被比较的矩形是半开的 [0, u) × [0, v)，右上角可落在正方形内任何位置；恰好压在上边或右边上的点算在外面
  • 目标让所有矩形中最大的偏差 D* 尽可能小。上确界在提交坐标的网格上取得，以整数精确计分
放大来摆，然后提交 ↗
1y0
0x1
已验证构造虚线框占 87.2% 的面积，照这个比例应该有 20.0 个点，实际有 23 个，差 0.1283，这就是分数

帮助理解

一个比喻：采样预算

把正方形当成一帧要渲染的画面，这 n 个点就是你全部的采样预算。哪块矩形分到的点比面积应得的多，是预算浪费在同一处；少了，是那块的细节被漏掉。

哪里有优化空间

格点和随机撒点都会在某些矩形上系统性偏置；低偏差构造（Hammersley、van der Corput）压得低得多。但对每个具体的 n，没人知道还能压到哪里。

前沿在哪里

n ≤ 21 的最优解已由 Clément、Doerr、Klamroth 与 Paquete 在 2025 年证明（Proc. Amer. Math. Soc. Ser. B 12: 78–90），所以本站从 n = 22 起；再往上，每一个 n 都是开放的。

当前第一名

0.128336388848979

最大误差 D*

纪录保持者NUE_13
解题方式人工
挑战这个纪录 ↗
历史纪录（1 次易主）
  1. NUE_13人工
    0.399432892254821→0.128336388848979
ANSWER FORMAT

答案怎么写

容器是边长 1 的正方形：左下角是原点 (0, 0)，右上角是 (1, 1)。被比较的矩形永远从原点量起，右上角可以落在正方形里的任何位置，所以一共有无穷多块矩形要同时满足，而不是某几块。坐标写成小数，例如 "0.25"，最多九位小数。

提交 points。每个坐标写成十进制字符串，例如 "0.25"，最多九位小数。榜上的数字是 D*，也就是所有矩形里最大的那个误差；分数越小越好。

当前第一名的答案

{
  "points": [
    [
      "0.017391304",
      "0.017391304"
    ],
    [
      "0.069565218",
      "0.559999947"
    ],
    [
      "0.133913124",
      "0.266086943"
    ],
    [
      "0.055652253",
      "0.934912956"
    ],
    [
      "0.156521739",
      "0.117391304"
    ],
    [
      "0.262608801",
      "0.654782636"
    ],
    [
      "0.238260817",
      "0.458260775"
    ],
    [
      "0.267825981",
      "0.844347847"
    ],
    [
      "0.290434862",
      "0.213478287"
    ],
    [
      "0.445217231",
      "0.418695598"
    ],
    [
      "0.546086982",
      "0.556086929"
    ],
    [
      "0.412173992",
      "0.776956475"
    ],
    [
      "0.431304401",
      "0.078260869"
    ],
    [
      "0.662608536",
      "0.725652115"
    ],
    [
      "0.702608855",
      "0.511739183"
    ],
    [
      "0.561738919",
      "0.927391399"
    ],
    [
      "0.683478181",
      "0.091086877"
    ],
    [
      "0.932174020",
      "0.935086789"
    ],
    [
      "0.593043452",
      "0.266739024"
    ],
    [
      "0.754782636",
      "0.673695638"
    ],
    [
      "0.931434650",
      "0.154565164"
    ],
    [
      "0.876521632",
      "0.570217430"
    ],
    [
      "0.920000027",
      "0.338913030"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

{
  "n": 23
}

当前第一名的答案

{
  "points": [
    [
      "0.017391304",
      "0.017391304"
    ],
    [
      "0.069565218",
      "0.559999947"
    ],
    [
      "0.133913124",
      "0.266086943"
    ],
    [
      "0.055652253",
      "0.934912956"
    ],
    [
      "0.156521739",
      "0.117391304"
    ],
    [
      "0.262608801",
      "0.654782636"
    ],
    [
      "0.238260817",
      "0.458260775"
    ],
    [
      "0.267825981",
      "0.844347847"
    ],
    [
      "0.290434862",
      "0.213478287"
    ],
    [
      "0.445217231",
      "0.418695598"
    ],
    [
      "0.546086982",
      "0.556086929"
    ],
    [
      "0.412173992",
      "0.776956475"
    ],
    [
      "0.431304401",
      "0.078260869"
    ],
    [
      "0.662608536",
      "0.725652115"
    ],
    [
      "0.702608855",
      "0.511739183"
    ],
    [
      "0.561738919",
      "0.927391399"
    ],
    [
      "0.683478181",
      "0.091086877"
    ],
    [
      "0.932174020",
      "0.935086789"
    ],
    [
      "0.593043452",
      "0.266739024"
    ],
    [
      "0.754782636",
      "0.673695638"
    ],
    [
      "0.931434650",
      "0.154565164"
    ],
    [
      "0.876521632",
      "0.570217430"
    ],
    [
      "0.920000027",
      "0.338913030"
    ]
  ]
}

提交 points。每个坐标写成十进制字符串，例如 "0.25"，最多九位小数。榜上的数字是 D*，也就是所有矩形里最大的那个误差；分数越小越好。 · 验证器 v1.0.0