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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2140.202956812y0
0x2140.202956812
已验证构造r = 1070.101478406

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "144.610513232",
      "538.935160362"
    ],
    [
      "302.160756371",
      "726.924832995"
    ],
    [
      "1755.459450947",
      "266.149305706"
    ],
    [
      "1373.990457908",
      "989.530377524"
    ],
    [
      "766.907814598",
      "1170.756166381"
    ],
    [
      "2131.527536116",
      "1131.259081860"
    ],
    [
      "153.730995346",
      "1608.961218748"
    ],
    [
      "2018.609714237",
      "1095.988950763"
    ],
    [
      "751.799335287",
      "1188.439476385"
    ],
    [
      "1708.208409966",
      "1417.506756834"
    ],
    [
      "1476.778493677",
      "92.256067271"
    ],
    [
      "1528.613319305",
      "670.297354838"
    ],
    [
      "1870.947821065",
      "1262.206593033"
    ],
    [
      "1991.729641300",
      "565.751308552"
    ],
    [
      "2064.193254303",
      "718.636778560"
    ],
    [
      "986.850625513",
      "1295.661285377"
    ],
    [
      "2080.683987857",
      "1355.918466410"
    ],
    [
      "341.036042546",
      "1828.626846691"
    ],
    [
      "715.963524731",
      "240.266689552"
    ],
    [
      "860.327797589",
      "2098.927094027"
    ],
    [
      "152.282752731",
      "1578.195501740"
    ],
    [
      "147.835606241",
      "576.363313474"
    ],
    [
      "1097.611956533",
      "23.485236301"
    ],
    [
      "1126.393011955",
      "1724.036916976"
    ],
    [
      "1256.534207600",
      "41.790111897"
    ],
    [
      "252.938733978",
      "420.255051686"
    ],
    [
      "639.747950885",
      "119.992367176"
    ],
    [
      "1408.086643803",
      "989.408649603"
    ],
    [
      "837.214922749",
      "55.541820486"
    ],
    [
      "812.081564722",
      "1693.301408312"
    ],
    [
      "1776.733150367",
      "308.305606788"
    ],
    [
      "431.231264683",
      "251.893811377"
    ],
    [
      "33.050949384",
      "1080.381398852"
    ],
    [
      "70.422816818",
      "797.860172649"
    ],
    [
      "1663.732040921",
      "1917.832592494"
    ],
    [
      "1108.542455844",
      "2103.450039686"
    ],
    [
      "169.342451656",
      "1321.214578244"
    ],
    [
      "1400.332270137",
      "2047.946602094"
    ],
    [
      "1161.053693070",
      "171.582695048"
    ],
    [
      "1935.125514788",
      "1629.424705436"
    ],
    [
      "1523.550687935",
      "146.286741982"
    ],
    [
      "1190.807853387",
      "1705.449198067"
    ],
    [
      "477.723369009",
      "1155.377620699"
    ],
    [
      "1089.467563061",
      "1884.921593562"
    ],
    [
      "707.676279830",
      "649.924252978"
    ],
    [
      "920.851119987",
      "760.476767185"
    ],
    [
      "1879.298244260",
      "1696.150381644"
    ],
    [
      "1119.570451759",
      "1650.447083464"
    ],
    [
      "86.239957407",
      "1343.349967328"
    ],
    [
      "783.048154780",
      "1768.480134050"
    ],
    [
      "243.965975017",
      "1111.546398691"
    ],
    [
      "2082.988175896",
      "967.188124695"
    ],
    [
      "824.983432316",
      "986.703720048"
    ],
    [
      "1472.205960945",
      "913.623977633"
    ],
    [
      "1413.490839279",
      "374.219387051"
    ],
    [
      "2084.190233169",
      "1075.181434943"
    ],
    [
      "1346.253353024",
      "1050.575067447"
    ],
    [
      "415.818125869",
      "1842.281960665"
    ],
    [
      "1923.109302805",
      "527.235149420"
    ],
    [
      "2020.630746664",
      "1411.860321543"
    ],
    [
      "797.608689534",
      "2041.715328519"
    ],
    [
      "1158.160747773",
      "1804.192129440"
    ],
    [
      "1172.529668888",
      "68.318342021"
    ],
    [
      "543.162970014",
      "1251.792030663"
    ],
    [
      "1152.571819173",
      "275.236242094"
    ],
    [
      "229.227003759",
      "1618.872739334"
    ],
    [
      "1457.540145444",
      "1289.889813926"
    ],
    [
      "1959.157303960",
      "1524.132383260"
    ],
    [
      "601.958984644",
      "693.410532506"
    ],
    [
      "1337.229866555",
      "1358.579139950"
    ],
    [
      "697.427947332",
      "1682.888441438"
    ],
    [
      "670.973310716",
      "1824.508994761"
    ],
    [
      "523.199372313",
      "1387.668885213"
    ],
    [
      "1667.223973813",
      "519.731324376"
    ],
    [
      "674.787401210",
      "1983.312151084"
    ],
    [
      "1828.294564676",
      "1584.223509674"
    ],
    [
      "1151.294889442",
      "855.110776672"
    ],
    [
      "1093.120557061",
      "563.157748950"
    ],
    [
      "242.541822790",
      "524.943425521"
    ],
    [
      "1736.603295368",
      "995.332817766"
    ],
    [
      "539.837977549",
      "1905.051988462"
    ],
    [
      "806.898063376",
      "1898.447166001"
    ],
    [
      "331.327678619",
      "835.838752413"
    ],
    [
      "333.976675565",
      "1726.238964270"
    ],
    [
      "926.000534030",
      "1379.211155521"
    ],
    [
      "1801.584767935",
      "607.702871047"
    ],
    [
      "1049.606309085",
      "726.442860597"
    ],
    [
      "754.065311600",
      "140.238878257"
    ],
    [
      "1965.483649962",
      "669.039291472"
    ],
    [
      "2022.498377320",
      "838.716399134"
    ],
    [
      "1329.165660662",
      "1197.781227697"
    ],
    [
      "1613.176859947",
      "875.541686868"
    ],
    [
      "1807.293392885",
      "428.793923250"
    ],
    [
      "1310.409992573",
      "1770.189666890"
    ],
    [
      "1461.273527735",
      "765.025586307"
    ],
    [
      "1474.439215467",
      "1452.011439357"
    ],
    [
      "1637.177207570",
      "688.071733768"
    ],
    [
      "1321.048924895",
      "897.638032027"
    ],
    [
      "613.324236710",
      "1534.305558923"
    ],
    [
      "1036.660264826",
      "1527.690850875"
    ],
    [
      "182.283071799",
      "1458.606500680"
    ],
    [
      "1627.006733392",
      "1325.480069309"
    ],
    [
      "1658.329518822",
      "1528.072969266"
    ],
    [
      "111.784576236",
      "1192.497481565"
    ],
    [
      "1025.785264075",
      "388.484506750"
    ],
    [
      "523.828575003",
      "1718.738545495"
    ],
    [
      "521.234299120",
      "849.805945314"
    ],
    [
      "1777.422319189",
      "1178.865841611"
    ],
    [
      "974.272455172",
      "913.169698706"
    ],
    [
      "1925.709903267",
      "1013.736373110"
    ],
    [
      "182.933020359",
      "706.269429550"
    ],
    [
      "1488.218940443",
      "1659.554493159"
    ],
    [
      "824.779316894",
      "1549.495985681"
    ],
    [
      "1831.817267716",
      "1394.099636729"
    ],
    [
      "386.264573342",
      "1026.064769558"
    ],
    [
      "811.081216059",
      "336.109209455"
    ],
    [
      "580.492989924",
      "252.380164353"
    ],
    [
      "395.882453555",
      "397.847113102"
    ],
    [
      "1814.670126473",
      "812.284818919"
    ],
    [
      "394.343839831",
      "1531.375408214"
    ],
    [
      "2001.809371475",
      "1231.841556310"
    ],
    [
      "1247.707816773",
      "436.227365966"
    ],
    [
      "978.862365254",
      "2010.043495003"
    ],
    [
      "1468.944864080",
      "544.562070471"
    ],
    [
      "1257.117493857",
      "683.048066025"
    ],
    [
      "1163.394057592",
      "1057.749889705"
    ],
    [
      "412.749529666",
      "642.265814809"
    ],
    [
      "717.354548986",
      "1332.546558807"
    ],
    [
      "755.423524042",
      "818.521024264"
    ],
    [
      "623.798902161",
      "495.612610365"
    ],
    [
      "1711.633452985",
      "1755.920924278"
    ],
    [
      "1267.747258562",
      "1548.252984189"
    ],
    [
      "1493.412408818",
      "1904.499441846"
    ],
    [
      "1137.296967122",
      "1316.436846995"
    ],
    [
      "967.529319631",
      "1752.292525889"
    ],
    [
      "1236.934320697",
      "1988.137655279"
    ],
    [
      "144.502541877",
      "952.012623323"
    ],
    [
      "877.765211628",
      "581.199488200"
    ],
    [
      "916.974968168",
      "1155.231335981"
    ],
    [
      "340.722049389",
      "1276.964906091"
    ],
    [
      "983.013912346",
      "145.090498465"
    ],
    [
      "1539.599598612",
      "1097.673149330"
    ],
    [
      "1601.739366158",
      "312.847633545"
    ],
    [
      "1343.315490477",
      "188.003328592"
    ],
    [
      "645.033870663",
      "1069.300059328"
    ]
  ],
  "radius": "1070.101478406"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 145
}

