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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1819.629338908y0
0x1819.629338908
已验证构造r = 909.814669454

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "561.960437173",
      "1408.693613629"
    ],
    [
      "42.784997074",
      "1138.767848999"
    ],
    [
      "56.846476028",
      "1217.598537382"
    ],
    [
      "1216.133317517",
      "945.579819732"
    ],
    [
      "403.827568492",
      "734.726811795"
    ],
    [
      "1813.176113451",
      "937.470513685"
    ],
    [
      "1659.153811439",
      "1413.304490502"
    ],
    [
      "995.425692313",
      "853.970101210"
    ],
    [
      "177.911107713",
      "764.732116902"
    ],
    [
      "269.439618120",
      "968.677408485"
    ],
    [
      "257.935273854",
      "699.195448035"
    ],
    [
      "1379.566843753",
      "1025.473643214"
    ],
    [
      "1266.223594169",
      "1529.120186845"
    ],
    [
      "1296.143751108",
      "1206.195591168"
    ],
    [
      "1480.963696387",
      "221.219018048"
    ],
    [
      "628.151586827",
      "813.948616925"
    ],
    [
      "1755.459402218",
      "626.423909997"
    ],
    [
      "1564.244992903",
      "1514.051918461"
    ],
    [
      "672.893554332",
      "52.471703876"
    ],
    [
      "313.225110795",
      "1569.939892959"
    ],
    [
      "530.310194034",
      "1713.155791488"
    ],
    [
      "1432.720519439",
      "1627.163335099"
    ],
    [
      "1666.632084172",
      "1371.836057431"
    ],
    [
      "1263.944929540",
      "1721.699495013"
    ],
    [
      "45.192417245",
      "722.203963932"
    ],
    [
      "119.373757249",
      "514.451215804"
    ],
    [
      "27.168597437",
      "917.520430968"
    ],
    [
      "463.839100898",
      "149.251663638"
    ],
    [
      "175.582400127",
      "1396.108936917"
    ],
    [
      "1035.380736725",
      "39.157923604"
    ],
    [
      "1293.356146302",
      "119.283374529"
    ],
    [
      "760.995888706",
      "1774.922503428"
    ],
    [
      "75.594870464",
      "1179.780021938"
    ],
    [
      "1785.024716288",
      "877.276858358"
    ],
    [
      "1752.689426120",
      "1144.042871141"
    ],
    [
      "816.937806127",
      "989.454886576"
    ],
    [
      "825.629993047",
      "714.319659489"
    ],
    [
      "448.026951019",
      "1380.132379754"
    ],
    [
      "544.037358033",
      "315.973829596"
    ],
    [
      "1569.860014151",
      "1099.078503445"
    ],
    [
      "735.559693146",
      "503.947247066"
    ],
    [
      "1575.814800347",
      "353.445973203"
    ],
    [
      "1235.949569063",
      "880.102465695"
    ],
    [
      "1070.875198904",
      "1586.499367096"
    ],
    [
      "273.844306885",
      "1139.634258169"
    ],
    [
      "1021.138374398",
      "1661.507688555"
    ],
    [
      "1450.071267791",
      "1399.614039394"
    ],
    [
      "1018.048250100",
      "795.001820524"
    ],
    [
      "1396.524607738",
      "1319.934963111"
    ],
    [
      "1495.277601260",
      "1312.945952415"
    ],
    [
      "1526.199267169",
      "1019.218967184"
    ],
    [
      "1031.400136492",
      "1758.968943620"
    ],
    [
      "1053.932548582",
      "1490.990484786"
    ],
    [
      "1502.046130847",
      "292.011590320"
    ],
    [
      "277.898644919",
      "334.149613151"
    ],
    [
      "388.698010580",
      "1586.155498931"
    ],
    [
      "1427.490937350",
      "975.393567873"
    ],
    [
      "484.544937464",
      "1647.875565416"
    ],
    [
      "910.162612978",
      "1018.503233181"
    ],
    [
      "358.988488182",
      "415.693695257"
    ],
    [
      "541.013196525",
      "1346.153590092"
    ],
    [
      "1689.418561000",
      "576.636810004"
    ],
    [
      "1290.782652300",
      "1283.021024549"
    ],
    [
      "1499.859836162",
      "743.799885006"
    ],
    [
      "963.418464926",
      "1566.695178565"
    ],
    [
      "759.046295710",
      "79.578501931"
    ],
    [
      "462.817540333",
      "929.976521129"
    ],
    [
      "500.102816893",
      "1074.049274491"
    ],
    [
      "957.420681080",
      "259.057141332"
    ],
    [
      "829.346428154",
      "1550.893629406"
    ],
    [
      "1062.704729133",
      "351.335357752"
    ],
    [
      "1258.968567826",
      "539.082895998"
    ],
    [
      "784.460644355",
      "606.926356459"
    ],
    [
      "1615.615054797",
      "462.404404478"
    ],
    [
      "809.725044326",
      "1259.479791439"
    ],
    [
      "1176.935444937",
      "1530.363601211"
    ],
    [
      "1573.332689987",
      "1413.127802687"
    ],
    [
      "1533.172992451",
      "889.160349248"
    ],
    [
      "497.687592850",
      "424.834721716"
    ],
    [
      "801.073824549",
      "1104.646348063"
    ],
    [
      "1463.053110832",
      "1526.954024282"
    ],
    [
      "1289.786176262",
      "994.324990791"
    ],
    [
      "1547.142772021",
      "604.611796519"
    ],
    [
      "88.538944536",
      "823.350503788"
    ],
    [
      "352.337426296",
      "1034.370699140"
    ],
    [
      "218.365811234",
      "461.965268348"
    ],
    [
      "705.815229848",
      "746.263712459"
    ],
    [
      "1154.810771923",
      "1692.864366902"
    ],
    [
      "1380.382386943",
      "647.912896283"
    ],
    [
      "799.656289788",
      "239.273389389"
    ],
    [
      "1318.115530748",
      "1619.566646963"
    ],
    [
      "1315.910198659",
      "1435.970710440"
    ],
    [
      "1224.598153205",
      "377.536869999"
    ],
    [
      "510.086243526",
      "1498.036846505"
    ],
    [
      "1093.488209286",
      "514.456102447"
    ],
    [
      "1368.004150954",
      "834.431437340"
    ],
    [
      "921.104166123",
      "97.078405871"
    ],
    [
      "414.997664538",
      "266.231582989"
    ],
    [
      "1197.919875942",
      "1150.278775181"
    ],
    [
      "670.659245866",
      "378.771642640"
    ],
    [
      "1357.455158663",
      "236.168499760"
    ],
    [
      "518.358060635",
      "770.363706461"
    ],
    [
      "882.468860078",
      "1716.021593193"
    ],
    [
      "954.318683627",
      "656.698301320"
    ],
    [
      "186.655356268",
      "1261.691977677"
    ],
    [
      "923.199831403",
      "1400.492105435"
    ],
    [
      "152.501430820",
      "643.378838383"
    ],
    [
      "605.893718912",
      "577.348440067"
    ],
    [
      "1131.945533855",
      "1349.011704227"
    ],
    [
      "871.442095726",
      "853.998760464"
    ],
    [
      "310.888173210",
      "1438.390045564"
    ],
    [
      "1637.483646459",
      "1235.348009730"
    ],
    [
      "632.097110895",
      "1197.897998146"
    ],
    [
      "606.176318308",
      "174.608865594"
    ],
    [
      "702.435361843",
      "1416.288349984"
    ],
    [
      "405.661736198",
      "1232.074321619"
    ],
    [
      "983.755438361",
      "1178.378484715"
    ],
    [
      "1424.363348622",
      "445.469680189"
    ],
    [
      "1695.237442461",
      "1001.160858369"
    ],
    [
      "1418.985992420",
      "1152.434258041"
    ],
    [
      "1684.187140485",
      "759.562019420"
    ],
    [
      "376.720091061",
      "596.827872760"
    ],
    [
      "665.476494905",
      "1652.852665187"
    ],
    [
      "887.159896625",
      "438.813704964"
    ],
    [
      "297.691824001",
      "831.538799651"
    ],
    [
      "1084.308904952",
      "956.068715525"
    ],
    [
      "1176.359243122",
      "720.408504111"
    ],
    [
      "656.146808638",
      "955.447956452"
    ],
    [
      "138.373552689",
      "1030.438677836"
    ],
    [
      "1137.976808210",
      "164.125084494"
    ]
  ],
  "radius": "909.814669454"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 130
}

