P21 · 极值构型 · 本站原创 · 中

十字形内的散点分离 · n = 15

在十字形（3 × 3 正方形挖掉四角各一个 1 × 1）里放 n 个点，让任意两点间的最小距离尽可能大。

子题n = 15

目标最大化最小两点距离

纪录对比

最小两点距离 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	—	—	暂无收录
本站纪录	0.814098237	Sigmoid with Codex	纪录详情 ↓

严格定义

容器由边长为 3 的正方形 [0, 3] × [0, 3] 挖去四个角上的 1 × 1 正方形所构成的对称十字形区域，左下角为原点 (0, 0)，右上角为 (3, 3)
提交恰好 n 个点 points，两两互不重合
约束每个点均位于十字形区域内部或边界上
分数δ(P) 为所有点对中的最小欧氏距离（验证器在内部通过精确比较距离平方 δ(P)² 来判定高低） $δ (P) = \min_{1 \leq i < j \leq n} ‖ p_{i} - p_{j} ‖$
目标最大化最小两两距离 δ(P)

放大编辑并提交 ↗

当前展示：本站纪录

3y0

123456789101112131415

0x3

已验证构造最近的一对点

帮助理解

五方格分划与外端顶点

对称十字形由中央 1 × 1 方格与四条 1 × 1 延伸臂组成，共有 8 个外凸顶点与 4 个内凹角。将十字形按子方格或更细的子区域进行分划，结合抽屉原理即可导出中小规模的最小距离上界；最优构型往往先占满四臂外端顶点，再在中央区域协调排布。

四个已证明的规模

n = 4、5、6、9 的最优距离已获证明：NUE_13 #31 给出了构型与猜想，本站补全了 n = 4 与 n = 5 的上界证明；HwaterB #40 利用五方格分划证明了 n = 6 的最优距离为 √2，并利用八区域分划证明了 n = 9 的最优距离为 √5/2。其余规模仍处于开放状态。

查看来源

构型与历史

纪录详情

查看构型、求解笔记与纪录历史。

纪录保持者Sigmoid with Codex

解题方式AI · OpenAI: GPT-5.6 Sol

挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路，经审核采纳后可获证明分。

纪录保持者的求解笔记暂无求解笔记（点击展开）＋

纪录保持者暂未分享求解过程。

历史纪录（2 次易主）

Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.814097912→0.814098237
2026-09-02
邱仲普AI · MoonshotAI: Kimi K3
0.5→0.814097912
2026-09-01

ANSWER FORMAT

答案怎么写

容器是边长 3 的正方形挖掉四个角上的 1 × 1，形成一个十字：左下角是原点 (0, 0)，右上角是 (3, 3)。坐标直接写成小数，例如 "0.5"，最多九位小数。

提交点集坐标 points，每个坐标均以十进制字符串表示（如 "0.5"）。

当前第一名的答案

{
  "points": [
    [
      "1.075446194",
      "0.810594728"
    ],
    [
      "1.000000000",
      "0.000000000"
    ],
    [
      "1.814098238",
      "0.000000000"
    ],
    [
      "2.999999999",
      "1.000000000"
    ],
    [
      "0.000000000",
      "1.000000001"
    ],
    [
      "1.508431546",
      "1.499999998"
    ],
    [
      "1.932985351",
      "0.805370595"
    ],
    [
      "2.357539151",
      "1.500000001"
    ],
    [
      "0.642460850",
      "1.500000003"
    ],
    [
      "1.075446202",
      "2.189405273"
    ],
    [
      "1.932985346",
      "2.194629404"
    ],
    [
      "3.000000000",
      "2.000000000"
    ],
    [
      "0.000000000",
      "2.000000000"
    ],
    [
      "1.000000000",
      "3.000000000"
    ],
    [
      "1.814098239",
      "3.000000000"
    ]
  ]
}

提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

{
  "n": 15
}

当前第一名的答案

{
  "points": [
    [
      "1.075446194",
      "0.810594728"
    ],
    [
      "1.000000000",
      "0.000000000"
    ],
    [
      "1.814098238",
      "0.000000000"
    ],
    [
      "2.999999999",
      "1.000000000"
    ],
    [
      "0.000000000",
      "1.000000001"
    ],
    [
      "1.508431546",
      "1.499999998"
    ],
    [
      "1.932985351",
      "0.805370595"
    ],
    [
      "2.357539151",
      "1.500000001"
    ],
    [
      "0.642460850",
      "1.500000003"
    ],
    [
      "1.075446202",
      "2.189405273"
    ],
    [
      "1.932985346",
      "2.194629404"
    ],
    [
      "3.000000000",
      "2.000000000"
    ],
    [
      "0.000000000",
      "2.000000000"
    ],
    [
      "1.000000000",
      "3.000000000"
    ],
    [
      "1.814098239",
      "3.000000000"
    ]
  ]
}

提交点集坐标 points，每个坐标均以十进制字符串表示（如 "0.5"）。 · 验证器 v1.0.0

DISCUSSION

讨论区

欢迎交流解题思路、分享构造方法或探讨卡壳之处。所有登录用户均可发帖；发言使用与排行榜一致的公开署名，并附带唯一注册编号（#UID）以防冒名。新发言经审核后公开。

本题n=6已达最优的证明HwaterB#406 条回复52 天前 本题n=9已达最优的证明HwaterB#402 条回复52 天前 本题n=6已达最优的证明（再发一遍，上次审核似乎没看见）HwaterB#401 条回复52 天前