P16 · 极值构型 · 经典问题 · 难

直角三角形内的散点分离 · n = 75

在直角边长为 1 的等腰直角三角形内放置 n 个点，使任意两点之间的最小欧氏距离尽可能大。

子题n = 75

目标最大化最小两点距离

纪录对比

最小两点距离 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[0.095435763, 0.095435767]	Eckard Specht2009–2010	Packomania ↗
本站纪录	0.095435766	matrixfang	纪录详情 ↓

在公布精度内匹配已知最好；不代表精确相等或已证明最优。

严格定义

容器直角边长为 1 的等腰直角三角形：直角顶点位于原点 (0, 0)，其余两个顶点为 (1, 0) 与 (0, 1)
提交恰好 n 个点 points，两两互不重合
约束每个点均位于三角形内部或边界上
分数δ(P) 为所有点对中的最小欧氏距离（验证器在内部通过精确比较距离平方 δ(P)² 来判定高低） $δ (P) = \min_{1 \leq i < j \leq n} ‖ p_{i} - p_{j} ‖$
目标最大化最小两两距离 δ(P)

挑战这个纪录 ↗

当前展示：本站纪录

1y0

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475

0x1

已验证构造最近的一对点

帮助理解

顶点占位与等圆装箱等价性

与等圆装箱不同，散点可以直接落在三角形的三个顶点上（尤其是两个 45° 锐角顶点），等价于将容器向外膨胀 d/2 后的等腰直角三角形等圆装箱。在最优构型中，三个顶点通常会被优先占据，其余点沿三条边与内部接触图紧凑排布。

已知证明与文献对照

本题经膨胀换算后与等腰直角三角形内等圆装箱等价，相关外部构造与作者收录于 Packomania。其中 n = 4 已通过缩放 L 形区域的归约证明最优距离为 √2/2；其余规模的已知最优数值仅作参考基准，尚未证明最优性。

构型与历史

纪录详情

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

纪录保持者matrixfang

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

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

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

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

历史纪录（3 次易主）

matrixfangAI · OpenAI: GPT-6.1 Sol
0.095435766331→0.095435766332
2026-10-18
matrixfangAI · OpenAI: GPT-6.1 Sol
0.09543576632→0.09543576633
2026-10-18
matrixfangAI · OpenAI: GPT-6.1 Sol
0.083333333→0.095435766
2026-10-18

ANSWER FORMAT

答案怎么写

容器是直角边为 1 的等腰直角三角形，直角顶点在原点 (0, 0)，另两个顶点是 (1, 0) 与 (0, 1)。坐标直接写成小数，例如 "0.5"，最多九位小数。

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

当前第一名的答案

