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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2184.181835336y0
0x2184.181835336
已验证构造r = 1092.090917668

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "2041.091435064",
      "839.426633410"
    ],
    [
      "261.561653203",
      "442.655885121"
    ],
    [
      "1996.306633468",
      "485.067448546"
    ],
    [
      "1010.501794102",
      "997.614781892"
    ],
    [
      "1847.474586567",
      "542.794772606"
    ],
    [
      "682.666141335",
      "343.250711018"
    ],
    [
      "2031.131587049",
      "745.648302321"
    ],
    [
      "858.367768364",
      "1969.346110164"
    ],
    [
      "542.948618368",
      "158.559834648"
    ],
    [
      "1030.183975031",
      "522.159571669"
    ],
    [
      "1108.060205668",
      "1000.199470884"
    ],
    [
      "952.698454923",
      "1715.871192549"
    ],
    [
      "396.456194678",
      "1901.139668940"
    ],
    [
      "313.768738039",
      "1511.243927807"
    ],
    [
      "1207.019024487",
      "1893.575191784"
    ],
    [
      "1292.768670218",
      "1645.528241290"
    ],
    [
      "2055.710983667",
      "615.584442805"
    ],
    [
      "25.417554243",
      "966.913724323"
    ],
    [
      "2136.624294521",
      "846.626496125"
    ],
    [
      "163.644329506",
      "556.242920662"
    ],
    [
      "998.884810225",
      "1440.830264435"
    ],
    [
      "1951.339845013",
      "455.186083364"
    ],
    [
      "574.937192024",
      "156.452876809"
    ],
    [
      "127.465445588",
      "1550.628625665"
    ],
    [
      "1808.085701743",
      "301.050548575"
    ],
    [
      "1979.752553406",
      "1049.880298076"
    ],
    [
      "1362.201412826",
      "61.834756289"
    ],
    [
      "80.843398908",
      "760.929421023"
    ],
    [
      "1643.718740778",
      "2000.864290957"
    ],
    [
      "241.206920566",
      "1727.727245191"
    ],
    [
      "2152.662391841",
      "1061.663917121"
    ],
    [
      "1078.728601487",
      "2151.923883007"
    ],
    [
      "1834.182968086",
      "1847.634863069"
    ],
    [
      "1107.568167470",
      "34.245684894"
    ],
    [
      "809.980368689",
      "2110.832796275"
    ],
    [
      "2120.903005922",
      "1330.573020640"
    ],
    [
      "825.652981034",
      "71.195393892"
    ],
    [
      "53.356049395",
      "1271.360368891"
    ],
    [
      "2011.763067013",
      "1605.124657877"
    ],
    [
      "1369.304040482",
      "1988.573584860"
    ],
    [
      "362.944187361",
      "1374.701269818"
    ],
    [
      "73.834873617",
      "1348.694822783"
    ],
    [
      "365.597865074",
      "942.346062569"
    ],
    [
      "346.028563219",
      "742.367124559"
    ],
    [
      "1299.097294553",
      "637.804017018"
    ],
    [
      "50.352131120",
      "1187.414097530"
    ],
    [
      "1701.841676577",
      "1547.889785631"
    ],
    [
      "1536.403941190",
      "1835.599499382"
    ],
    [
      "1915.444281964",
      "971.223989519"
    ],
    [
      "884.418858540",
      "1899.468330945"
    ],
    [
      "1526.641757908",
      "515.095697553"
    ],
    [
      "1576.968950206",
      "171.937446460"
    ],
    [
      "2049.123933988",
      "687.371581770"
    ],
    [
      "429.006464402",
      "293.372092813"
    ],
    [
      "1388.836665604",
      "2085.821028206"
    ],
    [
      "1429.292994200",
      "470.663960930"
    ],
    [
      "2082.757731918",
      "792.103466299"
    ],
    [
      "1515.315720136",
      "263.035630990"
    ],
    [
      "1899.563831579",
      "1078.210778016"
    ],
    [
      "1064.513257520",
      "943.740795316"
    ],
    [
      "285.483865670",
      "1441.063145650"
    ],
    [
      "1143.498361715",
      "847.457771781"
    ],
    [
      "528.163915670",
      "231.268953937"
    ],
    [
      "690.765459156",
      "719.112161776"
    ],
    [
      "1018.044810708",
      "827.699063795"
    ],
    [
      "723.608289463",
      "1207.212312797"
    ],
    [
      "591.096717090",
      "1195.824460170"
    ],
    [
      "246.420596852",
      "514.506364430"
    ],
    [
      "1512.236000511",
      "745.584948151"
    ],
    [
      "581.161000289",
      "624.863558947"
    ],
    [
      "1528.490083491",
      "391.361139563"
    ],
    [
      "770.389294297",
      "409.267998269"
    ],
    [
      "1783.074315310",
      "1459.480660482"
    ],
    [
      "731.972330111",
      "850.816352242"
    ],
    [
      "841.773751244",
      "1130.284270771"
    ],
    [
      "291.442042901",
      "849.276658154"
    ],
    [
      "1593.469600616",
      "624.270883780"
    ],
    [
      "1373.880039427",
      "1003.056922521"
    ],
    [
      "898.889678955",
      "329.966982238"
    ],
    [
      "144.656299357",
      "1448.034269412"
    ],
    [
      "1653.342931343",
      "478.054659413"
    ],
    [
      "504.236381420",
      "1913.498676437"
    ],
    [
      "352.422054016",
      "406.967110725"
    ],
    [
      "1436.249700426",
      "144.615279172"
    ],
    [
      "1293.307633325",
      "507.933004765"
    ],
    [
      "86.497373946",
      "1060.459296828"
    ],
    [
      "1428.972812024",
      "613.663602482"
    ],
    [
      "252.592268952",
      "1008.608685902"
    ],
    [
      "1207.970700604",
      "984.001967990"
    ],
    [
      "1386.566944104",
      "1332.487954253"
    ],
    [
      "464.624941176",
      "1290.528683402"
    ],
    [
      "733.224923185",
      "569.001556173"
    ],
    [
      "1950.045044586",
      "580.136449118"
    ],
    [
      "1180.649284912",
      "1625.407109920"
    ],
    [
      "1765.182691319",
      "614.340401303"
    ],
    [
      "1673.224691165",
      "781.746273984"
    ],
    [
      "119.939585472",
      "879.658053614"
    ],
    [
      "643.219372792",
      "1352.375502207"
    ],
    [
      "241.261804032",
      "1598.727256864"
    ],
    [
      "1528.397027844",
      "913.810455123"
    ],
    [
      "1828.572106393",
      "428.874010663"
    ],
    [
      "918.064231041",
      "510.091198242"
    ],
    [
      "1512.410748580",
      "1987.365728619"
    ],
    [
      "1674.368716378",
      "293.795091108"
    ],
    [
      "2068.463926159",
      "953.471638864"
    ],
    [
      "825.815627337",
      "1754.894262409"
    ],
    [
      "1282.215825905",
      "1165.395632074"
    ],
    [
      "1360.126830834",
      "321.962777855"
    ],
    [
      "1689.483684542",
      "1870.673777007"
    ],
    [
      "403.006955421",
      "599.150988130"
    ],
    [
      "198.542818694",
      "686.984532204"
    ],
    [
      "889.628146295",
      "949.511051309"
    ],
    [
      "379.666961277",
      "1763.473813279"
    ],
    [
      "605.992041227",
      "1745.982152781"
    ],
    [
      "871.374998683",
      "723.180227149"
    ],
    [
      "674.579154939",
      "1031.940683695"
    ],
    [
      "1373.169761272",
      "1539.053961846"
    ],
    [
      "444.898621633",
      "1082.461693422"
    ],
    [
      "732.354911775",
      "1550.223564342"
    ],
    [
      "954.425734615",
      "2054.384557669"
    ],
    [
      "970.502940265",
      "1579.981194059"
    ],
    [
      "1230.556101879",
      "131.932711277"
    ],
    [
      "1740.213350226",
      "990.249318464"
    ],
    [
      "1577.967033492",
      "1666.093630026"
    ],
    [
      "1327.682146716",
      "805.383568956"
    ],
    [
      "2052.133966278",
      "1183.893713351"
    ],
    [
      "1587.916068661",
      "1415.182518572"
    ],
    [
      "1897.778373429",
      "794.866966483"
    ],
    [
      "978.603575792",
      "135.709854008"
    ],
    [
      "1047.444145816",
      "1132.972519477"
    ],
    [
      "565.924012963",
      "421.558667435"
    ],
    [
      "1206.264410358",
      "2045.368937846"
    ],
    [
      "1987.864694512",
      "1434.793017270"
    ],
    [
      "723.854474530",
      "208.592861386"
    ],
    [
      "713.609218704",
      "1970.525117742"
    ],
    [
      "1059.667922761",
      "1821.017718048"
    ],
    [
      "877.849299608",
      "1339.192276388"
    ],
    [
      "1793.736567055",
      "1245.702377284"
    ],
    [
      "1115.404422530",
      "648.430812322"
    ],
    [
      "1531.369474542",
      "1153.792047252"
    ],
    [
      "1115.501157161",
      "368.430829031"
    ],
    [
      "1843.882977839",
      "1672.780224233"
    ],
    [
      "471.615199368",
      "1524.556418532"
    ],
    [
      "513.467116168",
      "827.874736110"
    ],
    [
      "233.794591236",
      "1240.849180465"
    ],
    [
      "1156.851934923",
      "1386.589844769"
    ],
    [
      "1343.907920301",
      "1802.685472873"
    ]
  ],
  "radius": "1092.090917668"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 147
}

