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

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

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

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

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

纪录对比

最小边长 · 越大越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[0.2777692903827938, 0.2777700619427239]见来源署名Erich Friedman ↗
本站纪录0.277769436NUE_13纪录详情 ↓

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

严格定义

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

当前展示:本站纪录

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

帮助理解

旋转自由度与圆弧边界

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

已知证明与开放前沿

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 = 33 的当前纪录构型,0.277769436
构型与历史

纪录详情

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

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

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

历史纪录(5 次易主)
  1. NUE_13AI · DeepSeek: DeepSeek V4.1 Flash
    0.277769429→0.277769436
  2. DeepSeek HarnessAI · DeepSeek: DeepSeek V4.1 Flash 1017
    0.277606774→0.277769429
  3. zzzcyAI · OpenAI: GPT-6 Astra
    0.277606763→0.277606774
  4. 游侠AI · OpenAI: GPT-5.6 Sol
    0.27760675→0.277606763
  5. 邱仲普AI · OpenAI: GPT-5.6 Sol
    0.277606749→0.27760675
ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "squares": [
    {
      "cx": "0.983782101",
      "cy": "1.007785868",
      "ux": "0.033512596",
      "uy": "0.134780827"
    },
    {
      "cx": "1.051166131",
      "cy": "1.277258584",
      "ux": "0.134780826",
      "uy": "-0.033512597"
    },
    {
      "cx": "0.682041583",
      "cy": "0.948771835",
      "ux": "0.134696284",
      "uy": "-0.033850797"
    },
    {
      "cx": "0.915945155",
      "cy": "0.738425765",
      "ux": "0.134780826",
      "uy": "-0.033512599"
    },
    {
      "cx": "1.222076138",
      "cy": "0.814968195",
      "ux": "0.134746664",
      "uy": "-0.033649693"
    },
    {
      "cx": "1.289460140",
      "cy": "1.084440775",
      "ux": "0.033649784",
      "uy": "0.134746641"
    },
    {
      "cx": "1.378278259",
      "cy": "1.367009762",
      "ux": "0.051990559",
      "uy": "0.128786439"
    },
    {
      "cx": "1.130635160",
      "cy": "1.543726423",
      "ux": "0.134780826",
      "uy": "-0.033512597"
    },
    {
      "cx": "0.817262248",
      "cy": "1.487603431",
      "ux": "0.134696287",
      "uy": "-0.033850783"
    },
    {
      "cx": "0.749878109",
      "cy": "1.218130795",
      "ux": "0.134696288",
      "uy": "-0.033850780"
    },
    {
      "cx": "0.416081763",
      "cy": "1.030133914",
      "ux": "0.134696281",
      "uy": "-0.033850809"
    },
    {
      "cx": "0.482813673",
      "cy": "0.712433125",
      "ux": "0.134696284",
      "uy": "-0.033850795"
    },
    {
      "cx": "0.716634054",
      "cy": "0.501756076",
      "ux": "0.134780822",
      "uy": "-0.033512612"
    },
    {
      "cx": "1.008129418",
      "cy": "0.431543980",
      "ux": "0.009540968",
      "uy": "0.138556614"
    },
    {
      "cx": "1.291925600",
      "cy": "0.509509653",
      "ux": "0.009540965",
      "uy": "0.138556614"
    },
    {
      "cx": "1.496622030",
      "cy": "0.767541256",
      "ux": "0.033649782",
      "uy": "0.134746642"
    },
    {
      "cx": "1.563921671",
      "cy": "1.037034811",
      "ux": "0.033649777",
      "uy": "0.134746643"
    },
    {
      "cx": "1.753661014",
      "cy": "1.317529431",
      "ux": "0.100814477",
      "uy": "0.095526993"
    },
    {
      "cx": "1.623928286",
      "cy": "1.577263873",
      "ux": "0.095526988",
      "uy": "-0.100814482"
    },
    {
      "cx": "1.361391502",
      "cy": "1.769166673",
      "ux": "0.126481505",
      "uy": "-0.057370673"
    },
    {
      "cx": "1.048326714",
      "cy": "1.850051213",
      "ux": "0.138660818",
      "uy": "-0.007883073"
    },
    {
      "cx": "0.725541680",
      "cy": "1.805974582",
      "ux": "0.131471023",
      "uy": "0.044769803"
    },
    {
      "cx": "0.488788500",
      "cy": "1.639527849",
      "ux": "-0.044769827",
      "uy": "0.131471014"
    },
    {
      "cx": "0.483793013",
      "cy": "1.299702283",
      "ux": "0.134738265",
      "uy": "-0.033683306"
    },
    {
      "cx": "0.174252402",
      "cy": "1.207517335",
      "ux": "0.134696397",
      "uy": "-0.033850346"
    },
    {
      "cx": "0.216853814",
      "cy": "0.793795172",
      "ux": "0.033850755",
      "uy": "0.134696294"
    },
    {
      "cx": "0.415428669",
      "cy": "0.442960710",
      "ux": "-0.033850795",
      "uy": "-0.134696284"
    },
    {
      "cx": "0.693122977",
      "cy": "0.221374559",
      "ux": "-0.134780822",
      "uy": "0.033512612"
    },
    {
      "cx": "0.985492080",
      "cy": "0.154675297",
      "ux": "0.009540966",
      "uy": "0.138556614"
    },
    {
      "cx": "1.272843641",
      "cy": "0.232396149",
      "ux": "0.138556614",
      "uy": "-0.009540964"
    },
    {
      "cx": "1.588047759",
      "cy": "0.443772783",
      "ux": "0.033649763",
      "uy": "0.134746647"
    },
    {
      "cx": "1.772436872",
      "cy": "0.684026030",
      "ux": "-0.033649773",
      "uy": "-0.134746644"
    },
    {
      "cx": "1.829974556",
      "cy": "0.955957399",
      "ux": "0.134746645",
      "uy": "-0.033649771"
    }
  ]
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 33
}

