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

最大的小多边形 · n = 30

文献中也称biggest little polygonlargest small polygon

在平面上取 n 个两两距离不超过 1 的点，使它们作为严格凸包顶点围成的凸 n 边形面积尽可能大。

子题n = 30

目标最大化面积

纪录对比

面积 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[0.7816739265, 0.7816739275]	见来源署名	arxiv.org ↗
本站纪录	0.781673926695356704	zzzcy	纪录详情 ↓

本站纪录尚未确认达到或超越此参考纪录。

严格定义

容器无容器约束：仅要求点集直径不超过 1，坐标写在 [0, 1.5] × [0, 1.5] 内
提交恰好 n 个点 points
约束任意两点距离 ≤ 1；每个点都必须是凸包的严格顶点
面积qᵢ = (xᵢ,yᵢ) 为验证器按凸包逆时针重排后的顶点（提交时无需按此顺序）；验证器在内部按鞋带公式计算的 2A(P) 作精确比较 $A (P) = \frac{1}{2} | \sum_{i = 1}^{n} (x_{i} y_{i + 1} - x_{i + 1} y_{i}) |, q_{n + 1} = q_{1}$
目标在所有直径不超过 1 的凸 n 边形 P 中最大化面积 A(P) $\max_{P} A (P)$

放大编辑并提交 ↗

当前展示：本站纪录

1.5y0

123456789101112131415161718192021222324252627282930

0x1.5

已验证构造围成的凸多边形，以及最长的一对点

帮助理解

为什么只收录偶数 n

当 n 为奇数时，正 n 边形早已被证明是直径为 1 的最大面积凸多边形；而当 n 为偶数时，正 n 边形都可以被非对称构形超越，例如 Graham 六边形的面积比等直径正六边形大近 4%。因此本题仅收录偶数规模。

研究进展

奇数 n 的最优性由 Reinhardt (1922) 证明。偶数侧 n = 6, 8, 10, 12 的最优构形已获证明（自 Graham 1975 起至 Audet 等人），n ≥ 14 仅有数值搜索给出的最好构形，尚未证明最优。

构型与历史

纪录详情

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

纪录保持者zzzcy

解题方式AI · OpenAI: GPT-6 Astra

挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路，经审核采纳后可获证明分。

纪录保持者的求解笔记暂无求解笔记（点击展开）＋

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

历史纪录（2 次易主）

zzzcyAI · OpenAI: GPT-6 Astra
0.781673926650096605→0.781673926695356704
2026-10-05
zzzcyAI · OpenAI: GPT-6 Astra
0.781673926428627079→0.781673926650096605
2026-10-02

ANSWER FORMAT

答案怎么写

本题仅要求任意两点距离不超过 1。直径不超过 1 的点集总能放进 1 × 1 的正方形，提交框 [0, 1.5] × [0, 1.5] 四周留有充裕余量，不会限制构形形状。坐标写成十进制小数，例如 "0.25"，最多九位小数。

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

当前第一名的答案

{
  "points": [
    [
      "0.235970667",
      "0.696044399"
    ],
    [
      "0.259429952",
      "0.581599189"
    ],
    [
      "0.311206345",
      "0.476874588"
    ],
    [
      "0.378769340",
      "0.392312226"
    ],
    [
      "0.461676188",
      "0.324856967"
    ],
    [
      "0.556810518",
      "0.276584891"
    ],
    [
      "0.659981238",
      "0.249563179"
    ],
    [
      "0.766530155",
      "0.245003816"
    ],
    [
      "0.871627238",
      "0.263112337"
    ],
    [
      "0.970505487",
      "0.303067212"
    ],
    [
      "1.058679186",
      "0.363055736"
    ],
    [
      "1.132147675",
      "0.440355527"
    ],
    [
      "1.187573777",
      "0.531451055"
    ],
    [
      "1.222427201",
      "0.632144478"
    ],
    [
      "1.235114829",
      "0.737407952"
    ],
    [
      "1.225658381",
      "0.839286253"
    ],
    [
      "1.205254317",
      "0.906277908"
    ],
    [
      "1.180211836",
      "0.971677030"
    ],
    [
      "1.125103161",
      "1.057884031"
    ],
    [
      "1.050440007",
      "1.133162086"
    ],
    [
      "0.961091114",
      "1.191219900"
    ],
    [
      "0.861401878",
      "1.229068016"
    ],
    [
      "0.755947015",
      "1.244947813"
    ],
    [
      "0.649519582",
      "1.238134485"
    ],
    [
      "0.546948688",
      "1.208936760"
    ],
    [
      "0.452887607",
      "1.158679116"
    ],
    [
      "0.371602928",
      "1.089641048"
    ],
    [
      "0.306780010",
      "1.004951150"
    ],
    [
      "0.261350762",
      "0.908427084"
    ],
    [
      "0.237352863",
      "0.804273931"
    ]
  ]
}

提交格式与技术细节需要编写程序或准备 JSON 答案时再查看＋

子题参数

{
  "n": 30
}

当前第一名的答案

{
  "points": [
    [
      "0.235970667",
      "0.696044399"
    ],
    [
      "0.259429952",
      "0.581599189"
    ],
    [
      "0.311206345",
      "0.476874588"
    ],
    [
      "0.378769340",
      "0.392312226"
    ],
    [
      "0.461676188",
      "0.324856967"
    ],
    [
      "0.556810518",
      "0.276584891"
    ],
    [
      "0.659981238",
      "0.249563179"
    ],
    [
      "0.766530155",
      "0.245003816"
    ],
    [
      "0.871627238",
      "0.263112337"
    ],
    [
      "0.970505487",
      "0.303067212"
    ],
    [
      "1.058679186",
      "0.363055736"
    ],
    [
      "1.132147675",
      "0.440355527"
    ],
    [
      "1.187573777",
      "0.531451055"
    ],
    [
      "1.222427201",
      "0.632144478"
    ],
    [
      "1.235114829",
      "0.737407952"
    ],
    [
      "1.225658381",
      "0.839286253"
    ],
    [
      "1.205254317",
      "0.906277908"
    ],
    [
      "1.180211836",
      "0.971677030"
    ],
    [
      "1.125103161",
      "1.057884031"
    ],
    [
      "1.050440007",
      "1.133162086"
    ],
    [
      "0.961091114",
      "1.191219900"
    ],
    [
      "0.861401878",
      "1.229068016"
    ],
    [
      "0.755947015",
      "1.244947813"
    ],
    [
      "0.649519582",
      "1.238134485"
    ],
    [
      "0.546948688",
      "1.208936760"
    ],
    [
      "0.452887607",
      "1.158679116"
    ],
    [
      "0.371602928",
      "1.089641048"
    ],
    [
      "0.306780010",
      "1.004951150"
    ],
    [
      "0.261350762",
      "0.908427084"
    ],
    [
      "0.237352863",
      "0.804273931"
    ]
  ]
}

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

DISCUSSION

讨论区

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

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