当前第一名的答案

{
  "centers": [
    [
      "144.610513232",
      "538.935160362"
    ],
    [
      "302.160756371",
      "726.924832995"
    ],
    [
      "1755.459450947",
      "266.149305706"
    ],
    [
      "1373.990457908",
      "989.530377524"
    ],
    [
      "766.907814598",
      "1170.756166381"
    ],
    [
      "2131.527536116",
      "1131.259081860"
    ],
    [
      "153.730995346",
      "1608.961218748"
    ],
    [
      "2018.609714237",
      "1095.988950763"
    ],
    [
      "751.799335287",
      "1188.439476385"
    ],
    [
      "1708.208409966",
      "1417.506756834"
    ],
    [
      "1476.778493677",
      "92.256067271"
    ],
    [
      "1528.613319305",
      "670.297354838"
    ],
    [
      "1870.947821065",
      "1262.206593033"
    ],
    [
      "1991.729641300",
      "565.751308552"
    ],
    [
      "2064.193254303",
      "718.636778560"
    ],
    [
      "986.850625513",
      "1295.661285377"
    ],
    [
      "2080.683987857",
      "1355.918466410"
    ],
    [
      "341.036042546",
      "1828.626846691"
    ],
    [
      "715.963524731",
      "240.266689552"
    ],
    [
      "860.327797589",
      "2098.927094027"
    ],
    [
      "152.282752731",
      "1578.195501740"
    ],
    [
      "147.835606241",
      "576.363313474"
    ],
    [
      "1097.611956533",
      "23.485236301"
    ],
    [
      "1126.393011955",
      "1724.036916976"
    ],
    [
      "1256.534207600",
      "41.790111897"
    ],
    [
      "252.938733978",
      "420.255051686"
    ],
    [
      "639.747950885",
      "119.992367176"
    ],
    [
      "1408.086643803",
      "989.408649603"
    ],
    [
      "837.214922749",
      "55.541820486"
    ],
    [
      "812.081564722",
      "1693.301408312"
    ],
    [
      "1776.733150367",
      "308.305606788"
    ],
    [
      "431.231264683",
      "251.893811377"
    ],
    [
      "33.050949384",
      "1080.381398852"
    ],
    [
      "70.422816818",
      "797.860172649"
    ],
    [
      "1663.732040921",
      "1917.832592494"
    ],
    [
      "1108.542455844",
      "2103.450039686"
    ],
    [
      "169.342451656",
      "1321.214578244"
    ],
    [
      "1400.332270137",
      "2047.946602094"
    ],
    [
      "1161.053693070",
      "171.582695048"
    ],
    [
      "1935.125514788",
      "1629.424705436"
    ],
    [
      "1523.550687935",
      "146.286741982"
    ],
    [
      "1190.807853387",
      "1705.449198067"
    ],
    [
      "477.723369009",
      "1155.377620699"
    ],
    [
      "1089.467563061",
      "1884.921593562"
    ],
    [
      "707.676279830",
      "649.924252978"
    ],
    [
      "920.851119987",
      "760.476767185"
    ],
    [
      "1879.298244260",
      "1696.150381644"
    ],
    [
      "1119.570451759",
      "1650.447083464"
    ],
    [
      "86.239957407",
      "1343.349967328"
    ],
    [
      "783.048154780",
      "1768.480134050"
    ],
    [
      "243.965975017",
      "1111.546398691"
    ],
    [
      "2082.988175896",
      "967.188124695"
    ],
    [
      "824.983432316",
      "986.703720048"
    ],
    [
      "1472.205960945",
      "913.623977633"
    ],
    [
      "1413.490839279",
      "374.219387051"
    ],
    [
      "2084.190233169",
      "1075.181434943"
    ],
    [
      "1346.253353024",
      "1050.575067447"
    ],
    [
      "415.818125869",
      "1842.281960665"
    ],
    [
      "1923.109302805",
      "527.235149420"
    ],
    [
      "2020.630746664",
      "1411.860321543"
    ],
    [
      "797.608689534",
      "2041.715328519"
    ],
    [
      "1158.160747773",
      "1804.192129440"
    ],
    [
      "1172.529668888",
      "68.318342021"
    ],
    [
      "543.162970014",
      "1251.792030663"
    ],
    [
      "1152.571819173",
      "275.236242094"
    ],
    [
      "229.227003759",
      "1618.872739334"
    ],
    [
      "1457.540145444",
      "1289.889813926"
    ],
    [
      "1959.157303960",
      "1524.132383260"
    ],
    [
      "601.958984644",
      "693.410532506"
    ],
    [
      "1337.229866555",
      "1358.579139950"
    ],
    [
      "697.427947332",
      "1682.888441438"
    ],
    [
      "670.973310716",
      "1824.508994761"
    ],
    [
      "523.199372313",
      "1387.668885213"
    ],
    [
      "1667.223973813",
      "519.731324376"
    ],
    [
      "674.787401210",
      "1983.312151084"
    ],
    [
      "1828.294564676",
      "1584.223509674"
    ],
    [
      "1151.294889442",
      "855.110776672"
    ],
    [
      "1093.120557061",
      "563.157748950"
    ],
    [
      "242.541822790",
      "524.943425521"
    ],
    [
      "1736.603295368",
      "995.332817766"
    ],
    [
      "539.837977549",
      "1905.051988462"
    ],
    [
      "806.898063376",
      "1898.447166001"
    ],
    [
      "331.327678619",
      "835.838752413"
    ],
    [
      "333.976675565",
      "1726.238964270"
    ],
    [
      "926.000534030",
      "1379.211155521"
    ],
    [
      "1801.584767935",
      "607.702871047"
    ],
    [
      "1049.606309085",
      "726.442860597"
    ],
    [
      "754.065311600",
      "140.238878257"
    ],
    [
      "1965.483649962",
      "669.039291472"
    ],
    [
      "2022.498377320",
      "838.716399134"
    ],
    [
      "1329.165660662",
      "1197.781227697"
    ],
    [
      "1613.176859947",
      "875.541686868"
    ],
    [
      "1807.293392885",
      "428.793923250"
    ],
    [
      "1310.409992573",
      "1770.189666890"
    ],
    [
      "1461.273527735",
      "765.025586307"
    ],
    [
      "1474.439215467",
      "1452.011439357"
    ],
    [
      "1637.177207570",
      "688.071733768"
    ],
    [
      "1321.048924895",
      "897.638032027"
    ],
    [
      "613.324236710",
      "1534.305558923"
    ],
    [
      "1036.660264826",
      "1527.690850875"
    ],
    [
      "182.283071799",
      "1458.606500680"
    ],
    [
      "1627.006733392",
      "1325.480069309"
    ],
    [
      "1658.329518822",
      "1528.072969266"
    ],
    [
      "111.784576236",
      "1192.497481565"
    ],
    [
      "1025.785264075",
      "388.484506750"
    ],
    [
      "523.828575003",
      "1718.738545495"
    ],
    [
      "521.234299120",
      "849.805945314"
    ],
    [
      "1777.422319189",
      "1178.865841611"
    ],
    [
      "974.272455172",
      "913.169698706"
    ],
    [
      "1925.709903267",
      "1013.736373110"
    ],
    [
      "182.933020359",
      "706.269429550"
    ],
    [
      "1488.218940443",
      "1659.554493159"
    ],
    [
      "824.779316894",
      "1549.495985681"
    ],
    [
      "1831.817267716",
      "1394.099636729"
    ],
    [
      "386.264573342",
      "1026.064769558"
    ],
    [
      "811.081216059",
      "336.109209455"
    ],
    [
      "580.492989924",
      "252.380164353"
    ],
    [
      "395.882453555",
      "397.847113102"
    ],
    [
      "1814.670126473",
      "812.284818919"
    ],
    [
      "394.343839831",
      "1531.375408214"
    ],
    [
      "2001.809371475",
      "1231.841556310"
    ],
    [
      "1247.707816773",
      "436.227365966"
    ],
    [
      "978.862365254",
      "2010.043495003"
    ],
    [
      "1468.944864080",
      "544.562070471"
    ],
    [
      "1257.117493857",
      "683.048066025"
    ],
    [
      "1163.394057592",
      "1057.749889705"
    ],
    [
      "412.749529666",
      "642.265814809"
    ],
    [
      "717.354548986",
      "1332.546558807"
    ],
    [
      "755.423524042",
      "818.521024264"
    ],
    [
      "623.798902161",
      "495.612610365"
    ],
    [
      "1711.633452985",
      "1755.920924278"
    ],
    [
      "1267.747258562",
      "1548.252984189"
    ],
    [
      "1493.412408818",
      "1904.499441846"
    ],
    [
      "1137.296967122",
      "1316.436846995"
    ],
    [
      "967.529319631",
      "1752.292525889"
    ],
    [
      "1236.934320697",
      "1988.137655279"
    ],
    [
      "144.502541877",
      "952.012623323"
    ],
    [
      "877.765211628",
      "581.199488200"
    ],
    [
      "916.974968168",
      "1155.231335981"
    ],
    [
      "340.722049389",
      "1276.964906091"
    ],
    [
      "983.013912346",
      "145.090498465"
    ],
    [
      "1539.599598612",
      "1097.673149330"
    ],
    [
      "1601.739366158",
      "312.847633545"
    ],
    [
      "1343.315490477",
      "188.003328592"
    ],
    [
      "645.033870663",
      "1069.300059328"
    ]
  ],
  "radius": "1070.101478406"
}

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

DISCUSSION

讨论区

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