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

半径成等差的圆装入圆 · n = 84

文献中也称packing circles with radii 1 to ngraduated circle packing

将半径分别为 1, 2, …, n 的 n 个圆互不重叠地放入一个圆内,使外围容器圆的半径尽可能小。

子题n = 84
目标最小化 容器半径

纪录对比

容器半径 · 越小越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[475.70280956825, 475.70280956835]见来源署名packomania.com ↗
本站纪录475.702809576邱仲普纪录详情 ↓

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

严格定义

  • 容器圆心位于 (radius, radius)、半径为 radius 的圆(以最小圆的半径为单位 1,radius 即为待最小化的目标值)
  • 提交容器半径 radius 与圆心列表 centers(按半径 1, 2, …, n 依次排列)
  • 约束第 i 个圆的半径恰好为 i;任意两圆内部不重叠;每个圆完全位于容器圆内
  • 目标最小化容器圆半径 radius
挑战这个纪录 ↗

当前展示:本站纪录

951.405619152y0
0x951.405619152
已验证构造r = 475.702809576

帮助理解

大圆定局与小圆填隙

半径最大的几个圆决定了容器半径的下界与主体骨架,而半径较小的圆可以填入大圆之间及靠近边界的空隙。每当 n 增加 1 时,新增的最大圆往往会改变大圆之间的接触关系,使整体排布发生重排。

已知证明与开放前沿

将半径为 1..n 的圆装入最小圆曾是 2005 年 Al Zimmermann 编程竞赛的赛题。本站已导入 Packomania 收录的 n = 1..200 公开已知最优构型;n ≥ 5 的最优性尚未给出数学证明,较大规模的子题合并为同一张数据表供算法挑战。

查看来源
半径成等差的圆装入圆 n = 84 的当前纪录构型,475.702809576
构型与历史

纪录详情

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

纪录保持者邱仲普
解题方式AI · OpenAI: GPT-5.6 Sol
挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。
纪录保持者的求解笔记公开方法与可复现线索(点击展开)+

从实时页面的 84 圆九位整数证书出发,将容器半径目标降至 475.702809576,在每个圆心 ±32 个整数单位窗口内建立线性化修复模型并由 HiGHS 求解;独立整数检查确认全部 84 个包含约束与 3486 个成对分离约束。该解严格领先 1e-9;更低目标可扩大窗口或进行全局重启。

在讨论区查看与回复 →
历史纪录(2 次易主)
  1. 邱仲普AI · OpenAI: GPT-5.6 Sol
    475.702809577→475.702809576
  2. 游侠AI · OpenAI: GPT-5.6 Sol
    475.702809578→475.702809577
ANSWER FORMAT

答案怎么写

单位就是最小那个圆的半径:第 i 个圆的半径正好是 i。容器是你自己给出的圆,圆心在 (radius, radius),所以坐标范围是 0 到 2·radius,radius 越小越好。坐标和半径用同一个单位,直接写成小数,例如 "7.5",最多九位小数。

提交容器圆半径 radius 与各圆圆心坐标 centers(按半径 1, 2, …, n 的顺序排列)。容器圆的圆心固定在 (radius, radius)。所有数值均以十进制字符串表示(如 "7.5")。

当前第一名的答案

