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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1575.655209798y0
0x1575.655209798
已验证构造r = 787.827604899

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "224.377283697",
      "1336.928795667"
    ],
    [
      "720.402809418",
      "712.850585956"
    ],
    [
      "416.103453999",
      "764.722031150"
    ],
    [
      "974.504084608",
      "420.763075722"
    ],
    [
      "1562.100147062",
      "902.427926461"
    ],
    [
      "1321.541892570",
      "408.400383641"
    ],
    [
      "342.866064114",
      "1245.918020438"
    ],
    [
      "701.771374560",
      "812.554680741"
    ],
    [
      "66.939798396",
      "1079.401450912"
    ],
    [
      "1506.124493566",
      "1085.410838982"
    ],
    [
      "562.140886358",
      "1379.258536689"
    ],
    [
      "754.315612801",
      "13.312671499"
    ],
    [
      "891.333453774",
      "20.587341450"
    ],
    [
      "957.645667778",
      "1245.905479145"
    ],
    [
      "130.737337098",
      "1193.953947149"
    ],
    [
      "1448.364848610",
      "1186.551667500"
    ],
    [
      "1232.040180346",
      "158.548635450"
    ],
    [
      "1081.970916555",
      "76.878001003"
    ],
    [
      "1544.771336855",
      "919.854653817"
    ],
    [
      "1148.767476478",
      "1465.365486113"
    ],
    [
      "416.497209181",
      "1458.603272877"
    ],
    [
      "343.191531455",
      "164.754317137"
    ],
    [
      "25.028812826",
      "839.853491023"
    ],
    [
      "258.941460364",
      "1338.698602743"
    ],
    [
      "1487.655222970",
      "484.336542319"
    ],
    [
      "1395.244324739",
      "328.077772238"
    ],
    [
      "1302.554651410",
      "1348.056400297"
    ],
    [
      "286.623182959",
      "435.574448280"
    ],
    [
      "1542.893422177",
      "712.372344945"
    ],
    [
      "537.331768365",
      "72.597212211"
    ],
    [
      "522.191216160",
      "299.929280586"
    ],
    [
      "55.575271291",
      "600.543858008"
    ],
    [
      "202.962870929",
      "310.659678551"
    ],
    [
      "486.057625153",
      "1002.542913622"
    ],
    [
      "164.009755899",
      "366.411583030"
    ],
    [
      "1292.372419953",
      "644.771337436"
    ],
    [
      "887.730940302",
      "543.122112932"
    ],
    [
      "75.989851930",
      "1023.472359801"
    ],
    [
      "926.510256644",
      "856.952835862"
    ],
    [
      "332.321532875",
      "385.219102827"
    ],
    [
      "737.820214971",
      "420.838357305"
    ],
    [
      "608.062166107",
      "1511.571352013"
    ],
    [
      "1146.288290755",
      "415.833526954"
    ],
    [
      "244.965120505",
      "375.294428624"
    ],
    [
      "697.328054213",
      "1525.121767309"
    ],
    [
      "157.509098497",
      "1003.208785582"
    ],
    [
      "961.010713347",
      "1508.128341483"
    ],
    [
      "473.371823743",
      "763.145760124"
    ],
    [
      "488.560022684",
      "667.335606328"
    ],
    [
      "1446.678463840",
      "1119.925468284"
    ],
    [
      "946.528302790",
      "1411.022498449"
    ],
    [
      "282.534937590",
      "763.142553213"
    ],
    [
      "596.156259684",
      "259.890451707"
    ],
    [
      "815.185769807",
      "174.510148664"
    ],
    [
      "1347.580635973",
      "1051.415059517"
    ],
    [
      "716.586210523",
      "1041.670109870"
    ],
    [
      "817.760234168",
      "57.626638457"
    ],
    [
      "898.956797967",
      "638.385148510"
    ],
    [
      "883.195971439",
      "264.752114925"
    ],
    [
      "272.626942497",
      "651.581665651"
    ],
    [
      "381.283278222",
      "704.825677874"
    ],
    [
      "137.631820114",
      "1110.120380071"
    ],
    [
      "569.193709818",
      "585.471579769"
    ],
    [
      "806.652494310",
      "1120.967541955"
    ],
    [
      "377.945859150",
      "830.860763823"
    ],
    [
      "531.544482519",
      "1306.670692686"
    ],
    [
      "1061.669255859",
      "1454.613317235"
    ],
    [
      "434.502444526",
      "345.926456523"
    ],
    [
      "1138.506452615",
      "1211.111108672"
    ],
    [
      "81.465224870",
      "915.611244035"
    ],
    [
      "381.820246255",
      "966.805565589"
    ],
    [
      "588.468294542",
      "1029.893504050"
    ],
    [
      "512.163240730",
      "1447.363550129"
    ],
    [
      "1132.049598357",
      "162.478847218"
    ],
    [
      "1403.943166071",
      "429.439349466"
    ],
    [
      "266.518570855",
      "1057.989575431"
    ],
    [
      "1313.940016714",
      "756.580209981"
    ],
    [
      "1467.245137357",
      "993.368465228"
    ],
    [
      "1027.341082175",
      "1308.816074877"
    ],
    [
      "307.646423790",
      "267.783422581"
    ],
    [
      "1177.215059105",
      "677.395072683"
    ],
    [
      "1327.764128569",
      "914.978107482"
    ],
    [
      "681.739068906",
      "906.097047518"
    ],
    [
      "515.445697569",
      "888.261063795"
    ],
    [
      "1025.200774753",
      "932.027343092"
    ],
    [
      "740.576741040",
      "293.868275930"
    ],
    [
      "1173.769703559",
      "845.359740176"
    ],
    [
      "239.228390593",
      "896.276106414"
    ],
    [
      "1186.856229479",
      "1361.531516454"
    ],
    [
      "826.066467951",
      "1484.484089854"
    ],
    [
      "243.957854944",
      "1223.458648366"
    ],
    [
      "870.779366364",
      "415.240745459"
    ],
    [
      "378.326932085",
      "1349.160482516"
    ],
    [
      "668.672777516",
      "1389.107521299"
    ],
    [
      "848.759784644",
      "967.644431822"
    ],
    [
      "1478.917851666",
      "819.760436206"
    ],
    [
      "616.724063528",
      "738.248755670"
    ],
    [
      "1253.608708766",
      "515.515456018"
    ],
    [
      "1011.859582667",
      "748.511641871"
    ],
    [
      "465.210248581",
      "180.756753576"
    ],
    [
      "961.487729406",
      "123.317018075"
    ],
    [
      "812.483879114",
      "774.013187757"
    ],
    [
      "655.332363430",
      "1191.616094603"
    ],
    [
      "1038.588336704",
      "313.968096256"
    ],
    [
      "591.851175265",
      "417.831789712"
    ],
    [
      "665.881134402",
      "116.993839250"
    ],
    [
      "842.490503268",
      "1288.169925652"
    ],
    [
      "1184.958994162",
      "1040.315437227"
    ],
    [
      "1317.331408084",
      "1212.601238243"
    ],
    [
      "982.868826682",
      "1122.692053063"
    ],
    [
      "742.728698847",
      "572.759082641"
    ],
    [
      "170.234443197",
      "513.379726128"
    ],
    [
      "1439.994033319",
      "614.416976691"
    ],
    [
      "1256.338444424",
      "303.533030936"
    ],
    [
      "117.149763640",
      "734.085450568"
    ],
    [
      "1040.537599986",
      "535.432850518"
    ],
    [
      "398.801835872",
      "527.449090221"
    ],
    [
      "438.875680715",
      "1147.034657744"
    ]
  ],
  "radius": "787.827604899"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 118
}

