P03 · 极值构型 · 经典问题

Heilbronn 最小三角形面积 · n = 5

在单位正方形内放置 n 个点,使任意三点构成的三角形中最小的那个面积尽可能大。

子题n = 5
目标最大化 最小三角形面积
已证明最优√3/9证书可写的最好值 0.192450089Δ₅ = √3/9,最优性由 Yang、Zhang 与 Zeng (1991) 证明

已完成已经有达到上限的答案,这道子题没有可争的了

严格定义

  • 容器单位正方形:左下角是原点 (0, 0),右上角是 (1, 1)
  • 提交恰好 n 个点 points,任意三点不共线
  • 约束每个点都在正方形内或边界上
  • 目标让任意三点构成的三角形中最小的面积尽可能大。内部以二倍面积精确比较
打开编辑器看看
1y0
0x1
已验证构造最小的三角形

帮助理解

哪里有优化空间

把点撒得均匀并不够:任何三点都不能接近共线,而近共线恰恰是看起来整齐的排布最容易犯的错。最优构形往往不对称,连形状都难猜。

前沿在哪里

n = 5..9 已证明(Yang、Zhang、Zeng 与 Dress 等,1991–1995);n ≥ 10 只有数值下界,最新的综述与构造见 arXiv:2603.11107。Goldberg (1972) 的构造长期是这一族的基准。

查看来源
当前第一名

0.192450089

最小三角形面积

已达最优最优值已证明,无法再提升
纪录保持者参考答案
解题方式
挑战这个纪录
历史纪录(20 次易主)
  1. 匿名人工
    0.1924316120.192450089
  2. RJcxy人工
    0.1898058070.192431612
  3. FT人工
    0.1897412900.189805807
  4. FT人工
    0.1896219660.189741290
  5. Zrchedcxen人工
    0.1879796110.189621966
  6. xxx人工
    0.1868705470.187979611
  7. xxx人工
    0.1857343160.186870547
  8. Zrchedcxen人工
    0.1767018100.185734316
  9. Zrchedcxen人工
    0.1766496680.176701810
  10. Eraser人工
    0.1754035210.176649668
  11. jiaya人工
    0.1753669520.175403521
  12. jiaya人工
    0.1752839990.175366952
  13. jiaya人工
    0.1685903140.175283999
  14. jiaya人工
    0.1673299420.168590314
  15. Eraser人工
    0.1642915600.167329942
  16. jiaya人工
    0.1554170460.164291560
  17. jiaya人工
    0.1553475390.155417046
  18. jiaya人工
    0.1550000030.155347539
  19. yome人工
    0.1550000000.155000003
  20. 匿名人工
    0.0200000000.155000000
ANSWER FORMAT

答案怎么写

容器是边长 1 的正方形,左下角是原点 (0, 0),右上角是 (1, 1)。坐标和长度用同一个单位,直接写成小数,例如 "0.5",最多九位小数。

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

当前第一名的答案

{
  "points": [
    [
      "0",
      "0.333333333"
    ],
    [
      "0.577350269",
      "0"
    ],
    [
      "1",
      "0.422649731"
    ],
    [
      "0.666666667",
      "1"
    ],
    [
      "0",
      "1"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看

子题参数

{
  "n": 5
}

当前第一名的答案

{
  "points": [
    [
      "0",
      "0.333333333"
    ],
    [
      "0.577350269",
      "0"
    ],
    [
      "1",
      "0.422649731"
    ],
    [
      "0.666666667",
      "1"
    ],
    [
      "0",
      "1"
    ]
  ]
}

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