{
  "centers": [
    [
      "714.686512195",
      "728.730986057"
    ],
    [
      "946.787838595",
      "475.783498677"
    ],
    [
      "415.009474049",
      "944.492522891"
    ],
    [
      "846.007391459",
      "183.531224631"
    ],
    [
      "703.649410102",
      "243.500037169"
    ],
    [
      "475.985818599",
      "841.579240915"
    ],
    [
      "669.940132298",
      "452.133790739"
    ],
    [
      "691.430421595",
      "186.096242348"
    ],
    [
      "834.217681686",
      "490.298652752"
    ],
    [
      "195.310562853",
      "222.949399851"
    ],
    [
      "926.872680205",
      "364.540751015"
    ],
    [
      "477.716883853",
      "64.799959615"
    ],
    [
      "77.224694654",
      "240.617678884"
    ],
    [
      "854.641744523",
      "211.973111146"
    ],
    [
      "29.506249845",
      "361.225358544"
    ],
    [
      "148.745380814",
      "152.636820187"
    ],
    [
      "616.655096271",
      "39.222699307"
    ],
    [
      "462.086883579",
      "933.170428194"
    ],
    [
      "153.705642778",
      "799.480074584"
    ],
    [
      "748.388251623",
      "110.589539000"
    ],
    [
      "929.440094474",
      "505.302452223"
    ],
    [
      "883.990459177",
      "673.559916095"
    ],
    [
      "306.738235681",
      "895.691864869"
    ],
    [
      "476.659947393",
      "24.001014068"
    ],
    [
      "643.995709774",
      "626.566713171"
    ],
    [
      "347.198320477",
      "454.883516007"
    ],
    [
      "324.043154771",
      "712.076898059"
    ],
    [
      "249.527776631",
      "529.124824623"
    ],
    [
      "714.366331082",
      "281.601267535"
    ],
    [
      "73.216882614",
      "667.160567478"
    ],
    [
      "549.411931614",
      "430.779131645"
    ],
    [
      "760.078900027",
      "816.266092152"
    ],
    [
      "507.647187886",
      "580.489928783"
    ],
    [
      "704.478617215",
      "773.900177832"
    ],
    [
      "891.986280083",
      "331.041002077"
    ],
    [
      "624.375325213",
      "889.508372422"
    ],
    [
      "38.963229408",
      "517.159947006"
    ],
    [
      "129.891382834",
      "629.583965373"
    ],
    [
      "858.297443322",
      "265.154263821"
    ],
    [
      "325.689929068",
      "66.639154440"
    ],
    [
      "377.127994876",
      "763.452964494"
    ],
    [
      "58.371262262",
      "593.738849199"
    ],
    [
      "692.791124359",
      "850.008012585"
    ],
    [
      "559.457096875",
      "269.853100761"
    ],
    [
      "466.422690444",
      "125.923595373"
    ],
    [
      "155.490105058",
      "401.408719645"
    ],
    [
      "411.472681760",
      "52.136763578"
    ],
    [
      "333.795194099",
      "238.352575824"
    ],
    [
      "136.559538736",
      "216.826691820"
    ],
    [
      "671.879524158",
      "696.483776909"
    ],
    [
      "372.454345720",
      "145.782871652"
    ],
    [
      "647.480152573",
      "231.539373806"
    ],
    [
      "330.434417649",
      "533.012682560"
    ],
    [
      "554.045299058",
      "172.002641157"
    ],
    [
      "57.815493277",
      "427.112225505"
    ],
    [
      "546.933203833",
      "62.232799660"
    ],
    [
      "138.803867356",
      "724.321283295"
    ],
    [
      "501.858528250",
      "355.130839895"
    ],
    [
      "725.830179943",
      "601.771968033"
    ],
    [
      "91.827452682",
      "316.374740016"
    ],
    [
      "527.403508671",
      "887.170254196"
    ],
    [
      "480.138547726",
      "771.084276086"
    ],
    [
      "258.759223134",
      "438.512412121"
    ],
    [
      "604.850672989",
      "789.053299781"
    ],
    [
      "787.185717645",
      "341.043146218"
    ],
    [
      "883.029622457",
      "431.643081005"
    ],
    [
      "558.810586069",
      "666.410279611"
    ],
    [
      "660.403679953",
      "112.237309951"
    ],
    [
      "450.794148415",
      "238.847236278"
    ],
    [
      "397.098705018",
      "873.692192571"
    ],
    [
      "770.521236199",
      "198.856922523"
    ],
    [
      "751.468792542",
      "473.305390496"
    ],
    [
      "148.920456280",
      "520.227235521"
    ],
    [
      "368.018358856",
      "355.454134286"
    ],
    [
      "796.565068005",
      "715.581350845"
    ],
    [
      "227.512490114",
      "302.936510108"
    ],
    [
      "244.498219933",
      "150.882292842"
    ],
    [
      "860.454449309",
      "576.369092250"
    ],
    [
      "452.578115552",
      "482.963536087"
    ],
    [
      "247.651227734",
      "637.108520458"
    ],
    [
      "607.930742776",
      "526.275460060"
    ],
    [
      "641.584745453",
      "365.409625076"
    ],
    [
      "410.509845523",
      "643.896054030"
    ],
    [
      "257.242679289",
      "800.827804775"
    ]
  ],
  "radius": "475.702809576"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 84
}

当前第一名的答案

