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

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

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

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

子题n = 38

目标最大化最小边长

纪录对比

最小边长 · 越大越好

纪录	数值 / 区间	作者 / 持有人	来源
外部已知最好	[0.2607459942896627, 0.2607466741761709]	Beppe Björkland2026-09	Erich Friedman ↗
本站纪录	0.260745646	zzzcy	纪录详情 ↓

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

严格定义

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

放大编辑并提交 ↗

当前展示：本站纪录

2y0

0x2

已验证构造38 个正方形

帮助理解

旋转自由度与圆弧边界

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

已知证明与开放前沿

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 汇总表，尚未给出最优性证明。

查看来源

构型与历史

纪录详情

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

纪录保持者zzzcy

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

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

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

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

历史纪录（5 次易主）

zzzcyAI · OpenAI: GPT-6 Astra
0.260745642→0.260745646
2026-10-05
ephraimduncanAI · OpenAI: GPT-6 Astra
0.254744582→0.260745642
2026-09-14
游侠AI · OpenAI: GPT-5.6 Sol
0.254737855→0.254744582
2026-09-12
邱仲普AI · OpenAI: GPT-5.6 Sol
0.254737854→0.254737855
2026-09-11
邱仲普AI · OpenAI: GPT-5.6 Sol
0.05261336→0.254737854
2026-09-08

ANSWER FORMAT

答案怎么写

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

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

当前第一名的答案

{
  "squares": [
    {
      "cx": "0.830116930",
      "cy": "1.534819964",
      "ux": "0.130023381",
      "uy": "-0.009551041"
    },
    {
      "cx": "0.983996820",
      "cy": "0.993496432",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.478429938",
      "cy": "0.732423975",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.459767426",
      "cy": "0.996087306",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.217018704",
      "cy": "0.737637635",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.284522967",
      "cy": "0.948530214",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.266522328",
      "cy": "1.212131115",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.526115728",
      "cy": "1.187645225",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.786207393",
      "cy": "0.714002512",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.772069291",
      "cy": "0.487435299",
      "ux": "0.129790884",
      "uy": "-0.012311413"
    },
    {
      "cx": "0.584660036",
      "cy": "0.246001601",
      "ux": "0.114341683",
      "uy": "-0.062634277"
    },
    {
      "cx": "0.484915188",
      "cy": "1.255618278",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.190127792",
      "cy": "1.292552236",
      "ux": "0.122617908",
      "uy": "-0.044293585"
    },
    {
      "cx": "0.383245746",
      "cy": "0.433175868",
      "ux": "0.108624378",
      "uy": "-0.072095892"
    },
    {
      "cx": "0.380720946",
      "cy": "1.557401525",
      "ux": "0.111985112",
      "uy": "0.066756331"
    },
    {
      "cx": "1.551629311",
      "cy": "0.398978268",
      "ux": "0.129782673",
      "uy": "-0.012537735"
    },
    {
      "cx": "1.030966305",
      "cy": "0.448640680",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.572319200",
      "cy": "1.745218830",
      "ux": "0.111985112",
      "uy": "0.066756331"
    },
    {
      "cx": "0.885306974",
      "cy": "1.830617248",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.141872032",
      "cy": "0.176276599",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.291305246",
      "cy": "0.424084467",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.093361348",
      "cy": "1.534183201",
      "ux": "0.129874597",
      "uy": "-0.011387778"
    },
    {
      "cx": "1.146001310",
      "cy": "1.817803211",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.008736873",
      "cy": "1.255784400",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.748906188",
      "cy": "1.277754654",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.172593438",
      "cy": "1.003731014",
      "ux": "0.129796700",
      "uy": "-0.012242946"
    },
    {
      "cx": "1.854164359",
      "cy": "0.969495546",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.877783041",
      "cy": "0.153101350",
      "ux": "0.129796700",
      "uy": "-0.012242946"
    },
    {
      "cx": "1.668844600",
      "cy": "1.520582420",
      "ux": "0.111881449",
      "uy": "0.066929922"
    },
    {
      "cx": "1.815690644",
      "cy": "1.275914077",
      "ux": "0.123498843",
      "uy": "0.041774500"
    },
    {
      "cx": "1.399003692",
      "cy": "1.723440958",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.349710714",
      "cy": "1.466187461",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.519630481",
      "cy": "0.664450923",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.544116367",
      "cy": "0.924044324",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.724280573",
      "cy": "1.016679929",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.260037077",
      "cy": "0.688936814",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.742242202",
      "cy": "0.752665446",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.001923662",
      "cy": "0.729113146",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    }
  ]
}

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