当前第一名的答案

{
  "centers": [
    [
      "561.960437173",
      "1408.693613629"
    ],
    [
      "42.784997074",
      "1138.767848999"
    ],
    [
      "56.846476028",
      "1217.598537382"
    ],
    [
      "1216.133317517",
      "945.579819732"
    ],
    [
      "403.827568492",
      "734.726811795"
    ],
    [
      "1813.176113451",
      "937.470513685"
    ],
    [
      "1659.153811439",
      "1413.304490502"
    ],
    [
      "995.425692313",
      "853.970101210"
    ],
    [
      "177.911107713",
      "764.732116902"
    ],
    [
      "269.439618120",
      "968.677408485"
    ],
    [
      "257.935273854",
      "699.195448035"
    ],
    [
      "1379.566843753",
      "1025.473643214"
    ],
    [
      "1266.223594169",
      "1529.120186845"
    ],
    [
      "1296.143751108",
      "1206.195591168"
    ],
    [
      "1480.963696387",
      "221.219018048"
    ],
    [
      "628.151586827",
      "813.948616925"
    ],
    [
      "1755.459402218",
      "626.423909997"
    ],
    [
      "1564.244992903",
      "1514.051918461"
    ],
    [
      "672.893554332",
      "52.471703876"
    ],
    [
      "313.225110795",
      "1569.939892959"
    ],
    [
      "530.310194034",
      "1713.155791488"
    ],
    [
      "1432.720519439",
      "1627.163335099"
    ],
    [
      "1666.632084172",
      "1371.836057431"
    ],
    [
      "1263.944929540",
      "1721.699495013"
    ],
    [
      "45.192417245",
      "722.203963932"
    ],
    [
      "119.373757249",
      "514.451215804"
    ],
    [
      "27.168597437",
      "917.520430968"
    ],
    [
      "463.839100898",
      "149.251663638"
    ],
    [
      "175.582400127",
      "1396.108936917"
    ],
    [
      "1035.380736725",
      "39.157923604"
    ],
    [
      "1293.356146302",
      "119.283374529"
    ],
    [
      "760.995888706",
      "1774.922503428"
    ],
    [
      "75.594870464",
      "1179.780021938"
    ],
    [
      "1785.024716288",
      "877.276858358"
    ],
    [
      "1752.689426120",
      "1144.042871141"
    ],
    [
      "816.937806127",
      "989.454886576"
    ],
    [
      "825.629993047",
      "714.319659489"
    ],
    [
      "448.026951019",
      "1380.132379754"
    ],
    [
      "544.037358033",
      "315.973829596"
    ],
    [
      "1569.860014151",
      "1099.078503445"
    ],
    [
      "735.559693146",
      "503.947247066"
    ],
    [
      "1575.814800347",
      "353.445973203"
    ],
    [
      "1235.949569063",
      "880.102465695"
    ],
    [
      "1070.875198904",
      "1586.499367096"
    ],
    [
      "273.844306885",
      "1139.634258169"
    ],
    [
      "1021.138374398",
      "1661.507688555"
    ],
    [
      "1450.071267791",
      "1399.614039394"
    ],
    [
      "1018.048250100",
      "795.001820524"
    ],
    [
      "1396.524607738",
      "1319.934963111"
    ],
    [
      "1495.277601260",
      "1312.945952415"
    ],
    [
      "1526.199267169",
      "1019.218967184"
    ],
    [
      "1031.400136492",
      "1758.968943620"
    ],
    [
      "1053.932548582",
      "1490.990484786"
    ],
    [
      "1502.046130847",
      "292.011590320"
    ],
    [
      "277.898644919",
      "334.149613151"
    ],
    [
      "388.698010580",
      "1586.155498931"
    ],
    [
      "1427.490937350",
      "975.393567873"
    ],
    [
      "484.544937464",
      "1647.875565416"
    ],
    [
      "910.162612978",
      "1018.503233181"
    ],
    [
      "358.988488182",
      "415.693695257"
    ],
    [
      "541.013196525",
      "1346.153590092"
    ],
    [
      "1689.418561000",
      "576.636810004"
    ],
    [
      "1290.782652300",
      "1283.021024549"
    ],
    [
      "1499.859836162",
      "743.799885006"
    ],
    [
      "963.418464926",
      "1566.695178565"
    ],
    [
      "759.046295710",
      "79.578501931"
    ],
    [
      "462.817540333",
      "929.976521129"
    ],
    [
      "500.102816893",
      "1074.049274491"
    ],
    [
      "957.420681080",
      "259.057141332"
    ],
    [
      "829.346428154",
      "1550.893629406"
    ],
    [
      "1062.704729133",
      "351.335357752"
    ],
    [
      "1258.968567826",
      "539.082895998"
    ],
    [
      "784.460644355",
      "606.926356459"
    ],
    [
      "1615.615054797",
      "462.404404478"
    ],
    [
      "809.725044326",
      "1259.479791439"
    ],
    [
      "1176.935444937",
      "1530.363601211"
    ],
    [
      "1573.332689987",
      "1413.127802687"
    ],
    [
      "1533.172992451",
      "889.160349248"
    ],
    [
      "497.687592850",
      "424.834721716"
    ],
    [
      "801.073824549",
      "1104.646348063"
    ],
    [
      "1463.053110832",
      "1526.954024282"
    ],
    [
      "1289.786176262",
      "994.324990791"
    ],
    [
      "1547.142772021",
      "604.611796519"
    ],
    [
      "88.538944536",
      "823.350503788"
    ],
    [
      "352.337426296",
      "1034.370699140"
    ],
    [
      "218.365811234",
      "461.965268348"
    ],
    [
      "705.815229848",
      "746.263712459"
    ],
    [
      "1154.810771923",
      "1692.864366902"
    ],
    [
      "1380.382386943",
      "647.912896283"
    ],
    [
      "799.656289788",
      "239.273389389"
    ],
    [
      "1318.115530748",
      "1619.566646963"
    ],
    [
      "1315.910198659",
      "1435.970710440"
    ],
    [
      "1224.598153205",
      "377.536869999"
    ],
    [
      "510.086243526",
      "1498.036846505"
    ],
    [
      "1093.488209286",
      "514.456102447"
    ],
    [
      "1368.004150954",
      "834.431437340"
    ],
    [
      "921.104166123",
      "97.078405871"
    ],
    [
      "414.997664538",
      "266.231582989"
    ],
    [
      "1197.919875942",
      "1150.278775181"
    ],
    [
      "670.659245866",
      "378.771642640"
    ],
    [
      "1357.455158663",
      "236.168499760"
    ],
    [
      "518.358060635",
      "770.363706461"
    ],
    [
      "882.468860078",
      "1716.021593193"
    ],
    [
      "954.318683627",
      "656.698301320"
    ],
    [
      "186.655356268",
      "1261.691977677"
    ],
    [
      "923.199831403",
      "1400.492105435"
    ],
    [
      "152.501430820",
      "643.378838383"
    ],
    [
      "605.893718912",
      "577.348440067"
    ],
    [
      "1131.945533855",
      "1349.011704227"
    ],
    [
      "871.442095726",
      "853.998760464"
    ],
    [
      "310.888173210",
      "1438.390045564"
    ],
    [
      "1637.483646459",
      "1235.348009730"
    ],
    [
      "632.097110895",
      "1197.897998146"
    ],
    [
      "606.176318308",
      "174.608865594"
    ],
    [
      "702.435361843",
      "1416.288349984"
    ],
    [
      "405.661736198",
      "1232.074321619"
    ],
    [
      "983.755438361",
      "1178.378484715"
    ],
    [
      "1424.363348622",
      "445.469680189"
    ],
    [
      "1695.237442461",
      "1001.160858369"
    ],
    [
      "1418.985992420",
      "1152.434258041"
    ],
    [
      "1684.187140485",
      "759.562019420"
    ],
    [
      "376.720091061",
      "596.827872760"
    ],
    [
      "665.476494905",
      "1652.852665187"
    ],
    [
      "887.159896625",
      "438.813704964"
    ],
    [
      "297.691824001",
      "831.538799651"
    ],
    [
      "1084.308904952",
      "956.068715525"
    ],
    [
      "1176.359243122",
      "720.408504111"
    ],
    [
      "656.146808638",
      "955.447956452"
    ],
    [
      "138.373552689",
      "1030.438677836"
    ],
    [
      "1137.976808210",
      "164.125084494"
    ]
  ],
  "radius": "909.814669454"
}

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

DISCUSSION

讨论区

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