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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2162.934379322y0
0x2162.934379322
已验证构造r = 1081.467189661

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1212.218924727",
      "1082.022325815"
    ],
    [
      "113.851732888",
      "605.255587764"
    ],
    [
      "1579.756295277",
      "173.236454565"
    ],
    [
      "1921.859455184",
      "1165.142590462"
    ],
    [
      "487.639170269",
      "299.367817728"
    ],
    [
      "90.384336872",
      "678.711867213"
    ],
    [
      "1576.254901602",
      "135.567020983"
    ],
    [
      "701.771294491",
      "2009.961575432"
    ],
    [
      "849.503901671",
      "775.258669684"
    ],
    [
      "637.712259919",
      "2055.306688269"
    ],
    [
      "1855.667096007",
      "1396.747573221"
    ],
    [
      "203.937716450",
      "470.268934313"
    ],
    [
      "1044.580647816",
      "767.263745903"
    ],
    [
      "1113.896355065",
      "1972.940128765"
    ],
    [
      "738.456150862",
      "668.421670541"
    ],
    [
      "1219.906794581",
      "26.145048924"
    ],
    [
      "1604.975981869",
      "1557.026911829"
    ],
    [
      "115.362839443",
      "648.038360304"
    ],
    [
      "1978.442155405",
      "1650.914515594"
    ],
    [
      "868.003938837",
      "43.271323678"
    ],
    [
      "1687.116614448",
      "1951.481286313"
    ],
    [
      "1751.528093441",
      "264.851576546"
    ],
    [
      "26.053880201",
      "1040.200092617"
    ],
    [
      "57.740507637",
      "816.512763139"
    ],
    [
      "2034.512129015",
      "625.898695597"
    ],
    [
      "1925.122612683",
      "448.492833830"
    ],
    [
      "939.803222882",
      "2126.227687298"
    ],
    [
      "1154.855075747",
      "2129.367811560"
    ],
    [
      "48.922986467",
      "1285.010817796"
    ],
    [
      "2055.742286943",
      "1476.867314972"
    ],
    [
      "269.070029366",
      "1747.418389912"
    ],
    [
      "432.157842047",
      "1905.954153339"
    ],
    [
      "126.800155404",
      "1514.934952588"
    ],
    [
      "907.191386809",
      "979.861038430"
    ],
    [
      "688.003514659",
      "2050.943260420"
    ],
    [
      "2106.927560433",
      "878.410598271"
    ],
    [
      "884.670227557",
      "1059.164426574"
    ],
    [
      "845.935429600",
      "1563.884816446"
    ],
    [
      "1444.969888221",
      "2058.505382189"
    ],
    [
      "2117.734912226",
      "1185.405220762"
    ],
    [
      "667.265565235",
      "362.412939116"
    ],
    [
      "802.968245522",
      "801.571475023"
    ],
    [
      "602.226421933",
      "842.096256737"
    ],
    [
      "701.639314385",
      "1732.184825621"
    ],
    [
      "303.884218485",
      "1406.896380050"
    ],
    [
      "1860.464416197",
      "1454.079505651"
    ],
    [
      "1464.859638282",
      "1338.165180473"
    ],
    [
      "790.825588448",
      "1366.092991272"
    ],
    [
      "1231.184952875",
      "1150.576773149"
    ],
    [
      "678.732951599",
      "1149.618023915"
    ],
    [
      "1148.671540312",
      "1452.020106643"
    ],
    [
      "1633.838900509",
      "545.680264546"
    ],
    [
      "291.747924798",
      "941.854501842"
    ],
    [
      "1003.540050801",
      "1248.717161667"
    ],
    [
      "496.217059286",
      "238.355644865"
    ],
    [
      "389.772852597",
      "889.715271637"
    ],
    [
      "1152.055958005",
      "59.440726792"
    ],
    [
      "1722.265816070",
      "1879.503660446"
    ],
    [
      "1159.001325612",
      "175.809067031"
    ],
    [
      "1906.543884324",
      "1683.660713572"
    ],
    [
      "300.758321957",
      "424.316560765"
    ],
    [
      "836.252259758",
      "225.865618096"
    ],
    [
      "257.820541745",
      "1054.014012172"
    ],
    [
      "804.291716992",
      "102.517334409"
    ],
    [
      "1089.823258858",
      "278.718712278"
    ],
    [
      "1479.849071098",
      "956.390901333"
    ],
    [
      "1666.769718976",
      "1763.923661458"
    ],
    [
      "1471.541429861",
      "1090.133127653"
    ],
    [
      "1370.137397462",
      "1798.752753024"
    ],
    [
      "771.289537881",
      "1641.936023034"
    ],
    [
      "1314.948922284",
      "1670.089501828"
    ],
    [
      "400.471468896",
      "336.303559818"
    ],
    [
      "128.933519643",
      "750.278904690"
    ],
    [
      "1227.714936896",
      "1785.913643499"
    ],
    [
      "1808.080945368",
      "1777.892816617"
    ],
    [
      "393.025158627",
      "1021.753950578"
    ],
    [
      "423.539468312",
      "1432.328006136"
    ],
    [
      "548.266553243",
      "361.928021636"
    ],
    [
      "518.676328457",
      "930.997223439"
    ],
    [
      "788.230475680",
      "359.499102875"
    ],
    [
      "752.025096923",
      "1490.796859722"
    ],
    [
      "689.179477733",
      "752.295554681"
    ],
    [
      "947.247883284",
      "323.607897869"
    ],
    [
      "1637.613137994",
      "253.431877249"
    ],
    [
      "277.297211754",
      "804.613192853"
    ],
    [
      "1286.860173331",
      "107.419630273"
    ],
    [
      "1931.703342722",
      "565.653778301"
    ],
    [
      "1959.762929667",
      "1545.551692189"
    ],
    [
      "931.444213317",
      "1657.785018296"
    ],
    [
      "843.308363009",
      "675.886651271"
    ],
    [
      "819.219161521",
      "1798.517167266"
    ],
    [
      "1046.676560694",
      "2070.322553984"
    ],
    [
      "1620.843895410",
      "1029.885523705"
    ],
    [
      "542.723051165",
      "1102.317844289"
    ],
    [
      "441.627789317",
      "498.152740507"
    ],
    [
      "897.055716423",
      "497.821432878"
    ],
    [
      "391.934105635",
      "1783.385596893"
    ],
    [
      "1595.997049943",
      "840.508560294"
    ],
    [
      "1750.871293611",
      "1359.135588085"
    ],
    [
      "1085.423825821",
      "443.660050304"
    ],
    [
      "1569.311450099",
      "1443.016594428"
    ],
    [
      "1524.210573995",
      "653.835847046"
    ],
    [
      "1392.560282200",
      "811.678540655"
    ],
    [
      "1364.842962695",
      "1225.038417041"
    ],
    [
      "1461.764012600",
      "184.163665933"
    ],
    [
      "1037.379558111",
      "644.381027923"
    ],
    [
      "945.753825475",
      "844.154078959"
    ],
    [
      "153.799121033",
      "1376.543999648"
    ],
    [
      "1161.764613845",
      "1292.509209643"
    ],
    [
      "113.378104528",
      "1161.582548371"
    ],
    [
      "1581.699493434",
      "1231.361787125"
    ],
    [
      "1310.210695924",
      "1010.305849805"
    ],
    [
      "662.116098750",
      "208.499057367"
    ],
    [
      "124.811870788",
      "937.233476745"
    ],
    [
      "1795.069497338",
      "916.265808720"
    ],
    [
      "1793.052231150",
      "1148.313937111"
    ],
    [
      "1133.866679687",
      "1619.560090429"
    ],
    [
      "836.781122114",
      "1206.580957467"
    ],
    [
      "1171.019529060",
      "825.950705945"
    ],
    [
      "987.481316810",
      "124.604706074"
    ],
    [
      "250.785162004",
      "599.321370085"
    ],
    [
      "841.244500694",
      "2010.375337832"
    ],
    [
      "1508.610481365",
      "1658.635221643"
    ],
    [
      "1275.300605797",
      "317.101237475"
    ],
    [
      "1986.000369470",
      "770.582626653"
    ],
    [
      "1751.513359676",
      "679.234454523"
    ],
    [
      "1747.572059912",
      "1585.168467400"
    ],
    [
      "1505.630409213",
      "419.337149338"
    ],
    [
      "1034.974448254",
      "1849.632589181"
    ],
    [
      "1768.228855074",
      "422.947464886"
    ],
    [
      "476.706115511",
      "721.594585885"
    ],
    [
      "1535.297402857",
      "1913.309169773"
    ],
    [
      "277.916702954",
      "1583.635673523"
    ],
    [
      "667.237268252",
      "537.412936830"
    ],
    [
      "1334.337931706",
      "1465.003992066"
    ],
    [
      "961.805660916",
      "1434.076921867"
    ],
    [
      "350.905842528",
      "1231.031318610"
    ],
    [
      "609.538386516",
      "1324.488299036"
    ],
    [
      "733.655089587",
      "968.774006151"
    ],
    [
      "2021.694624062",
      "1033.167698943"
    ],
    [
      "1062.631318586",
      "1062.885996164"
    ],
    [
      "605.551690407",
      "1891.443007578"
    ],
    [
      "1990.031547190",
      "1316.480964356"
    ],
    [
      "1271.772438975",
      "1999.415251247"
    ],
    [
      "558.944460533",
      "1608.252672065"
    ],
    [
      "1285.411115578",
      "586.911870314"
    ]
  ],
  "radius": "1081.467189661"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 146
}