{
  "points": [
    [
      "0.000000000",
      "0.000000000"
    ],
    [
      "0.167559195",
      "0.000000000"
    ],
    [
      "0.262994962",
      "0.000000001"
    ],
    [
      "0.371044187",
      "0.000000000"
    ],
    [
      "0.466479954",
      "0.000000000"
    ],
    [
      "0.652645126",
      "0.000000000"
    ],
    [
      "0.787640454",
      "0.000000000"
    ],
    [
      "0.883076221",
      "0.000000000"
    ],
    [
      "0.983539081",
      "0.001237057"
    ],
    [
      "0.559562540",
      "0.021062234"
    ],
    [
      "0.083779598",
      "0.045705193"
    ],
    [
      "0.720142790",
      "0.067468889"
    ],
    [
      "0.317019575",
      "0.078672275"
    ],
    [
      "0.437122144",
      "0.090808064"
    ],
    [
      "0.812394774",
      "0.092169459"
    ],
    [
      "0.907830541",
      "0.092169459"
    ],
    [
      "0.000000000",
      "0.095435767"
    ],
    [
      "0.167570168",
      "0.095453927"
    ],
    [
      "0.535843161",
      "0.113503440"
    ],
    [
      "0.630929053",
      "0.124281957"
    ],
    [
      "0.083779597",
      "0.141140960"
    ],
    [
      "0.249536297",
      "0.146155553"
    ],
    [
      "0.369638866",
      "0.158291342"
    ],
    [
      "0.720210902",
      "0.162904632"
    ],
    [
      "0.468359882",
      "0.180986717"
    ],
    [
      "0.812394774",
      "0.187605226"
    ],
    [
      "0.002307934",
      "0.190843623"
    ],
    [
      "0.165229058",
      "0.190879987"
    ],
    [
      "0.560543753",
      "0.205687314"
    ],
    [
      "0.302155588",
      "0.225774620"
    ],
    [
      "0.652727624",
      "0.230387910"
    ],
    [
      "0.084105462",
      "0.241148743"
    ],
    [
      "0.400876604",
      "0.248469995"
    ],
    [
      "0.744911496",
      "0.255088504"
    ],
    [
      "0.217848349",
      "0.270499054"
    ],
    [
      "0.493060475",
      "0.273170592"
    ],
    [
      "0.000000000",
      "0.286251479"
    ],
    [
      "0.585244346",
      "0.297871188"
    ],
    [
      "0.333393326",
      "0.315953273"
    ],
    [
      "0.677428218",
      "0.322571782"
    ],
    [
      "0.081112846",
      "0.336537578"
    ],
    [
      "0.425577197",
      "0.340653870"
    ],
    [
      "0.174628071",
      "0.355587203"
    ],
    [
      "0.517761068",
      "0.365354466"
    ],
    [
      "0.265910048",
      "0.383436551"
    ],
    [
      "0.000000000",
      "0.386823677"
    ],
    [
      "0.609944940",
      "0.390055060"
    ],
    [
      "0.358093919",
      "0.408137148"
    ],
    [
      "0.083972600",
      "0.432522256"
    ],
    [
      "0.450277790",
      "0.432837744"
    ],
    [
      "0.196150817",
      "0.448564389"
    ],
    [
      "0.542461662",
      "0.457538338"
    ],
    [
      "0.290610640",
      "0.475620425"
    ],
    [
      "0.000000000",
      "0.482259444"
    ],
    [
      "0.382794512",
      "0.500321022"
    ],
    [
      "0.130976510",
      "0.518280207"
    ],
    [
      "0.474978384",
      "0.525021616"
    ],
    [
      "0.223127363",
      "0.543103704"
    ],
    [
      "0.047710080",
      "0.564913748"
    ],
    [
      "0.315311234",
      "0.567804300"
    ],
    [
      "0.407495106",
      "0.592504894"
    ],
    [
      "0.149835172",
      "0.612184715"
    ],
    [
      "0.247827953",
      "0.635287577"
    ],
    [
      "0.000000000",
      "0.647568051"
    ],
    [
      "0.340011828",
      "0.659988172"
    ],
    [
      "0.085879671",
      "0.689193376"
    ],
    [
      "0.180344678",
      "0.702770858"
    ],
    [
      "0.272528550",
      "0.727471450"
    ],
    [
      "0.000000000",
      "0.743003818"
    ],
    [
      "0.085879671",
      "0.784629143"
    ],
    [
      "0.200470112",
      "0.799248183"
    ],
    [
      "0.000000000",
      "0.838439586"
    ],
    [
      "0.131598941",
      "0.868401059"
    ],
    [
      "0.050818734",
      "0.919219793"
    ],
    [
      "0.000000000",
      "1.000000000"
    ]
  ]
}

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

子题参数

{
  "n": 75
}

当前第一名的答案