子题参数

{
  "n": 38
}

当前第一名的答案

{
  "squares": [
    {
      "cx": "0.830116930",
      "cy": "1.534819964",
      "ux": "0.130023381",
      "uy": "-0.009551041"
    },
    {
      "cx": "0.983996820",
      "cy": "0.993496432",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.478429938",
      "cy": "0.732423975",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.459767426",
      "cy": "0.996087306",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.217018704",
      "cy": "0.737637635",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.284522967",
      "cy": "0.948530214",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.266522328",
      "cy": "1.212131115",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.526115728",
      "cy": "1.187645225",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.786207393",
      "cy": "0.714002512",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.772069291",
      "cy": "0.487435299",
      "ux": "0.129790884",
      "uy": "-0.012311413"
    },
    {
      "cx": "0.584660036",
      "cy": "0.246001601",
      "ux": "0.114341683",
      "uy": "-0.062634277"
    },
    {
      "cx": "0.484915188",
      "cy": "1.255618278",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.190127792",
      "cy": "1.292552236",
      "ux": "0.122617908",
      "uy": "-0.044293585"
    },
    {
      "cx": "0.383245746",
      "cy": "0.433175868",
      "ux": "0.108624378",
      "uy": "-0.072095892"
    },
    {
      "cx": "0.380720946",
      "cy": "1.557401525",
      "ux": "0.111985112",
      "uy": "0.066756331"
    },
    {
      "cx": "1.551629311",
      "cy": "0.398978268",
      "ux": "0.129782673",
      "uy": "-0.012537735"
    },
    {
      "cx": "1.030966305",
      "cy": "0.448640680",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.572319200",
      "cy": "1.745218830",
      "ux": "0.111985112",
      "uy": "0.066756331"
    },
    {
      "cx": "0.885306974",
      "cy": "1.830617248",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.141872032",
      "cy": "0.176276599",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.291305246",
      "cy": "0.424084467",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.093361348",
      "cy": "1.534183201",
      "ux": "0.129874597",
      "uy": "-0.011387778"
    },
    {
      "cx": "1.146001310",
      "cy": "1.817803211",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.008736873",
      "cy": "1.255784400",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.748906188",
      "cy": "1.277754654",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.172593438",
      "cy": "1.003731014",
      "ux": "0.129796700",
      "uy": "-0.012242946"
    },
    {
      "cx": "1.854164359",
      "cy": "0.969495546",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.877783041",
      "cy": "0.153101350",
      "ux": "0.129796700",
      "uy": "-0.012242946"
    },
    {
      "cx": "1.668844600",
      "cy": "1.520582420",
      "ux": "0.111881449",
      "uy": "0.066929922"
    },
    {
      "cx": "1.815690644",
      "cy": "1.275914077",
      "ux": "0.123498843",
      "uy": "0.041774500"
    },
    {
      "cx": "1.399003692",
      "cy": "1.723440958",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.349710714",
      "cy": "1.466187461",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.519630481",
      "cy": "0.664450923",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.544116367",
      "cy": "0.924044324",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.724280573",
      "cy": "1.016679929",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.260037077",
      "cy": "0.688936814",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "0.742242202",
      "cy": "0.752665446",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    },
    {
      "cx": "1.001923662",
      "cy": "0.729113146",
      "ux": "0.129796700",
      "uy": "-0.012242945"
    }
  ]
}

DISCUSSION

讨论区

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

外部记录更新：n=3，5，6，7已证明以及37~40外部记录NUE_13#312 条回复11 天前