当前第一名的答案

{
  "centers": [
    [
      "1212.218924727",
      "1082.022325815"
    ],
    [
      "113.851732888",
      "605.255587764"
    ],
    [
      "1579.756295277",
      "173.236454565"
    ],
    [
      "1921.859455184",
      "1165.142590462"
    ],
    [
      "487.639170269",
      "299.367817728"
    ],
    [
      "90.384336872",
      "678.711867213"
    ],
    [
      "1576.254901602",
      "135.567020983"
    ],
    [
      "701.771294491",
      "2009.961575432"
    ],
    [
      "849.503901671",
      "775.258669684"
    ],
    [
      "637.712259919",
      "2055.306688269"
    ],
    [
      "1855.667096007",
      "1396.747573221"
    ],
    [
      "203.937716450",
      "470.268934313"
    ],
    [
      "1044.580647816",
      "767.263745903"
    ],
    [
      "1113.896355065",
      "1972.940128765"
    ],
    [
      "738.456150862",
      "668.421670541"
    ],
    [
      "1219.906794581",
      "26.145048924"
    ],
    [
      "1604.975981869",
      "1557.026911829"
    ],
    [
      "115.362839443",
      "648.038360304"
    ],
    [
      "1978.442155405",
      "1650.914515594"
    ],
    [
      "868.003938837",
      "43.271323678"
    ],
    [
      "1687.116614448",
      "1951.481286313"
    ],
    [
      "1751.528093441",
      "264.851576546"
    ],
    [
      "26.053880201",
      "1040.200092617"
    ],
    [
      "57.740507637",
      "816.512763139"
    ],
    [
      "2034.512129015",
      "625.898695597"
    ],
    [
      "1925.122612683",
      "448.492833830"
    ],
    [
      "939.803222882",
      "2126.227687298"
    ],
    [
      "1154.855075747",
      "2129.367811560"
    ],
    [
      "48.922986467",
      "1285.010817796"
    ],
    [
      "2055.742286943",
      "1476.867314972"
    ],
    [
      "269.070029366",
      "1747.418389912"
    ],
    [
      "432.157842047",
      "1905.954153339"
    ],
    [
      "126.800155404",
      "1514.934952588"
    ],
    [
      "907.191386809",
      "979.861038430"
    ],
    [
      "688.003514659",
      "2050.943260420"
    ],
    [
      "2106.927560433",
      "878.410598271"
    ],
    [
      "884.670227557",
      "1059.164426574"
    ],
    [
      "845.935429600",
      "1563.884816446"
    ],
    [
      "1444.969888221",
      "2058.505382189"
    ],
    [
      "2117.734912226",
      "1185.405220762"
    ],
    [
      "667.265565235",
      "362.412939116"
    ],
    [
      "802.968245522",
      "801.571475023"
    ],
    [
      "602.226421933",
      "842.096256737"
    ],
    [
      "701.639314385",
      "1732.184825621"
    ],
    [
      "303.884218485",
      "1406.896380050"
    ],
    [
      "1860.464416197",
      "1454.079505651"
    ],
    [
      "1464.859638282",
      "1338.165180473"
    ],
    [
      "790.825588448",
      "1366.092991272"
    ],
    [
      "1231.184952875",
      "1150.576773149"
    ],
    [
      "678.732951599",
      "1149.618023915"
    ],
    [
      "1148.671540312",
      "1452.020106643"
    ],
    [
      "1633.838900509",
      "545.680264546"
    ],
    [
      "291.747924798",
      "941.854501842"
    ],
    [
      "1003.540050801",
      "1248.717161667"
    ],
    [
      "496.217059286",
      "238.355644865"
    ],
    [
      "389.772852597",
      "889.715271637"
    ],
    [
      "1152.055958005",
      "59.440726792"
    ],
    [
      "1722.265816070",
      "1879.503660446"
    ],
    [
      "1159.001325612",
      "175.809067031"
    ],
    [
      "1906.543884324",
      "1683.660713572"
    ],
    [
      "300.758321957",
      "424.316560765"
    ],
    [
      "836.252259758",
      "225.865618096"
    ],
    [
      "257.820541745",
      "1054.014012172"
    ],
    [
      "804.291716992",
      "102.517334409"
    ],
    [
      "1089.823258858",
      "278.718712278"
    ],
    [
      "1479.849071098",
      "956.390901333"
    ],
    [
      "1666.769718976",
      "1763.923661458"
    ],
    [
      "1471.541429861",
      "1090.133127653"
    ],
    [
      "1370.137397462",
      "1798.752753024"
    ],
    [
      "771.289537881",
      "1641.936023034"
    ],
    [
      "1314.948922284",
      "1670.089501828"
    ],
    [
      "400.471468896",
      "336.303559818"
    ],
    [
      "128.933519643",
      "750.278904690"
    ],
    [
      "1227.714936896",
      "1785.913643499"
    ],
    [
      "1808.080945368",
      "1777.892816617"
    ],
    [
      "393.025158627",
      "1021.753950578"
    ],
    [
      "423.539468312",
      "1432.328006136"
    ],
    [
      "548.266553243",
      "361.928021636"
    ],
    [
      "518.676328457",
      "930.997223439"
    ],
    [
      "788.230475680",
      "359.499102875"
    ],
    [
      "752.025096923",
      "1490.796859722"
    ],
    [
      "689.179477733",
      "752.295554681"
    ],
    [
      "947.247883284",
      "323.607897869"
    ],
    [
      "1637.613137994",
      "253.431877249"
    ],
    [
      "277.297211754",
      "804.613192853"
    ],
    [
      "1286.860173331",
      "107.419630273"
    ],
    [
      "1931.703342722",
      "565.653778301"
    ],
    [
      "1959.762929667",
      "1545.551692189"
    ],
    [
      "931.444213317",
      "1657.785018296"
    ],
    [
      "843.308363009",
      "675.886651271"
    ],
    [
      "819.219161521",
      "1798.517167266"
    ],
    [
      "1046.676560694",
      "2070.322553984"
    ],
    [
      "1620.843895410",
      "1029.885523705"
    ],
    [
      "542.723051165",
      "1102.317844289"
    ],
    [
      "441.627789317",
      "498.152740507"
    ],
    [
      "897.055716423",
      "497.821432878"
    ],
    [
      "391.934105635",
      "1783.385596893"
    ],
    [
      "1595.997049943",
      "840.508560294"
    ],
    [
      "1750.871293611",
      "1359.135588085"
    ],
    [
      "1085.423825821",
      "443.660050304"
    ],
    [
      "1569.311450099",
      "1443.016594428"
    ],
    [
      "1524.210573995",
      "653.835847046"
    ],
    [
      "1392.560282200",
      "811.678540655"
    ],
    [
      "1364.842962695",
      "1225.038417041"
    ],
    [
      "1461.764012600",
      "184.163665933"
    ],
    [
      "1037.379558111",
      "644.381027923"
    ],
    [
      "945.753825475",
      "844.154078959"
    ],
    [
      "153.799121033",
      "1376.543999648"
    ],
    [
      "1161.764613845",
      "1292.509209643"
    ],
    [
      "113.378104528",
      "1161.582548371"
    ],
    [
      "1581.699493434",
      "1231.361787125"
    ],
    [
      "1310.210695924",
      "1010.305849805"
    ],
    [
      "662.116098750",
      "208.499057367"
    ],
    [
      "124.811870788",
      "937.233476745"
    ],
    [
      "1795.069497338",
      "916.265808720"
    ],
    [
      "1793.052231150",
      "1148.313937111"
    ],
    [
      "1133.866679687",
      "1619.560090429"
    ],
    [
      "836.781122114",
      "1206.580957467"
    ],
    [
      "1171.019529060",
      "825.950705945"
    ],
    [
      "987.481316810",
      "124.604706074"
    ],
    [
      "250.785162004",
      "599.321370085"
    ],
    [
      "841.244500694",
      "2010.375337832"
    ],
    [
      "1508.610481365",
      "1658.635221643"
    ],
    [
      "1275.300605797",
      "317.101237475"
    ],
    [
      "1986.000369470",
      "770.582626653"
    ],
    [
      "1751.513359676",
      "679.234454523"
    ],
    [
      "1747.572059912",
      "1585.168467400"
    ],
    [
      "1505.630409213",
      "419.337149338"
    ],
    [
      "1034.974448254",
      "1849.632589181"
    ],
    [
      "1768.228855074",
      "422.947464886"
    ],
    [
      "476.706115511",
      "721.594585885"
    ],
    [
      "1535.297402857",
      "1913.309169773"
    ],
    [
      "277.916702954",
      "1583.635673523"
    ],
    [
      "667.237268252",
      "537.412936830"
    ],
    [
      "1334.337931706",
      "1465.003992066"
    ],
    [
      "961.805660916",
      "1434.076921867"
    ],
    [
      "350.905842528",
      "1231.031318610"
    ],
    [
      "609.538386516",
      "1324.488299036"
    ],
    [
      "733.655089587",
      "968.774006151"
    ],
    [
      "2021.694624062",
      "1033.167698943"
    ],
    [
      "1062.631318586",
      "1062.885996164"
    ],
    [
      "605.551690407",
      "1891.443007578"
    ],
    [
      "1990.031547190",
      "1316.480964356"
    ],
    [
      "1271.772438975",
      "1999.415251247"
    ],
    [
      "558.944460533",
      "1608.252672065"
    ],
    [
      "1285.411115578",
      "586.911870314"
    ]
  ],
  "radius": "1081.467189661"
}

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

DISCUSSION

讨论区

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