当前第一名的答案

{
  "squares": [
    {
      "cx": "0.983782101",
      "cy": "1.007785868",
      "ux": "0.033512596",
      "uy": "0.134780827"
    },
    {
      "cx": "1.051166131",
      "cy": "1.277258584",
      "ux": "0.134780826",
      "uy": "-0.033512597"
    },
    {
      "cx": "0.682041583",
      "cy": "0.948771835",
      "ux": "0.134696284",
      "uy": "-0.033850797"
    },
    {
      "cx": "0.915945155",
      "cy": "0.738425765",
      "ux": "0.134780826",
      "uy": "-0.033512599"
    },
    {
      "cx": "1.222076138",
      "cy": "0.814968195",
      "ux": "0.134746664",
      "uy": "-0.033649693"
    },
    {
      "cx": "1.289460140",
      "cy": "1.084440775",
      "ux": "0.033649784",
      "uy": "0.134746641"
    },
    {
      "cx": "1.378278259",
      "cy": "1.367009762",
      "ux": "0.051990559",
      "uy": "0.128786439"
    },
    {
      "cx": "1.130635160",
      "cy": "1.543726423",
      "ux": "0.134780826",
      "uy": "-0.033512597"
    },
    {
      "cx": "0.817262248",
      "cy": "1.487603431",
      "ux": "0.134696287",
      "uy": "-0.033850783"
    },
    {
      "cx": "0.749878109",
      "cy": "1.218130795",
      "ux": "0.134696288",
      "uy": "-0.033850780"
    },
    {
      "cx": "0.416081763",
      "cy": "1.030133914",
      "ux": "0.134696281",
      "uy": "-0.033850809"
    },
    {
      "cx": "0.482813673",
      "cy": "0.712433125",
      "ux": "0.134696284",
      "uy": "-0.033850795"
    },
    {
      "cx": "0.716634054",
      "cy": "0.501756076",
      "ux": "0.134780822",
      "uy": "-0.033512612"
    },
    {
      "cx": "1.008129418",
      "cy": "0.431543980",
      "ux": "0.009540968",
      "uy": "0.138556614"
    },
    {
      "cx": "1.291925600",
      "cy": "0.509509653",
      "ux": "0.009540965",
      "uy": "0.138556614"
    },
    {
      "cx": "1.496622030",
      "cy": "0.767541256",
      "ux": "0.033649782",
      "uy": "0.134746642"
    },
    {
      "cx": "1.563921671",
      "cy": "1.037034811",
      "ux": "0.033649777",
      "uy": "0.134746643"
    },
    {
      "cx": "1.753661014",
      "cy": "1.317529431",
      "ux": "0.100814477",
      "uy": "0.095526993"
    },
    {
      "cx": "1.623928286",
      "cy": "1.577263873",
      "ux": "0.095526988",
      "uy": "-0.100814482"
    },
    {
      "cx": "1.361391502",
      "cy": "1.769166673",
      "ux": "0.126481505",
      "uy": "-0.057370673"
    },
    {
      "cx": "1.048326714",
      "cy": "1.850051213",
      "ux": "0.138660818",
      "uy": "-0.007883073"
    },
    {
      "cx": "0.725541680",
      "cy": "1.805974582",
      "ux": "0.131471023",
      "uy": "0.044769803"
    },
    {
      "cx": "0.488788500",
      "cy": "1.639527849",
      "ux": "-0.044769827",
      "uy": "0.131471014"
    },
    {
      "cx": "0.483793013",
      "cy": "1.299702283",
      "ux": "0.134738265",
      "uy": "-0.033683306"
    },
    {
      "cx": "0.174252402",
      "cy": "1.207517335",
      "ux": "0.134696397",
      "uy": "-0.033850346"
    },
    {
      "cx": "0.216853814",
      "cy": "0.793795172",
      "ux": "0.033850755",
      "uy": "0.134696294"
    },
    {
      "cx": "0.415428669",
      "cy": "0.442960710",
      "ux": "-0.033850795",
      "uy": "-0.134696284"
    },
    {
      "cx": "0.693122977",
      "cy": "0.221374559",
      "ux": "-0.134780822",
      "uy": "0.033512612"
    },
    {
      "cx": "0.985492080",
      "cy": "0.154675297",
      "ux": "0.009540966",
      "uy": "0.138556614"
    },
    {
      "cx": "1.272843641",
      "cy": "0.232396149",
      "ux": "0.138556614",
      "uy": "-0.009540964"
    },
    {
      "cx": "1.588047759",
      "cy": "0.443772783",
      "ux": "0.033649763",
      "uy": "0.134746647"
    },
    {
      "cx": "1.772436872",
      "cy": "0.684026030",
      "ux": "-0.033649773",
      "uy": "-0.134746644"
    },
    {
      "cx": "1.829974556",
      "cy": "0.955957399",
      "ux": "0.134746645",
      "uy": "-0.033649771"
    }
  ]
}

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

DISCUSSION

讨论区

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