当前第一名的答案

{
  "centers": [
    [
      "224.377283697",
      "1336.928795667"
    ],
    [
      "720.402809418",
      "712.850585956"
    ],
    [
      "416.103453999",
      "764.722031150"
    ],
    [
      "974.504084608",
      "420.763075722"
    ],
    [
      "1562.100147062",
      "902.427926461"
    ],
    [
      "1321.541892570",
      "408.400383641"
    ],
    [
      "342.866064114",
      "1245.918020438"
    ],
    [
      "701.771374560",
      "812.554680741"
    ],
    [
      "66.939798396",
      "1079.401450912"
    ],
    [
      "1506.124493566",
      "1085.410838982"
    ],
    [
      "562.140886358",
      "1379.258536689"
    ],
    [
      "754.315612801",
      "13.312671499"
    ],
    [
      "891.333453774",
      "20.587341450"
    ],
    [
      "957.645667778",
      "1245.905479145"
    ],
    [
      "130.737337098",
      "1193.953947149"
    ],
    [
      "1448.364848610",
      "1186.551667500"
    ],
    [
      "1232.040180346",
      "158.548635450"
    ],
    [
      "1081.970916555",
      "76.878001003"
    ],
    [
      "1544.771336855",
      "919.854653817"
    ],
    [
      "1148.767476478",
      "1465.365486113"
    ],
    [
      "416.497209181",
      "1458.603272877"
    ],
    [
      "343.191531455",
      "164.754317137"
    ],
    [
      "25.028812826",
      "839.853491023"
    ],
    [
      "258.941460364",
      "1338.698602743"
    ],
    [
      "1487.655222970",
      "484.336542319"
    ],
    [
      "1395.244324739",
      "328.077772238"
    ],
    [
      "1302.554651410",
      "1348.056400297"
    ],
    [
      "286.623182959",
      "435.574448280"
    ],
    [
      "1542.893422177",
      "712.372344945"
    ],
    [
      "537.331768365",
      "72.597212211"
    ],
    [
      "522.191216160",
      "299.929280586"
    ],
    [
      "55.575271291",
      "600.543858008"
    ],
    [
      "202.962870929",
      "310.659678551"
    ],
    [
      "486.057625153",
      "1002.542913622"
    ],
    [
      "164.009755899",
      "366.411583030"
    ],
    [
      "1292.372419953",
      "644.771337436"
    ],
    [
      "887.730940302",
      "543.122112932"
    ],
    [
      "75.989851930",
      "1023.472359801"
    ],
    [
      "926.510256644",
      "856.952835862"
    ],
    [
      "332.321532875",
      "385.219102827"
    ],
    [
      "737.820214971",
      "420.838357305"
    ],
    [
      "608.062166107",
      "1511.571352013"
    ],
    [
      "1146.288290755",
      "415.833526954"
    ],
    [
      "244.965120505",
      "375.294428624"
    ],
    [
      "697.328054213",
      "1525.121767309"
    ],
    [
      "157.509098497",
      "1003.208785582"
    ],
    [
      "961.010713347",
      "1508.128341483"
    ],
    [
      "473.371823743",
      "763.145760124"
    ],
    [
      "488.560022684",
      "667.335606328"
    ],
    [
      "1446.678463840",
      "1119.925468284"
    ],
    [
      "946.528302790",
      "1411.022498449"
    ],
    [
      "282.534937590",
      "763.142553213"
    ],
    [
      "596.156259684",
      "259.890451707"
    ],
    [
      "815.185769807",
      "174.510148664"
    ],
    [
      "1347.580635973",
      "1051.415059517"
    ],
    [
      "716.586210523",
      "1041.670109870"
    ],
    [
      "817.760234168",
      "57.626638457"
    ],
    [
      "898.956797967",
      "638.385148510"
    ],
    [
      "883.195971439",
      "264.752114925"
    ],
    [
      "272.626942497",
      "651.581665651"
    ],
    [
      "381.283278222",
      "704.825677874"
    ],
    [
      "137.631820114",
      "1110.120380071"
    ],
    [
      "569.193709818",
      "585.471579769"
    ],
    [
      "806.652494310",
      "1120.967541955"
    ],
    [
      "377.945859150",
      "830.860763823"
    ],
    [
      "531.544482519",
      "1306.670692686"
    ],
    [
      "1061.669255859",
      "1454.613317235"
    ],
    [
      "434.502444526",
      "345.926456523"
    ],
    [
      "1138.506452615",
      "1211.111108672"
    ],
    [
      "81.465224870",
      "915.611244035"
    ],
    [
      "381.820246255",
      "966.805565589"
    ],
    [
      "588.468294542",
      "1029.893504050"
    ],
    [
      "512.163240730",
      "1447.363550129"
    ],
    [
      "1132.049598357",
      "162.478847218"
    ],
    [
      "1403.943166071",
      "429.439349466"
    ],
    [
      "266.518570855",
      "1057.989575431"
    ],
    [
      "1313.940016714",
      "756.580209981"
    ],
    [
      "1467.245137357",
      "993.368465228"
    ],
    [
      "1027.341082175",
      "1308.816074877"
    ],
    [
      "307.646423790",
      "267.783422581"
    ],
    [
      "1177.215059105",
      "677.395072683"
    ],
    [
      "1327.764128569",
      "914.978107482"
    ],
    [
      "681.739068906",
      "906.097047518"
    ],
    [
      "515.445697569",
      "888.261063795"
    ],
    [
      "1025.200774753",
      "932.027343092"
    ],
    [
      "740.576741040",
      "293.868275930"
    ],
    [
      "1173.769703559",
      "845.359740176"
    ],
    [
      "239.228390593",
      "896.276106414"
    ],
    [
      "1186.856229479",
      "1361.531516454"
    ],
    [
      "826.066467951",
      "1484.484089854"
    ],
    [
      "243.957854944",
      "1223.458648366"
    ],
    [
      "870.779366364",
      "415.240745459"
    ],
    [
      "378.326932085",
      "1349.160482516"
    ],
    [
      "668.672777516",
      "1389.107521299"
    ],
    [
      "848.759784644",
      "967.644431822"
    ],
    [
      "1478.917851666",
      "819.760436206"
    ],
    [
      "616.724063528",
      "738.248755670"
    ],
    [
      "1253.608708766",
      "515.515456018"
    ],
    [
      "1011.859582667",
      "748.511641871"
    ],
    [
      "465.210248581",
      "180.756753576"
    ],
    [
      "961.487729406",
      "123.317018075"
    ],
    [
      "812.483879114",
      "774.013187757"
    ],
    [
      "655.332363430",
      "1191.616094603"
    ],
    [
      "1038.588336704",
      "313.968096256"
    ],
    [
      "591.851175265",
      "417.831789712"
    ],
    [
      "665.881134402",
      "116.993839250"
    ],
    [
      "842.490503268",
      "1288.169925652"
    ],
    [
      "1184.958994162",
      "1040.315437227"
    ],
    [
      "1317.331408084",
      "1212.601238243"
    ],
    [
      "982.868826682",
      "1122.692053063"
    ],
    [
      "742.728698847",
      "572.759082641"
    ],
    [
      "170.234443197",
      "513.379726128"
    ],
    [
      "1439.994033319",
      "614.416976691"
    ],
    [
      "1256.338444424",
      "303.533030936"
    ],
    [
      "117.149763640",
      "734.085450568"
    ],
    [
      "1040.537599986",
      "535.432850518"
    ],
    [
      "398.801835872",
      "527.449090221"
    ],
    [
      "438.875680715",
      "1147.034657744"
    ]
  ],
  "radius": "787.827604899"
}

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

DISCUSSION

讨论区

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