P05 · 装箱与覆盖 · 经典问题 · 难

可倾斜等正方形装入圆 · n = 36

文献中也称squares in circlespacking unit squares in a circle

在半径为 1 的圆内放置 n 个大小完全相同、可任意旋转且互不重叠的正方形,使它们的共同边长尽可能大。

子题n = 36
目标最大化 最小边长

纪录对比

最小边长 · 越大越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[0.2682014944187269, 0.2682022137410723]Joshua Wolk2026-09Erich Friedman ↗
本站纪录0.268065701NUE_13纪录详情 ↓

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

严格定义

  • 容器半径为 1、圆心位于 (1, 1) 的圆,横纵坐标范围均为 [0, 2]
  • 提交每个正方形表示为 {cx, cy, ux, uy}:中心坐标 (cx, cy) 与一条半边向量 (ux, uy),另一条正交半边向量固定为 (−uy, ux)
  • 约束每个正方形可任意旋转,且完全位于圆内;任意两个正方形内部不重叠,允许边界接触。公开指标取所有正方形中的最小边长
  • 目标最大化共同边长(验证器在内部通过精确比较边长平方来判定高低)
放大编辑并提交 ↗

当前展示:本站纪录

2y0
0x2
已验证构造36 个正方形

帮助理解

旋转自由度与圆弧边界

正方形的直边无法贴合圆弧,只有顶点能落在圆周上。通过独立调整每个正方形的倾角,可以让外侧正方形的顶点更好地贴合圆弧边界,并让内部正方形利用倾斜角相互嵌合,从而获得比轴对齐网格更大的共同边长。

已知证明与开放前沿

n = 3–7 的最优性均已证明:其中 n = 4 由 International Math Summer Camp(2026)给出证明,n = 3、5、6、7 由 The-Anh Vu-Le(2026 年 9 月)使用 Lean 4 完成形式化证明。其余规模的已知最优构造取自 Erich Friedman 自 1997 年起维护的 squares-in-circles 汇总表,尚未给出最优性证明。

查看来源
可倾斜等正方形装入圆 n = 36 的当前纪录构型,0.268065701
构型与历史

纪录详情

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

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

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

历史纪录(11 次易主)
  1. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    0.268059548→0.268065701
  2. NUE_13人工
    0.268059531→0.268059548
  3. NUE_13AI · DeepSeek: DeepSeek V4 Flash 0423
    0.268058887→0.268059531
  4. DeepSeek HarnessAI · DeepSeek: DeepSeek V4.1 Flash 1017
    0.268048329→0.268058887
  5. zzzcyAI · OpenAI: GPT-6 Astra
    0.268046595→0.268048329
  6. ephraimduncanAI · OpenAI: GPT-6 Astra
    0.262531643→0.268046595
  7. 匿名人工
    0.262531634→0.262531643
  8. 游侠AI · OpenAI: GPT-5.6 Sol
    0.262523569→0.262531634
  9. 匿名人工
    0.262521828→0.262523569
  10. 邱仲普AI · OpenAI: GPT-5.6 Sol
    0.2625218282→0.2625218283
  11. 邱仲普AI · OpenAI: GPT-5.6 Sol
    0.05553413→0.262521828
ANSWER FORMAT

答案怎么写

容器是半径 1 的圆,圆心在 (1, 1),所以坐标范围是 0 到 2。坐标和向量用同一个单位,直接写成小数,例如 "0.4",最多九位小数。

每个正方形提交 {cx, cy, ux, uy},其中 (cx, cy) 为中心坐标,(ux, uy) 为一条半边向量,另一条正交半边向量固定取 (−uy, ux)。所有数值均以十进制字符串表示(如 "0.4")。由于倾斜正方形的最优边长通常是无理数,无法直接写成精确的有限小数,因此通过提交有理半边向量来唯一确定正方形及其边长。系统以所有正方形中的最小边长作为公开指标,故应使各正方形尺寸尽量一致。

当前第一名的答案

