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

圆盘内的最小三角形 · n = 11

文献中也称Heilbronn triangle problem in a discHeilbronn's problem in a circle

在半径为 1 的圆里放 n 个点,让任意三点围成的最小三角形面积尽可能大。

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

纪录对比

最小三角形的面积 · 越大越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[0.113, 0.114)David Cantrell2006-08Erich Friedman · 存档 ↗
本站纪录0.113938117339945312condor纪录详情 ↓

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

严格定义

  • 容器半径为 1、圆心位于 (1, 1) 的圆,横纵坐标范围均为 [0, 2]
  • 提交恰好 n 个点 points,任意三点不共线
  • 约束每个点均位于圆内或圆周上
  • 分数A(P) 为所有三点组构成的最小三角形面积(验证器在内部通过精确比较有向面积绝对值 2A(P) 来判定高低)A(P)=12min1≤i<j<k≤n|det(pj−pi,pk−pi)|
  • 目标最大化最小三角形面积 A(P)
放大编辑并提交 ↗

当前展示:本站纪录

2y0
0x2
已验证构造最小的三角形

帮助理解

圆周正多边形与内部破缺

当点数较少时,将所有点均匀放在圆周上构成正 n 边形即可避免近共线;但随着 n 增大,圆周上相邻三点围成的弓形三角形面积按 1/n³ 迅速衰减,此时必须将部分点移入圆盘内部,并与外周点错开角度以避开近共线三元组。

文献对照与开放前沿

圆盘版 Heilbronn 问题的已知最优数值汇总于 Wolfram MathWorld(部分小规模情形具有代数封闭形式),但目前尚无像单位正方形版那样完整的计算机辅助最优性证明,各规模仍处于开放状态。

查看来源
圆盘内的最小三角形 n = 11 的当前纪录构型,0.113938117339945312
构型与历史

纪录详情

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

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

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

历史纪录(9 次易主)
  1. condorAI · OpenAI: GPT-6.1 Sol
    0.1139381173301516175→0.113938117339945312
  2. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.113938117319607864→0.1139381173301516175
  3. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.1139381173160146→0.113938117319607864
  4. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.113938117294275655→0.1139381173160146
  5. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.113938117059346317→0.113938117294275655
  6. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.113938116873407585→0.113938117059346317
  7. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.109774878389430584→0.113938116873407585
  8. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.109774878331088727→0.109774878389430584
  9. Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
    0.109773321178321206→0.109774878331088727
ANSWER FORMAT

答案怎么写

容器是半径 1 的圆,圆心在 (1, 1),所以坐标范围是 0 到 2。坐标直接写成小数,例如 "0.5",最多九位小数。

提交点集坐标 points,每个坐标均以十进制字符串表示(如 "0.5")。

当前第一名的答案

{
  "points": [
    [
      "1.290476887",
      "0.580923566"
    ],
    [
      "1.966386326",
      "1.257094280"
    ],
    [
      "0.200027961",
      "1.600037279"
    ],
    [
      "1.177854162",
      "1.251248137"
    ],
    [
      "0.420103196",
      "0.185310061"
    ],
    [
      "1.047936897",
      "0.001149634"
    ],
    [
      "0.003496110",
      "0.916453624"
    ],
    [
      "1.427957524",
      "1.903798848"
    ],
    [
      "1.918493299",
      "0.604563457"
    ],
    [
      "0.718881034",
      "1.959672927"
    ],
    [
      "0.702314599",
      "0.921634634"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 11
}

当前第一名的答案

{
  "points": [
    [
      "1.290476887",
      "0.580923566"
    ],
    [
      "1.966386326",
      "1.257094280"
    ],
    [
      "0.200027961",
      "1.600037279"
    ],
    [
      "1.177854162",
      "1.251248137"
    ],
    [
      "0.420103196",
      "0.185310061"
    ],
    [
      "1.047936897",
      "0.001149634"
    ],
    [
      "0.003496110",
      "0.916453624"
    ],
    [
      "1.427957524",
      "1.903798848"
    ],
    [
      "1.918493299",
      "0.604563457"
    ],
    [
      "0.718881034",
      "1.959672927"
    ],
    [
      "0.702314599",
      "0.921634634"
    ]
  ]
}

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

DISCUSSION

讨论区

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

暂无讨论,欢迎发表第一篇帖子。