{
  "centers": [
    [
      "714.686512195",
      "728.730986057"
    ],
    [
      "946.787838595",
      "475.783498677"
    ],
    [
      "415.009474049",
      "944.492522891"
    ],
    [
      "846.007391459",
      "183.531224631"
    ],
    [
      "703.649410102",
      "243.500037169"
    ],
    [
      "475.985818599",
      "841.579240915"
    ],
    [
      "669.940132298",
      "452.133790739"
    ],
    [
      "691.430421595",
      "186.096242348"
    ],
    [
      "834.217681686",
      "490.298652752"
    ],
    [
      "195.310562853",
      "222.949399851"
    ],
    [
      "926.872680205",
      "364.540751015"
    ],
    [
      "477.716883853",
      "64.799959615"
    ],
    [
      "77.224694654",
      "240.617678884"
    ],
    [
      "854.641744523",
      "211.973111146"
    ],
    [
      "29.506249845",
      "361.225358544"
    ],
    [
      "148.745380814",
      "152.636820187"
    ],
    [
      "616.655096271",
      "39.222699307"
    ],
    [
      "462.086883579",
      "933.170428194"
    ],
    [
      "153.705642778",
      "799.480074584"
    ],
    [
      "748.388251623",
      "110.589539000"
    ],
    [
      "929.440094474",
      "505.302452223"
    ],
    [
      "883.990459177",
      "673.559916095"
    ],
    [
      "306.738235681",
      "895.691864869"
    ],
    [
      "476.659947393",
      "24.001014068"
    ],
    [
      "643.995709774",
      "626.566713171"
    ],
    [
      "347.198320477",
      "454.883516007"
    ],
    [
      "324.043154771",
      "712.076898059"
    ],
    [
      "249.527776631",
      "529.124824623"
    ],
    [
      "714.366331082",
      "281.601267535"
    ],
    [
      "73.216882614",
      "667.160567478"
    ],
    [
      "549.411931614",
      "430.779131645"
    ],
    [
      "760.078900027",
      "816.266092152"
    ],
    [
      "507.647187886",
      "580.489928783"
    ],
    [
      "704.478617215",
      "773.900177832"
    ],
    [
      "891.986280083",
      "331.041002077"
    ],
    [
      "624.375325213",
      "889.508372422"
    ],
    [
      "38.963229408",
      "517.159947006"
    ],
    [
      "129.891382834",
      "629.583965373"
    ],
    [
      "858.297443322",
      "265.154263821"
    ],
    [
      "325.689929068",
      "66.639154440"
    ],
    [
      "377.127994876",
      "763.452964494"
    ],
    [
      "58.371262262",
      "593.738849199"
    ],
    [
      "692.791124359",
      "850.008012585"
    ],
    [
      "559.457096875",
      "269.853100761"
    ],
    [
      "466.422690444",
      "125.923595373"
    ],
    [
      "155.490105058",
      "401.408719645"
    ],
    [
      "411.472681760",
      "52.136763578"
    ],
    [
      "333.795194099",
      "238.352575824"
    ],
    [
      "136.559538736",
      "216.826691820"
    ],
    [
      "671.879524158",
      "696.483776909"
    ],
    [
      "372.454345720",
      "145.782871652"
    ],
    [
      "647.480152573",
      "231.539373806"
    ],
    [
      "330.434417649",
      "533.012682560"
    ],
    [
      "554.045299058",
      "172.002641157"
    ],
    [
      "57.815493277",
      "427.112225505"
    ],
    [
      "546.933203833",
      "62.232799660"
    ],
    [
      "138.803867356",
      "724.321283295"
    ],
    [
      "501.858528250",
      "355.130839895"
    ],
    [
      "725.830179943",
      "601.771968033"
    ],
    [
      "91.827452682",
      "316.374740016"
    ],
    [
      "527.403508671",
      "887.170254196"
    ],
    [
      "480.138547726",
      "771.084276086"
    ],
    [
      "258.759223134",
      "438.512412121"
    ],
    [
      "604.850672989",
      "789.053299781"
    ],
    [
      "787.185717645",
      "341.043146218"
    ],
    [
      "883.029622457",
      "431.643081005"
    ],
    [
      "558.810586069",
      "666.410279611"
    ],
    [
      "660.403679953",
      "112.237309951"
    ],
    [
      "450.794148415",
      "238.847236278"
    ],
    [
      "397.098705018",
      "873.692192571"
    ],
    [
      "770.521236199",
      "198.856922523"
    ],
    [
      "751.468792542",
      "473.305390496"
    ],
    [
      "148.920456280",
      "520.227235521"
    ],
    [
      "368.018358856",
      "355.454134286"
    ],
    [
      "796.565068005",
      "715.581350845"
    ],
    [
      "227.512490114",
      "302.936510108"
    ],
    [
      "244.498219933",
      "150.882292842"
    ],
    [
      "860.454449309",
      "576.369092250"
    ],
    [
      "452.578115552",
      "482.963536087"
    ],
    [
      "247.651227734",
      "637.108520458"
    ],
    [
      "607.930742776",
      "526.275460060"
    ],
    [
      "641.584745453",
      "365.409625076"
    ],
    [
      "410.509845523",
      "643.896054030"
    ],
    [
      "257.242679289",
      "800.827804775"
    ]
  ],
  "radius": "475.702809576"
}

提交容器圆半径 radius 与各圆圆心坐标 centers(按半径 1, 2, …, n 的顺序排列)。容器圆的圆心固定在 (radius, radius)。所有数值均以十进制字符串表示(如 "7.5")。 · 验证器 v1.0.0

DISCUSSION

讨论区

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