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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1305.760368942y0
0x1305.760368942
已验证构造r = 652.880184471

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "867.143137941",
      "841.775846233"
    ],
    [
      "436.083109163",
      "112.566382048"
    ],
    [
      "61.636666431",
      "410.960933741"
    ],
    [
      "12.597008946",
      "677.430582591"
    ],
    [
      "764.269035858",
      "17.727545184"
    ],
    [
      "167.453356235",
      "664.073982555"
    ],
    [
      "730.879214525",
      "1017.869507383"
    ],
    [
      "717.207527505",
      "392.349958677"
    ],
    [
      "627.158629891",
      "212.382411187"
    ],
    [
      "1043.410998231",
      "956.610721602"
    ],
    [
      "550.617664348",
      "190.000372602"
    ],
    [
      "711.551211001",
      "169.593710747"
    ],
    [
      "923.091315855",
      "72.880105879"
    ],
    [
      "928.426905729",
      "319.185645513"
    ],
    [
      "1148.108219235",
      "1054.823570663"
    ],
    [
      "1287.222253275",
      "708.910112382"
    ],
    [
      "524.546225282",
      "30.159102309"
    ],
    [
      "182.129886820",
      "226.907004120"
    ],
    [
      "1236.247569796",
      "405.060147629"
    ],
    [
      "1275.669820548",
      "540.788246735"
    ],
    [
      "669.427715884",
      "1284.453818066"
    ],
    [
      "838.123325614",
      "1255.946608392"
    ],
    [
      "1003.325560821",
      "1176.151794511"
    ],
    [
      "493.007758511",
      "1261.051871195"
    ],
    [
      "97.586318509",
      "945.721873784"
    ],
    [
      "1129.701002984",
      "246.086290140"
    ],
    [
      "302.001180658",
      "1171.058882848"
    ],
    [
      "730.561210767",
      "32.967884375"
    ],
    [
      "950.688182802",
      "104.732223530"
    ],
    [
      "518.734701510",
      "429.390477172"
    ],
    [
      "947.982863671",
      "682.354477785"
    ],
    [
      "552.930536028",
      "802.566651246"
    ],
    [
      "1002.811945062",
      "544.305445303"
    ],
    [
      "42.085505198",
      "553.257995863"
    ],
    [
      "737.855784930",
      "350.886474671"
    ],
    [
      "211.086464952",
      "667.566184600"
    ],
    [
      "1240.595903433",
      "836.996004835"
    ],
    [
      "140.382791686",
      "992.321365398"
    ],
    [
      "83.575704701",
      "882.490404519"
    ],
    [
      "40.533380280",
      "627.316305436"
    ],
    [
      "1157.422615272",
      "998.901670091"
    ],
    [
      "165.522743840",
      "284.599657272"
    ],
    [
      "1253.621639715",
      "758.063564136"
    ],
    [
      "477.765465823",
      "69.814805145"
    ],
    [
      "386.287065333",
      "106.577678985"
    ],
    [
      "219.309672988",
      "354.573978306"
    ],
    [
      "987.359686479",
      "749.685494602"
    ],
    [
      "667.487588724",
      "1123.310088497"
    ],
    [
      "1097.526375317",
      "931.343262113"
    ],
    [
      "670.957484945",
      "1025.371537249"
    ],
    [
      "1195.778546154",
      "912.728458162"
    ],
    [
      "663.023874552",
      "516.327776685"
    ],
    [
      "122.106886881",
      "373.352113813"
    ],
    [
      "411.495769485",
      "697.407233357"
    ],
    [
      "82.447522668",
      "473.806754474"
    ],
    [
      "554.652921336",
      "507.530617207"
    ],
    [
      "575.109849803",
      "253.805205876"
    ],
    [
      "326.002373095",
      "904.002869121"
    ],
    [
      "1221.617245622",
      "481.907003011"
    ],
    [
      "524.350744070",
      "713.524140989"
    ],
    [
      "887.411194565",
      "1024.554134022"
    ],
    [
      "439.638336044",
      "476.377336721"
    ],
    [
      "199.837174281",
      "461.820525081"
    ],
    [
      "476.579390551",
      "598.812466773"
    ],
    [
      "604.642895135",
      "617.721372353"
    ],
    [
      "773.553017102",
      "1080.985244242"
    ],
    [
      "1099.235465532",
      "512.203896127"
    ],
    [
      "561.713262298",
      "1069.977588615"
    ],
    [
      "470.910052718",
      "182.964523443"
    ],
    [
      "702.099222461",
      "252.162271760"
    ],
    [
      "142.886603077",
      "584.364963394"
    ],
    [
      "325.145729207",
      "406.753756041"
    ],
    [
      "195.412912682",
      "892.184115224"
    ],
    [
      "1045.154252681",
      "642.571049598"
    ],
    [
      "744.923346065",
      "614.081074324"
    ],
    [
      "839.203203558",
      "305.612853903"
    ],
    [
      "745.048967917",
      "1221.336781076"
    ],
    [
      "436.875112010",
      "987.564627680"
    ],
    [
      "589.060103267",
      "1223.200676268"
    ],
    [
      "896.934579363",
      "583.789409585"
    ],
    [
      "442.989753314",
      "828.682246146"
    ],
    [
      "460.670665067",
      "333.616954359"
    ],
    [
      "896.002105631",
      "1168.297642561"
    ],
    [
      "624.154436909",
      "386.000623649"
    ],
    [
      "787.889630096",
      "459.958076557"
    ],
    [
      "287.632546779",
      "762.659835308"
    ],
    [
      "585.971601347",
      "916.887637972"
    ],
    [
      "1136.951874760",
      "361.737227372"
    ],
    [
      "845.492241458",
      "744.769799295"
    ],
    [
      "667.105837662",
      "759.578274938"
    ],
    [
      "1209.778306409",
      "631.439071541"
    ],
    [
      "1120.091845490",
      "790.955022881"
    ],
    [
      "1037.291827635",
      "1059.934860850"
    ],
    [
      "961.179178361",
      "888.233612578"
    ],
    [
      "964.247415661",
      "422.253091471"
    ],
    [
      "425.416305991",
      "1161.186906680"
    ],
    [
      "105.213745209",
      "748.086543463"
    ],
    [
      "770.973173851",
      "916.280465328"
    ],
    [
      "265.849382439",
      "1049.100346789"
    ],
    [
      "313.781762582",
      "578.377939252"
    ],
    [
      "620.369125278",
      "101.958439537"
    ],
    [
      "821.628835911",
      "128.482558352"
    ],
    [
      "1001.193145111",
      "227.384827598"
    ],
    [
      "304.807001720",
      "231.325421398"
    ]
  ],
  "radius": "652.880184471"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 104
}