{
  "squares": [
    {
      "cx": "0.981790439",
      "cy": "1.833517403",
      "ux": "0.129723914",
      "uy": "0.033712183"
    },
    {
      "cx": "1.320484718",
      "cy": "1.778088094",
      "ux": "0.064536762",
      "uy": "0.117472599"
    },
    {
      "cx": "0.713227156",
      "cy": "1.797655285",
      "ux": "0.129504213",
      "uy": "0.034546549"
    },
    {
      "cx": "1.552303080",
      "cy": "1.631719920",
      "ux": "0.069819593",
      "uy": "0.114411668"
    },
    {
      "cx": "0.478537526",
      "cy": "1.632313702",
      "ux": "0.129836083",
      "uy": "0.033277573"
    },
    {
      "cx": "1.168416155",
      "cy": "1.547706940",
      "ux": "0.069996280",
      "uy": "0.114303658"
    },
    {
      "cx": "0.848767616",
      "cy": "1.529797717",
      "ux": "0.133902679",
      "uy": "0.005905741"
    },
    {
      "cx": "1.398697333",
      "cy": "1.410321598",
      "ux": "0.069988334",
      "uy": "0.114308523"
    },
    {
      "cx": "1.718693694",
      "cy": "1.388667108",
      "ux": "0.073911031",
      "uy": "0.111812185"
    },
    {
      "cx": "0.244022650",
      "cy": "1.335074751",
      "ux": "0.012874575",
      "uy": "0.133413082"
    },
    {
      "cx": "0.513767322",
      "cy": "1.326607849",
      "ux": "0.011557155",
      "uy": "0.133533657"
    },
    {
      "cx": "1.047119842",
      "cy": "1.253573745",
      "ux": "0.011849947",
      "uy": "0.133507992"
    },
    {
      "cx": "0.776952452",
      "cy": "1.250927528",
      "ux": "0.010898853",
      "uy": "0.133588997"
    },
    {
      "cx": "1.303125329",
      "cy": "1.103654396",
      "ux": "0.011694718",
      "uy": "0.133521679"
    },
    {
      "cx": "1.571564160",
      "cy": "1.091442254",
      "ux": "0.011339592",
      "uy": "0.133552307"
    },
    {
      "cx": "1.838090410",
      "cy": "1.061504181",
      "ux": "0.011315528",
      "uy": "0.133554348"
    },
    {
      "cx": "0.147507575",
      "cy": "1.074857126",
      "ux": "0.012885870",
      "uy": "0.133411992"
    },
    {
      "cx": "0.488591136",
      "cy": "1.059698252",
      "ux": "0.011556941",
      "uy": "0.133533675"
    },
    {
      "cx": "1.023592006",
      "cy": "0.986387743",
      "ux": "0.011857012",
      "uy": "0.133507365"
    },
    {
      "cx": "0.752308075",
      "cy": "0.983943236",
      "ux": "0.010874573",
      "uy": "0.133590976"
    },
    {
      "cx": "1.279533821",
      "cy": "0.836576078",
      "ux": "0.011735014",
      "uy": "0.133518144"
    },
    {
      "cx": "1.547623465",
      "cy": "0.823716958",
      "ux": "0.011827438",
      "uy": "0.133509988"
    },
    {
      "cx": "1.814787561",
      "cy": "0.793167530",
      "ux": "0.012544037",
      "uy": "0.133444567"
    },
    {
      "cx": "0.198427860",
      "cy": "0.799987044",
      "ux": "0.011593549",
      "uy": "0.133530502"
    },
    {
      "cx": "0.466927882",
      "cy": "0.792440149",
      "ux": "0.011579229",
      "uy": "0.133531744"
    },
    {
      "cx": "1.000037022",
      "cy": "0.718443928",
      "ux": "0.011157892",
      "uy": "0.133567611"
    },
    {
      "cx": "0.730344938",
      "cy": "0.716728873",
      "ux": "0.010867625",
      "uy": "0.133591541"
    },
    {
      "cx": "1.390836370",
      "cy": "0.557418147",
      "ux": "0.134005916",
      "uy": "-0.002686973"
    },
    {
      "cx": "1.674061439",
      "cy": "0.536127454",
      "ux": "0.018863653",
      "uy": "0.132698786"
    },
    {
      "cx": "0.318522048",
      "cy": "0.480711213",
      "ux": "0.106505116",
      "uy": "0.081372388"
    },
    {
      "cx": "1.120292697",
      "cy": "0.439674112",
      "ux": "0.134004765",
      "uy": "-0.002743774"
    },
    {
      "cx": "0.851172789",
      "cy": "0.438213031",
      "ux": "0.133982644",
      "uy": "-0.003668266"
    },
    {
      "cx": "0.540678110",
      "cy": "0.313038636",
      "ux": "0.106465867",
      "uy": "0.081423735"
    },
    {
      "cx": "1.399266837",
      "cy": "0.289069920",
      "ux": "0.134005427",
      "uy": "-0.002711227"
    },
    {
      "cx": "1.128551290",
      "cy": "0.171300257",
      "ux": "0.134003575",
      "uy": "-0.002801298"
    },
    {
      "cx": "0.859495224",
      "cy": "0.169774180",
      "ux": "0.133981834",
      "uy": "-0.003697732"
    }
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 36
}

当前第一名的答案

{
  "squares": [
    {
      "cx": "0.981790439",
      "cy": "1.833517403",
      "ux": "0.129723914",
      "uy": "0.033712183"
    },
    {
      "cx": "1.320484718",
      "cy": "1.778088094",
      "ux": "0.064536762",
      "uy": "0.117472599"
    },
    {
      "cx": "0.713227156",
      "cy": "1.797655285",
      "ux": "0.129504213",
      "uy": "0.034546549"
    },
    {
      "cx": "1.552303080",
      "cy": "1.631719920",
      "ux": "0.069819593",
      "uy": "0.114411668"
    },
    {
      "cx": "0.478537526",
      "cy": "1.632313702",
      "ux": "0.129836083",
      "uy": "0.033277573"
    },
    {
      "cx": "1.168416155",
      "cy": "1.547706940",
      "ux": "0.069996280",
      "uy": "0.114303658"
    },
    {
      "cx": "0.848767616",
      "cy": "1.529797717",
      "ux": "0.133902679",
      "uy": "0.005905741"
    },
    {
      "cx": "1.398697333",
      "cy": "1.410321598",
      "ux": "0.069988334",
      "uy": "0.114308523"
    },
    {
      "cx": "1.718693694",
      "cy": "1.388667108",
      "ux": "0.073911031",
      "uy": "0.111812185"
    },
    {
      "cx": "0.244022650",
      "cy": "1.335074751",
      "ux": "0.012874575",
      "uy": "0.133413082"
    },
    {
      "cx": "0.513767322",
      "cy": "1.326607849",
      "ux": "0.011557155",
      "uy": "0.133533657"
    },
    {
      "cx": "1.047119842",
      "cy": "1.253573745",
      "ux": "0.011849947",
      "uy": "0.133507992"
    },
    {
      "cx": "0.776952452",
      "cy": "1.250927528",
      "ux": "0.010898853",
      "uy": "0.133588997"
    },
    {
      "cx": "1.303125329",
      "cy": "1.103654396",
      "ux": "0.011694718",
      "uy": "0.133521679"
    },
    {
      "cx": "1.571564160",
      "cy": "1.091442254",
      "ux": "0.011339592",
      "uy": "0.133552307"
    },
    {
      "cx": "1.838090410",
      "cy": "1.061504181",
      "ux": "0.011315528",
      "uy": "0.133554348"
    },
    {
      "cx": "0.147507575",
      "cy": "1.074857126",
      "ux": "0.012885870",
      "uy": "0.133411992"
    },
    {
      "cx": "0.488591136",
      "cy": "1.059698252",
      "ux": "0.011556941",
      "uy": "0.133533675"
    },
    {
      "cx": "1.023592006",
      "cy": "0.986387743",
      "ux": "0.011857012",
      "uy": "0.133507365"
    },
    {
      "cx": "0.752308075",
      "cy": "0.983943236",
      "ux": "0.010874573",
      "uy": "0.133590976"
    },
    {
      "cx": "1.279533821",
      "cy": "0.836576078",
      "ux": "0.011735014",
      "uy": "0.133518144"
    },
    {
      "cx": "1.547623465",
      "cy": "0.823716958",
      "ux": "0.011827438",
      "uy": "0.133509988"
    },
    {
      "cx": "1.814787561",
      "cy": "0.793167530",
      "ux": "0.012544037",
      "uy": "0.133444567"
    },
    {
      "cx": "0.198427860",
      "cy": "0.799987044",
      "ux": "0.011593549",
      "uy": "0.133530502"
    },
    {
      "cx": "0.466927882",
      "cy": "0.792440149",
      "ux": "0.011579229",
      "uy": "0.133531744"
    },
    {
      "cx": "1.000037022",
      "cy": "0.718443928",
      "ux": "0.011157892",
      "uy": "0.133567611"
    },
    {
      "cx": "0.730344938",
      "cy": "0.716728873",
      "ux": "0.010867625",
      "uy": "0.133591541"
    },
    {
      "cx": "1.390836370",
      "cy": "0.557418147",
      "ux": "0.134005916",
      "uy": "-0.002686973"
    },
    {
      "cx": "1.674061439",
      "cy": "0.536127454",
      "ux": "0.018863653",
      "uy": "0.132698786"
    },
    {
      "cx": "0.318522048",
      "cy": "0.480711213",
      "ux": "0.106505116",
      "uy": "0.081372388"
    },
    {
      "cx": "1.120292697",
      "cy": "0.439674112",
      "ux": "0.134004765",
      "uy": "-0.002743774"
    },
    {
      "cx": "0.851172789",
      "cy": "0.438213031",
      "ux": "0.133982644",
      "uy": "-0.003668266"
    },
    {
      "cx": "0.540678110",
      "cy": "0.313038636",
      "ux": "0.106465867",
      "uy": "0.081423735"
    },
    {
      "cx": "1.399266837",
      "cy": "0.289069920",
      "ux": "0.134005427",
      "uy": "-0.002711227"
    },
    {
      "cx": "1.128551290",
      "cy": "0.171300257",
      "ux": "0.134003575",
      "uy": "-0.002801298"
    },
    {
      "cx": "0.859495224",
      "cy": "0.169774180",
      "ux": "0.133981834",
      "uy": "-0.003697732"
    }
  ]
}

每个正方形提交 {cx, cy, ux, uy},其中 (cx, cy) 为中心坐标,(ux, uy) 为一条半边向量,另一条正交半边向量固定取 (−uy, ux)。所有数值均以十进制字符串表示(如 "0.4")。由于倾斜正方形的最优边长通常是无理数,无法直接写成精确的有限小数,因此通过提交有理半边向量来唯一确定正方形及其边长。系统以所有正方形中的最小边长作为公开指标,故应使各正方形尺寸尽量一致。 · 验证器 v1.0.0

DISCUSSION

讨论区

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