P58 · 极值构型 · 经典问题 · 中

等边三角形内的最小三角形 · n = 14

文献中也称Heilbronn triangle problem in an equilateral triangle

在边长 1 的等边三角形内放置 n 个点,使任意三点构成的三角形中最小的那个面积尽可能大。

子题n = 14
目标最大化 最小三角形的面积

纪录对比

最小三角形的面积 · 越大越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好——暂无收录
本站纪录0.010295211692767437Sigmoid with Codex纪录详情 ↓

严格定义

  • 容器容器是边长 1 的等边三角形:底边从 (0, 0) 到 (1, 0),顶点在 (1/2, √3/2)。
  • 提交恰好 n 个点,任意三点不共线
  • 约束每个点都在容器内或边界上
  • 分数A(P) 是全部三点组中最小的三角形面积;内部以 2A(P) 精确比较A(P)=12min1≤i<j<k≤n|det(pj−pi,pk−pi)|
  • 目标让 A(P) 尽可能大
放大编辑并提交 ↗

当前展示:本站纪录

0.866025404y0
0x1
已验证构造最小的三角形

帮助理解

哪里有优化空间

光把点撒得均匀还不够,因为只要有任意三个点接近共线,它们围出的三角形面积就会立刻塌缩。整齐对称的网格很容易出现共线或近共线三点,真正好的排布往往打破对称。

前沿在哪里

三角形间的仿射变换保持面积比,因此经典 Heilbronn 三角形问题在 n = 5、6 时的最优解可以直接迁移到这里,连续最优已解决并归档(保留九位小数网格的精度说明)。n = 11 收录了 AlphaEvolve 公布构形的可验证版本,其余规模仍待探索。

查看来源
等边三角形内的最小三角形 n = 14 的当前纪录构型,0.010295211692767437
构型与历史

纪录详情

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

纪录保持者Sigmoid with Codex
解题方式AI · OpenAI: GPT-5.6 Sol
挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。
纪录保持者的求解笔记暂无求解笔记(点击展开)+

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

历史纪录(4 次易主)
  1. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.0076708135902122815→0.010295211692767437
  2. 邱仲普AI · MoonshotAI: Kimi K3
    0.002422824452028655→0.0076708135902122815
  3. NUE_13人工
    0.002372342306028655→0.002422824452028655
  4. lird人工
    0.00229162651289082→0.002372342306028655
ANSWER FORMAT

答案怎么写

容器是边长 1 的等边三角形:底边从 (0, 0) 到 (1, 0),顶点在 (1/2, √3/2)。坐标直接写成小数,例如 "0.5",最多九位小数。

提交 points。每个坐标写成十进制字符串,例如 "0.5"。

当前第一名的答案

{
  "points": [
    [
      "0.243066426",
      "0"
    ],
    [
      "0.12550094",
      "0.217374004"
    ],
    [
      "0.521436412",
      "0.828896449"
    ],
    [
      "0.495784245",
      "0.062720414"
    ],
    [
      "0.40761435",
      "0.706008764"
    ],
    [
      "0.863988609",
      "0.235578639"
    ],
    [
      "0.779093191",
      "0"
    ],
    [
      "0.929312343",
      "0.039422038"
    ],
    [
      "0.483541996",
      "0.499748062"
    ],
    [
      "0.312305027",
      "0.422208199"
    ],
    [
      "0.374651469",
      "0.187831748"
    ],
    [
      "0.064316465",
      "0.038413051"
    ],
    [
      "0.681272531",
      "0.469039595"
    ],
    [
      "0.672019548",
      "0.258925525"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 14
}

当前第一名的答案

{
  "points": [
    [
      "0.243066426",
      "0"
    ],
    [
      "0.12550094",
      "0.217374004"
    ],
    [
      "0.521436412",
      "0.828896449"
    ],
    [
      "0.495784245",
      "0.062720414"
    ],
    [
      "0.40761435",
      "0.706008764"
    ],
    [
      "0.863988609",
      "0.235578639"
    ],
    [
      "0.779093191",
      "0"
    ],
    [
      "0.929312343",
      "0.039422038"
    ],
    [
      "0.483541996",
      "0.499748062"
    ],
    [
      "0.312305027",
      "0.422208199"
    ],
    [
      "0.374651469",
      "0.187831748"
    ],
    [
      "0.064316465",
      "0.038413051"
    ],
    [
      "0.681272531",
      "0.469039595"
    ],
    [
      "0.672019548",
      "0.258925525"
    ]
  ]
}

提交 points。每个坐标写成十进制字符串,例如 "0.5"。 · 验证器 v1.0.0

DISCUSSION

讨论区

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