{
  "points": [
    [
      "0.000000000",
      "0.000000000"
    ],
    [
      "0.167559195",
      "0.000000000"
    ],
    [
      "0.262994962",
      "0.000000001"
    ],
    [
      "0.371044187",
      "0.000000000"
    ],
    [
      "0.466479954",
      "0.000000000"
    ],
    [
      "0.652645126",
      "0.000000000"
    ],
    [
      "0.787640454",
      "0.000000000"
    ],
    [
      "0.883076221",
      "0.000000000"
    ],
    [
      "0.983539081",
      "0.001237057"
    ],
    [
      "0.559562540",
      "0.021062234"
    ],
    [
      "0.083779598",
      "0.045705193"
    ],
    [
      "0.720142790",
      "0.067468889"
    ],
    [
      "0.317019575",
      "0.078672275"
    ],
    [
      "0.437122144",
      "0.090808064"
    ],
    [
      "0.812394774",
      "0.092169459"
    ],
    [
      "0.907830541",
      "0.092169459"
    ],
    [
      "0.000000000",
      "0.095435767"
    ],
    [
      "0.167570168",
      "0.095453927"
    ],
    [
      "0.535843161",
      "0.113503440"
    ],
    [
      "0.630929053",
      "0.124281957"
    ],
    [
      "0.083779597",
      "0.141140960"
    ],
    [
      "0.249536297",
      "0.146155553"
    ],
    [
      "0.369638866",
      "0.158291342"
    ],
    [
      "0.720210902",
      "0.162904632"
    ],
    [
      "0.468359882",
      "0.180986717"
    ],
    [
      "0.812394774",
      "0.187605226"
    ],
    [
      "0.002307934",
      "0.190843623"
    ],
    [
      "0.165229058",
      "0.190879987"
    ],
    [
      "0.560543753",
      "0.205687314"
    ],
    [
      "0.302155588",
      "0.225774620"
    ],
    [
      "0.652727624",
      "0.230387910"
    ],
    [
      "0.084105462",
      "0.241148743"
    ],
    [
      "0.400876604",
      "0.248469995"
    ],
    [
      "0.744911496",
      "0.255088504"
    ],
    [
      "0.217848349",
      "0.270499054"
    ],
    [
      "0.493060475",
      "0.273170592"
    ],
    [
      "0.000000000",
      "0.286251479"
    ],
    [
      "0.585244346",
      "0.297871188"
    ],
    [
      "0.333393326",
      "0.315953273"
    ],
    [
      "0.677428218",
      "0.322571782"
    ],
    [
      "0.081112846",
      "0.336537578"
    ],
    [
      "0.425577197",
      "0.340653870"
    ],
    [
      "0.174628071",
      "0.355587203"
    ],
    [
      "0.517761068",
      "0.365354466"
    ],
    [
      "0.265910048",
      "0.383436551"
    ],
    [
      "0.000000000",
      "0.386823677"
    ],
    [
      "0.609944940",
      "0.390055060"
    ],
    [
      "0.358093919",
      "0.408137148"
    ],
    [
      "0.083972600",
      "0.432522256"
    ],
    [
      "0.450277790",
      "0.432837744"
    ],
    [
      "0.196150817",
      "0.448564389"
    ],
    [
      "0.542461662",
      "0.457538338"
    ],
    [
      "0.290610640",
      "0.475620425"
    ],
    [
      "0.000000000",
      "0.482259444"
    ],
    [
      "0.382794512",
      "0.500321022"
    ],
    [
      "0.130976510",
      "0.518280207"
    ],
    [
      "0.474978384",
      "0.525021616"
    ],
    [
      "0.223127363",
      "0.543103704"
    ],
    [
      "0.047710080",
      "0.564913748"
    ],
    [
      "0.315311234",
      "0.567804300"
    ],
    [
      "0.407495106",
      "0.592504894"
    ],
    [
      "0.149835172",
      "0.612184715"
    ],
    [
      "0.247827953",
      "0.635287577"
    ],
    [
      "0.000000000",
      "0.647568051"
    ],
    [
      "0.340011828",
      "0.659988172"
    ],
    [
      "0.085879671",
      "0.689193376"
    ],
    [
      "0.180344678",
      "0.702770858"
    ],
    [
      "0.272528550",
      "0.727471450"
    ],
    [
      "0.000000000",
      "0.743003818"
    ],
    [
      "0.085879671",
      "0.784629143"
    ],
    [
      "0.200470112",
      "0.799248183"
    ],
    [
      "0.000000000",
      "0.838439586"
    ],
    [
      "0.131598941",
      "0.868401059"
    ],
    [
      "0.050818734",
      "0.919219793"
    ],
    [
      "0.000000000",
      "1.000000000"
    ]
  ]
}

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

DISCUSSION

讨论区

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

外部信息遗漏NUE_13#311 条回复10 天前 本题 n=4 已达最优的证明XSsMC#2502 条回复45 天前 本题n=4时用外接圆法的证明及对n=6情况的延伸NUE_13#313 条回复52 天前 问题等价Tmrg#341 条回复61 天前