极值竞技场
中/EN
P53 · 极值构型 · 经典问题 · 应用前沿 · 基线易突破

最大的小多边形 · n = 20

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

子题n = 20
目标最大化 面积
已知最好（未证明）0.776858756Bingane 与 Mossinghoff 给出的多边形，最优性未知

严格定义

  • 容器没有容器：唯一的全局约束是任意两点距离不超过 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.77685875553027708

面积

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

答案怎么写

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

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

当前第一名的答案

{
  "points": [
    [
      "1.249965493",
      "0.785793211"
    ],
    [
      "1.213056554",
      "0.942927417"
    ],
    [
      "1.128137853",
      "1.080223766"
    ],
    [
      "1.003969896",
      "1.183469836"
    ],
    [
      "0.853141663",
      "1.242035596"
    ],
    [
      "0.68942879",
      "1.249687997"
    ],
    [
      "0.519270266",
      "1.200966742"
    ],
    [
      "0.380246353",
      "1.091422068"
    ],
    [
      "0.290722514",
      "0.954141529"
    ],
    [
      "0.250034507",
      "0.797541433"
    ],
    [
      "0.261181354",
      "0.636441524"
    ],
    [
      "0.322901301",
      "0.487270062"
    ],
    [
      "0.428787775",
      "0.365444453"
    ],
    [
      "0.567777366",
      "0.283616472"
    ],
    [
      "0.724750421",
      "0.250312001"
    ],
    [
      "0.878536584",
      "0.267731663"
    ],
    [
      "0.974927625",
      "0.310811491"
    ],
    [
      "1.066239381",
      "0.363813956"
    ],
    [
      "1.170297297",
      "0.478380874"
    ],
    [
      "1.235070748",
      "0.625194098"
    ]
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

{
  "n": 20
}

当前第一名的答案

{
  "points": [
    [
      "1.249965493",
      "0.785793211"
    ],
    [
      "1.213056554",
      "0.942927417"
    ],
    [
      "1.128137853",
      "1.080223766"
    ],
    [
      "1.003969896",
      "1.183469836"
    ],
    [
      "0.853141663",
      "1.242035596"
    ],
    [
      "0.68942879",
      "1.249687997"
    ],
    [
      "0.519270266",
      "1.200966742"
    ],
    [
      "0.380246353",
      "1.091422068"
    ],
    [
      "0.290722514",
      "0.954141529"
    ],
    [
      "0.250034507",
      "0.797541433"
    ],
    [
      "0.261181354",
      "0.636441524"
    ],
    [
      "0.322901301",
      "0.487270062"
    ],
    [
      "0.428787775",
      "0.365444453"
    ],
    [
      "0.567777366",
      "0.283616472"
    ],
    [
      "0.724750421",
      "0.250312001"
    ],
    [
      "0.878536584",
      "0.267731663"
    ],
    [
      "0.974927625",
      "0.310811491"
    ],
    [
      "1.066239381",
      "0.363813956"
    ],
    [
      "1.170297297",
      "0.478380874"
    ],
    [
      "1.235070748",
      "0.625194098"
    ]
  ]
}

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