当前第一名的答案

{
  "centers": [
    [
      "867.143137941",
      "841.775846233"
    ],
    [
      "436.083109163",
      "112.566382048"
    ],
    [
      "61.636666431",
      "410.960933741"
    ],
    [
      "12.597008946",
      "677.430582591"
    ],
    [
      "764.269035858",
      "17.727545184"
    ],
    [
      "167.453356235",
      "664.073982555"
    ],
    [
      "730.879214525",
      "1017.869507383"
    ],
    [
      "717.207527505",
      "392.349958677"
    ],
    [
      "627.158629891",
      "212.382411187"
    ],
    [
      "1043.410998231",
      "956.610721602"
    ],
    [
      "550.617664348",
      "190.000372602"
    ],
    [
      "711.551211001",
      "169.593710747"
    ],
    [
      "923.091315855",
      "72.880105879"
    ],
    [
      "928.426905729",
      "319.185645513"
    ],
    [
      "1148.108219235",
      "1054.823570663"
    ],
    [
      "1287.222253275",
      "708.910112382"
    ],
    [
      "524.546225282",
      "30.159102309"
    ],
    [
      "182.129886820",
      "226.907004120"
    ],
    [
      "1236.247569796",
      "405.060147629"
    ],
    [
      "1275.669820548",
      "540.788246735"
    ],
    [
      "669.427715884",
      "1284.453818066"
    ],
    [
      "838.123325614",
      "1255.946608392"
    ],
    [
      "1003.325560821",
      "1176.151794511"
    ],
    [
      "493.007758511",
      "1261.051871195"
    ],
    [
      "97.586318509",
      "945.721873784"
    ],
    [
      "1129.701002984",
      "246.086290140"
    ],
    [
      "302.001180658",
      "1171.058882848"
    ],
    [
      "730.561210767",
      "32.967884375"
    ],
    [
      "950.688182802",
      "104.732223530"
    ],
    [
      "518.734701510",
      "429.390477172"
    ],
    [
      "947.982863671",
      "682.354477785"
    ],
    [
      "552.930536028",
      "802.566651246"
    ],
    [
      "1002.811945062",
      "544.305445303"
    ],
    [
      "42.085505198",
      "553.257995863"
    ],
    [
      "737.855784930",
      "350.886474671"
    ],
    [
      "211.086464952",
      "667.566184600"
    ],
    [
      "1240.595903433",
      "836.996004835"
    ],
    [
      "140.382791686",
      "992.321365398"
    ],
    [
      "83.575704701",
      "882.490404519"
    ],
    [
      "40.533380280",
      "627.316305436"
    ],
    [
      "1157.422615272",
      "998.901670091"
    ],
    [
      "165.522743840",
      "284.599657272"
    ],
    [
      "1253.621639715",
      "758.063564136"
    ],
    [
      "477.765465823",
      "69.814805145"
    ],
    [
      "386.287065333",
      "106.577678985"
    ],
    [
      "219.309672988",
      "354.573978306"
    ],
    [
      "987.359686479",
      "749.685494602"
    ],
    [
      "667.487588724",
      "1123.310088497"
    ],
    [
      "1097.526375317",
      "931.343262113"
    ],
    [
      "670.957484945",
      "1025.371537249"
    ],
    [
      "1195.778546154",
      "912.728458162"
    ],
    [
      "663.023874552",
      "516.327776685"
    ],
    [
      "122.106886881",
      "373.352113813"
    ],
    [
      "411.495769485",
      "697.407233357"
    ],
    [
      "82.447522668",
      "473.806754474"
    ],
    [
      "554.652921336",
      "507.530617207"
    ],
    [
      "575.109849803",
      "253.805205876"
    ],
    [
      "326.002373095",
      "904.002869121"
    ],
    [
      "1221.617245622",
      "481.907003011"
    ],
    [
      "524.350744070",
      "713.524140989"
    ],
    [
      "887.411194565",
      "1024.554134022"
    ],
    [
      "439.638336044",
      "476.377336721"
    ],
    [
      "199.837174281",
      "461.820525081"
    ],
    [
      "476.579390551",
      "598.812466773"
    ],
    [
      "604.642895135",
      "617.721372353"
    ],
    [
      "773.553017102",
      "1080.985244242"
    ],
    [
      "1099.235465532",
      "512.203896127"
    ],
    [
      "561.713262298",
      "1069.977588615"
    ],
    [
      "470.910052718",
      "182.964523443"
    ],
    [
      "702.099222461",
      "252.162271760"
    ],
    [
      "142.886603077",
      "584.364963394"
    ],
    [
      "325.145729207",
      "406.753756041"
    ],
    [
      "195.412912682",
      "892.184115224"
    ],
    [
      "1045.154252681",
      "642.571049598"
    ],
    [
      "744.923346065",
      "614.081074324"
    ],
    [
      "839.203203558",
      "305.612853903"
    ],
    [
      "745.048967917",
      "1221.336781076"
    ],
    [
      "436.875112010",
      "987.564627680"
    ],
    [
      "589.060103267",
      "1223.200676268"
    ],
    [
      "896.934579363",
      "583.789409585"
    ],
    [
      "442.989753314",
      "828.682246146"
    ],
    [
      "460.670665067",
      "333.616954359"
    ],
    [
      "896.002105631",
      "1168.297642561"
    ],
    [
      "624.154436909",
      "386.000623649"
    ],
    [
      "787.889630096",
      "459.958076557"
    ],
    [
      "287.632546779",
      "762.659835308"
    ],
    [
      "585.971601347",
      "916.887637972"
    ],
    [
      "1136.951874760",
      "361.737227372"
    ],
    [
      "845.492241458",
      "744.769799295"
    ],
    [
      "667.105837662",
      "759.578274938"
    ],
    [
      "1209.778306409",
      "631.439071541"
    ],
    [
      "1120.091845490",
      "790.955022881"
    ],
    [
      "1037.291827635",
      "1059.934860850"
    ],
    [
      "961.179178361",
      "888.233612578"
    ],
    [
      "964.247415661",
      "422.253091471"
    ],
    [
      "425.416305991",
      "1161.186906680"
    ],
    [
      "105.213745209",
      "748.086543463"
    ],
    [
      "770.973173851",
      "916.280465328"
    ],
    [
      "265.849382439",
      "1049.100346789"
    ],
    [
      "313.781762582",
      "578.377939252"
    ],
    [
      "620.369125278",
      "101.958439537"
    ],
    [
      "821.628835911",
      "128.482558352"
    ],
    [
      "1001.193145111",
      "227.384827598"
    ],
    [
      "304.807001720",
      "231.325421398"
    ]
  ],
  "radius": "652.880184471"
}

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

DISCUSSION

讨论区

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