P53 · 极值构型 · 经典问题 · 应用前沿 · 基线易突破

最大的小多边形 · n = 16

取 n 个点,两两距离都不超过 1,使它们围成的凸多边形面积尽可能大;每个点都必须是凸包的顶点。

子题n = 16
目标最大化 面积

严格定义

  • 容器没有容器:唯一的全局约束是任意两点距离不超过 1;坐标写在 [0, 1.5] × [0, 1.5] 内
  • 提交恰好 n 个点 points
  • 约束两两距离 ≤ 1;每个点都是凸包的真顶点,落在别人连线上或内部都不算
  • 目标让凸多边形面积尽可能大。内部以二倍面积精确比较
放大来摆,然后提交
1.5y0
0x1.5
已验证构造围成的凸多边形,以及最长的一对点

帮助理解

为什么偶数才难

奇数 n 的正多边形已被证明最优,没什么可争;偶数 n 时正多边形反而不是最优:Graham 的六边形比正六边形多出约 4% 的面积。所以本站只开偶数 n。

前沿在哪里

奇数 n 的正多边形由 Reinhardt (1922) 证明最优,所以只开偶数。偶数侧 n = 6, 8, 10, 12 已证明(Graham 1975 起,至 Audet 等),n ≥ 14 只有数值最好值,开放。

当前第一名

0.771861321563783866

面积

纪录保持者创始基准
解题方式人工
挑战这个纪录
ANSWER FORMAT

答案怎么写

这道题没有容器,唯一的约束是任意两点距离不超过 1。坐标写在 [0, 1.5] × [0, 1.5] 的框里,这只是一个坐标系而不是额外的限制:直径不超过 1 的点集总能装进 1×1 的方格,这里四边各多留了四分之一个单位,所以放在哪里都不会被框卡住。坐标是小数,例如 "0.25",最多九位小数。

提交 points。每个坐标写成十进制字符串,例如 "0.25",最多九位小数。

当前第一名的答案

{
  "points": [
    [
      "1.248901359",
      "0.727590204"
    ],
    [
      "1.214959348",
      "0.927741817"
    ],
    [
      "1.104430911",
      "1.098286059"
    ],
    [
      "0.93504406",
      "1.211358594"
    ],
    [
      "0.732065206",
      "1.248495338"
    ],
    [
      "0.514908041",
      "1.19785756"
    ],
    [
      "0.346885644",
      "1.051263159"
    ],
    [
      "0.258368371",
      "0.864865109"
    ],
    [
      "0.251098643",
      "0.661335096"
    ],
    [
      "0.32486449",
      "0.471966496"
    ],
    [
      "0.467420441",
      "0.32743091"
    ],
    [
      "0.654543777",
      "0.251504652"
    ],
    [
      "0.849163337",
      "0.255374989"
    ],
    [
      "0.970683356",
      "0.307762699"
    ],
    [
      "1.084221998",
      "0.375737363"
    ],
    [
      "1.201124732",
      "0.53138281"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看

子题参数

{
  "n": 16
}

当前第一名的答案

{
  "points": [
    [
      "1.248901359",
      "0.727590204"
    ],
    [
      "1.214959348",
      "0.927741817"
    ],
    [
      "1.104430911",
      "1.098286059"
    ],
    [
      "0.93504406",
      "1.211358594"
    ],
    [
      "0.732065206",
      "1.248495338"
    ],
    [
      "0.514908041",
      "1.19785756"
    ],
    [
      "0.346885644",
      "1.051263159"
    ],
    [
      "0.258368371",
      "0.864865109"
    ],
    [
      "0.251098643",
      "0.661335096"
    ],
    [
      "0.32486449",
      "0.471966496"
    ],
    [
      "0.467420441",
      "0.32743091"
    ],
    [
      "0.654543777",
      "0.251504652"
    ],
    [
      "0.849163337",
      "0.255374989"
    ],
    [
      "0.970683356",
      "0.307762699"
    ],
    [
      "1.084221998",
      "0.375737363"
    ],
    [
      "1.201124732",
      "0.53138281"
    ]
  ]
}

提交 points。每个坐标写成十进制字符串,例如 "0.25",最多九位小数。 · 验证器 v1.0.0