当前第一名的答案

{
  "centers": [
    [
      "2041.091435064",
      "839.426633410"
    ],
    [
      "261.561653203",
      "442.655885121"
    ],
    [
      "1996.306633468",
      "485.067448546"
    ],
    [
      "1010.501794102",
      "997.614781892"
    ],
    [
      "1847.474586567",
      "542.794772606"
    ],
    [
      "682.666141335",
      "343.250711018"
    ],
    [
      "2031.131587049",
      "745.648302321"
    ],
    [
      "858.367768364",
      "1969.346110164"
    ],
    [
      "542.948618368",
      "158.559834648"
    ],
    [
      "1030.183975031",
      "522.159571669"
    ],
    [
      "1108.060205668",
      "1000.199470884"
    ],
    [
      "952.698454923",
      "1715.871192549"
    ],
    [
      "396.456194678",
      "1901.139668940"
    ],
    [
      "313.768738039",
      "1511.243927807"
    ],
    [
      "1207.019024487",
      "1893.575191784"
    ],
    [
      "1292.768670218",
      "1645.528241290"
    ],
    [
      "2055.710983667",
      "615.584442805"
    ],
    [
      "25.417554243",
      "966.913724323"
    ],
    [
      "2136.624294521",
      "846.626496125"
    ],
    [
      "163.644329506",
      "556.242920662"
    ],
    [
      "998.884810225",
      "1440.830264435"
    ],
    [
      "1951.339845013",
      "455.186083364"
    ],
    [
      "574.937192024",
      "156.452876809"
    ],
    [
      "127.465445588",
      "1550.628625665"
    ],
    [
      "1808.085701743",
      "301.050548575"
    ],
    [
      "1979.752553406",
      "1049.880298076"
    ],
    [
      "1362.201412826",
      "61.834756289"
    ],
    [
      "80.843398908",
      "760.929421023"
    ],
    [
      "1643.718740778",
      "2000.864290957"
    ],
    [
      "241.206920566",
      "1727.727245191"
    ],
    [
      "2152.662391841",
      "1061.663917121"
    ],
    [
      "1078.728601487",
      "2151.923883007"
    ],
    [
      "1834.182968086",
      "1847.634863069"
    ],
    [
      "1107.568167470",
      "34.245684894"
    ],
    [
      "809.980368689",
      "2110.832796275"
    ],
    [
      "2120.903005922",
      "1330.573020640"
    ],
    [
      "825.652981034",
      "71.195393892"
    ],
    [
      "53.356049395",
      "1271.360368891"
    ],
    [
      "2011.763067013",
      "1605.124657877"
    ],
    [
      "1369.304040482",
      "1988.573584860"
    ],
    [
      "362.944187361",
      "1374.701269818"
    ],
    [
      "73.834873617",
      "1348.694822783"
    ],
    [
      "365.597865074",
      "942.346062569"
    ],
    [
      "346.028563219",
      "742.367124559"
    ],
    [
      "1299.097294553",
      "637.804017018"
    ],
    [
      "50.352131120",
      "1187.414097530"
    ],
    [
      "1701.841676577",
      "1547.889785631"
    ],
    [
      "1536.403941190",
      "1835.599499382"
    ],
    [
      "1915.444281964",
      "971.223989519"
    ],
    [
      "884.418858540",
      "1899.468330945"
    ],
    [
      "1526.641757908",
      "515.095697553"
    ],
    [
      "1576.968950206",
      "171.937446460"
    ],
    [
      "2049.123933988",
      "687.371581770"
    ],
    [
      "429.006464402",
      "293.372092813"
    ],
    [
      "1388.836665604",
      "2085.821028206"
    ],
    [
      "1429.292994200",
      "470.663960930"
    ],
    [
      "2082.757731918",
      "792.103466299"
    ],
    [
      "1515.315720136",
      "263.035630990"
    ],
    [
      "1899.563831579",
      "1078.210778016"
    ],
    [
      "1064.513257520",
      "943.740795316"
    ],
    [
      "285.483865670",
      "1441.063145650"
    ],
    [
      "1143.498361715",
      "847.457771781"
    ],
    [
      "528.163915670",
      "231.268953937"
    ],
    [
      "690.765459156",
      "719.112161776"
    ],
    [
      "1018.044810708",
      "827.699063795"
    ],
    [
      "723.608289463",
      "1207.212312797"
    ],
    [
      "591.096717090",
      "1195.824460170"
    ],
    [
      "246.420596852",
      "514.506364430"
    ],
    [
      "1512.236000511",
      "745.584948151"
    ],
    [
      "581.161000289",
      "624.863558947"
    ],
    [
      "1528.490083491",
      "391.361139563"
    ],
    [
      "770.389294297",
      "409.267998269"
    ],
    [
      "1783.074315310",
      "1459.480660482"
    ],
    [
      "731.972330111",
      "850.816352242"
    ],
    [
      "841.773751244",
      "1130.284270771"
    ],
    [
      "291.442042901",
      "849.276658154"
    ],
    [
      "1593.469600616",
      "624.270883780"
    ],
    [
      "1373.880039427",
      "1003.056922521"
    ],
    [
      "898.889678955",
      "329.966982238"
    ],
    [
      "144.656299357",
      "1448.034269412"
    ],
    [
      "1653.342931343",
      "478.054659413"
    ],
    [
      "504.236381420",
      "1913.498676437"
    ],
    [
      "352.422054016",
      "406.967110725"
    ],
    [
      "1436.249700426",
      "144.615279172"
    ],
    [
      "1293.307633325",
      "507.933004765"
    ],
    [
      "86.497373946",
      "1060.459296828"
    ],
    [
      "1428.972812024",
      "613.663602482"
    ],
    [
      "252.592268952",
      "1008.608685902"
    ],
    [
      "1207.970700604",
      "984.001967990"
    ],
    [
      "1386.566944104",
      "1332.487954253"
    ],
    [
      "464.624941176",
      "1290.528683402"
    ],
    [
      "733.224923185",
      "569.001556173"
    ],
    [
      "1950.045044586",
      "580.136449118"
    ],
    [
      "1180.649284912",
      "1625.407109920"
    ],
    [
      "1765.182691319",
      "614.340401303"
    ],
    [
      "1673.224691165",
      "781.746273984"
    ],
    [
      "119.939585472",
      "879.658053614"
    ],
    [
      "643.219372792",
      "1352.375502207"
    ],
    [
      "241.261804032",
      "1598.727256864"
    ],
    [
      "1528.397027844",
      "913.810455123"
    ],
    [
      "1828.572106393",
      "428.874010663"
    ],
    [
      "918.064231041",
      "510.091198242"
    ],
    [
      "1512.410748580",
      "1987.365728619"
    ],
    [
      "1674.368716378",
      "293.795091108"
    ],
    [
      "2068.463926159",
      "953.471638864"
    ],
    [
      "825.815627337",
      "1754.894262409"
    ],
    [
      "1282.215825905",
      "1165.395632074"
    ],
    [
      "1360.126830834",
      "321.962777855"
    ],
    [
      "1689.483684542",
      "1870.673777007"
    ],
    [
      "403.006955421",
      "599.150988130"
    ],
    [
      "198.542818694",
      "686.984532204"
    ],
    [
      "889.628146295",
      "949.511051309"
    ],
    [
      "379.666961277",
      "1763.473813279"
    ],
    [
      "605.992041227",
      "1745.982152781"
    ],
    [
      "871.374998683",
      "723.180227149"
    ],
    [
      "674.579154939",
      "1031.940683695"
    ],
    [
      "1373.169761272",
      "1539.053961846"
    ],
    [
      "444.898621633",
      "1082.461693422"
    ],
    [
      "732.354911775",
      "1550.223564342"
    ],
    [
      "954.425734615",
      "2054.384557669"
    ],
    [
      "970.502940265",
      "1579.981194059"
    ],
    [
      "1230.556101879",
      "131.932711277"
    ],
    [
      "1740.213350226",
      "990.249318464"
    ],
    [
      "1577.967033492",
      "1666.093630026"
    ],
    [
      "1327.682146716",
      "805.383568956"
    ],
    [
      "2052.133966278",
      "1183.893713351"
    ],
    [
      "1587.916068661",
      "1415.182518572"
    ],
    [
      "1897.778373429",
      "794.866966483"
    ],
    [
      "978.603575792",
      "135.709854008"
    ],
    [
      "1047.444145816",
      "1132.972519477"
    ],
    [
      "565.924012963",
      "421.558667435"
    ],
    [
      "1206.264410358",
      "2045.368937846"
    ],
    [
      "1987.864694512",
      "1434.793017270"
    ],
    [
      "723.854474530",
      "208.592861386"
    ],
    [
      "713.609218704",
      "1970.525117742"
    ],
    [
      "1059.667922761",
      "1821.017718048"
    ],
    [
      "877.849299608",
      "1339.192276388"
    ],
    [
      "1793.736567055",
      "1245.702377284"
    ],
    [
      "1115.404422530",
      "648.430812322"
    ],
    [
      "1531.369474542",
      "1153.792047252"
    ],
    [
      "1115.501157161",
      "368.430829031"
    ],
    [
      "1843.882977839",
      "1672.780224233"
    ],
    [
      "471.615199368",
      "1524.556418532"
    ],
    [
      "513.467116168",
      "827.874736110"
    ],
    [
      "233.794591236",
      "1240.849180465"
    ],
    [
      "1156.851934923",
      "1386.589844769"
    ],
    [
      "1343.907920301",
      "1802.685472873"
    ]
  ],
  "radius": "1092.090917668"
}

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

DISCUSSION

讨论区

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