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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2500.203060394y0
0x2500.203060394
已验证构造r = 1250.101530197

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "683.884184418",
      "622.118261951"
    ],
    [
      "283.867474940",
      "487.387104286"
    ],
    [
      "2208.095639716",
      "451.686609296"
    ],
    [
      "856.381021185",
      "320.812348142"
    ],
    [
      "1526.142429719",
      "877.557382366"
    ],
    [
      "1594.851578352",
      "1549.517589960"
    ],
    [
      "1531.187523019",
      "897.514259359"
    ],
    [
      "534.310948347",
      "348.954435045"
    ],
    [
      "1417.645062752",
      "1657.018948219"
    ],
    [
      "1810.390291390",
      "367.009477085"
    ],
    [
      "998.371267819",
      "2447.658994688"
    ],
    [
      "1190.114650364",
      "317.979744332"
    ],
    [
      "1953.910601629",
      "1897.533369133"
    ],
    [
      "197.324351559",
      "602.484570078"
    ],
    [
      "1835.373356596",
      "365.186868744"
    ],
    [
      "1054.427603896",
      "1254.490030761"
    ],
    [
      "1831.098652933",
      "1249.689969575"
    ],
    [
      "233.195911537",
      "1588.988287821"
    ],
    [
      "530.545747693",
      "251.186629001"
    ],
    [
      "981.371654493",
      "49.830541195"
    ],
    [
      "310.680485354",
      "2042.491051956"
    ],
    [
      "208.333939198",
      "1892.918849093"
    ],
    [
      "1670.681408129",
      "411.308919526"
    ],
    [
      "2370.698722099",
      "1747.341620799"
    ],
    [
      "461.934546544",
      "2187.818722793"
    ],
    [
      "2433.030354133",
      "1564.326133097"
    ],
    [
      "1197.132310583",
      "2471.899780611"
    ],
    [
      "2065.485954132",
      "339.999356423"
    ],
    [
      "654.691999017",
      "2316.013468983"
    ],
    [
      "2453.949823607",
      "1051.625307666"
    ],
    [
      "1884.311608422",
      "209.026804108"
    ],
    [
      "68.430920672",
      "954.430403515"
    ],
    [
      "2466.604158945",
      "1288.278605199"
    ],
    [
      "102.684105821",
      "1653.011180098"
    ],
    [
      "2379.956313085",
      "803.054701301"
    ],
    [
      "2232.367706085",
      "1963.681017942"
    ],
    [
      "2241.113615823",
      "550.451354247"
    ],
    [
      "1454.125042826",
      "2444.908847633"
    ],
    [
      "2025.316590396",
      "2180.589857305"
    ],
    [
      "1603.966012167",
      "92.960732198"
    ],
    [
      "1766.519894779",
      "2343.371205547"
    ],
    [
      "499.283074285",
      "303.644477012"
    ],
    [
      "1279.954347103",
      "43.369201334"
    ],
    [
      "1476.020887526",
      "1060.698033583"
    ],
    [
      "1493.421631536",
      "1690.167316248"
    ],
    [
      "876.737697868",
      "1997.114005082"
    ],
    [
      "1153.745803486",
      "364.452839645"
    ],
    [
      "788.092683578",
      "485.130777239"
    ],
    [
      "1141.951090747",
      "1586.297902230"
    ],
    [
      "1885.579759882",
      "1589.440154413"
    ],
    [
      "784.680092853",
      "801.189276562"
    ],
    [
      "1641.553380638",
      "1476.485873528"
    ],
    [
      "813.380538178",
      "135.515628047"
    ],
    [
      "925.112515098",
      "98.997273145"
    ],
    [
      "1361.286804888",
      "2216.386911131"
    ],
    [
      "859.216590969",
      "1347.806221338"
    ],
    [
      "204.630292015",
      "675.554846399"
    ],
    [
      "944.330987112",
      "2402.321315341"
    ],
    [
      "267.337844757",
      "577.426140063"
    ],
    [
      "66.457239380",
      "1373.574287394"
    ],
    [
      "1222.829236167",
      "1966.300309358"
    ],
    [
      "1755.777489901",
      "875.247995682"
    ],
    [
      "63.000087216",
      "1249.646482518"
    ],
    [
      "1881.922812679",
      "862.668909183"
    ],
    [
      "992.360217245",
      "2271.376332428"
    ],
    [
      "2233.675456632",
      "1105.926761990"
    ],
    [
      "2114.746752167",
      "1176.032315503"
    ],
    [
      "2233.566501761",
      "1240.117158545"
    ],
    [
      "1805.290329403",
      "753.965355849"
    ],
    [
      "902.684833823",
      "220.952179208"
    ],
    [
      "1995.720367740",
      "1539.339790131"
    ],
    [
      "1444.673991052",
      "1301.521325987"
    ],
    [
      "1242.551101050",
      "1517.278789463"
    ],
    [
      "1502.487821735",
      "1808.890250839"
    ],
    [
      "430.062111118",
      "1645.145879385"
    ],
    [
      "400.233119366",
      "867.047841226"
    ],
    [
      "1623.511636543",
      "1904.775129762"
    ],
    [
      "673.017766940",
      "536.479293862"
    ],
    [
      "304.606929559",
      "1941.128848176"
    ],
    [
      "680.573994620",
      "1117.013451531"
    ],
    [
      "607.428221035",
      "2004.220612780"
    ],
    [
      "317.771174858",
      "1535.420104674"
    ],
    [
      "2351.162393934",
      "1637.129896248"
    ],
    [
      "1282.940470442",
      "342.779398973"
    ],
    [
      "1538.869121729",
      "1174.768764460"
    ],
    [
      "1660.583142778",
      "2064.574333240"
    ],
    [
      "591.676181661",
      "1656.321397471"
    ],
    [
      "1152.877634591",
      "1212.600209820"
    ],
    [
      "1035.462860680",
      "649.733801273"
    ],
    [
      "940.897567783",
      "2123.556553854"
    ],
    [
      "1603.505045465",
      "1338.470314128"
    ],
    [
      "764.332369196",
      "2077.177374243"
    ],
    [
      "352.770673388",
      "704.849455825"
    ],
    [
      "1377.898102206",
      "688.996264361"
    ],
    [
      "1830.728918842",
      "1013.201912989"
    ],
    [
      "1939.905152360",
      "324.833296197"
    ],
    [
      "1099.066416048",
      "2393.268855322"
    ],
    [
      "551.482870542",
      "992.519657079"
    ],
    [
      "1280.295493125",
      "1349.471278107"
    ],
    [
      "436.096308917",
      "2062.584778938"
    ],
    [
      "745.448000524",
      "948.039005645"
    ],
    [
      "134.356866832",
      "1520.750693897"
    ],
    [
      "703.464905049",
      "1298.647807935"
    ],
    [
      "1727.670248527",
      "1183.436781548"
    ],
    [
      "2392.526000579",
      "1171.846537223"
    ],
    [
      "599.256393903",
      "2191.041974625"
    ],
    [
      "2168.147567805",
      "1583.530973400"
    ],
    [
      "1939.656693328",
      "1185.834118305"
    ],
    [
      "1983.053876348",
      "719.822184171"
    ],
    [
      "511.507957344",
      "1203.712211849"
    ],
    [
      "123.384484746",
      "1086.460317249"
    ],
    [
      "1191.055178238",
      "776.981711737"
    ],
    [
      "1342.839219185",
      "1146.907010944"
    ],
    [
      "832.565142762",
      "643.290505206"
    ],
    [
      "346.477279670",
      "1050.327162753"
    ],
    [
      "1620.713419781",
      "991.186328270"
    ],
    [
      "1312.736616813",
      "2381.392605696"
    ],
    [
      "1816.461548096",
      "1932.976754402"
    ],
    [
      "1158.503453620",
      "1005.676672825"
    ],
    [
      "2340.438883186",
      "952.958592826"
    ],
    [
      "999.806127994",
      "1679.543864953"
    ],
    [
      "806.024174373",
      "2287.120510001"
    ],
    [
      "2231.323036588",
      "1804.684449847"
    ],
    [
      "1218.310986149",
      "540.483798925"
    ],
    [
      "2087.325733789",
      "1366.064122715"
    ],
    [
      "482.467269499",
      "1839.194067668"
    ],
    [
      "196.890858821",
      "860.095980458"
    ],
    [
      "1390.389688624",
      "910.644544909"
    ],
    [
      "1036.988363211",
      "1926.763365368"
    ],
    [
      "2081.646777262",
      "500.859748106"
    ],
    [
      "958.306190864",
      "855.760130433"
    ],
    [
      "244.810233537",
      "1738.779261697"
    ],
    [
      "1982.450239953",
      "1744.698358998"
    ],
    [
      "519.050088650",
      "1447.595618955"
    ],
    [
      "1601.558899085",
      "740.537274996"
    ],
    [
      "2228.033830618",
      "722.956192496"
    ],
    [
      "1849.394948285",
      "2185.841127443"
    ],
    [
      "1453.471285963",
      "1511.475721588"
    ],
    [
      "2062.702229746",
      "2006.560221981"
    ],
    [
      "2347.925854488",
      "1414.153384451"
    ],
    [
      "1824.715909146",
      "1408.397088614"
    ],
    [
      "783.063250846",
      "1530.575662953"
    ],
    [
      "1170.392473017",
      "2163.819296837"
    ],
    [
      "1046.250759352",
      "1418.645616169"
    ],
    [
      "971.431510730",
      "424.664953524"
    ],
    [
      "1710.854008304",
      "246.733530458"
    ],
    [
      "453.520967606",
      "487.020673945"
    ],
    [
      "1429.137525978",
      "162.639395190"
    ],
    [
      "591.661068929",
      "748.809352871"
    ],
    [
      "2070.647117076",
      "963.560618112"
    ],
    [
      "1427.560238394",
      "2021.338629897"
    ],
    [
      "270.411745770",
      "1306.262769020"
    ],
    [
      "1800.367481624",
      "532.019944610"
    ],
    [
      "695.273818203",
      "305.549286750"
    ],
    [
      "1123.506918594",
      "164.729005695"
    ],
    [
      "766.002870715",
      "1828.086912203"
    ],
    [
      "1575.271524401",
      "2292.106589789"
    ],
    [
      "917.276343018",
      "1141.832763844"
    ],
    [
      "1697.552069663",
      "1680.690292560"
    ],
    [
      "1494.943519714",
      "463.571398295"
    ],
    [
      "1273.335041269",
      "1750.121763582"
    ]
  ],
  "radius": "1250.101530197"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 161
}

当前第一名的答案

{
  "centers": [
    [
      "683.884184418",
      "622.118261951"
    ],
    [
      "283.867474940",
      "487.387104286"
    ],
    [
      "2208.095639716",
      "451.686609296"
    ],
    [
      "856.381021185",
      "320.812348142"
    ],
    [
      "1526.142429719",
      "877.557382366"
    ],
    [
      "1594.851578352",
      "1549.517589960"
    ],
    [
      "1531.187523019",
      "897.514259359"
    ],
    [
      "534.310948347",
      "348.954435045"
    ],
    [
      "1417.645062752",
      "1657.018948219"
    ],
    [
      "1810.390291390",
      "367.009477085"
    ],
    [
      "998.371267819",
      "2447.658994688"
    ],
    [
      "1190.114650364",
      "317.979744332"
    ],
    [
      "1953.910601629",
      "1897.533369133"
    ],
    [
      "197.324351559",
      "602.484570078"
    ],
    [
      "1835.373356596",
      "365.186868744"
    ],
    [
      "1054.427603896",
      "1254.490030761"
    ],
    [
      "1831.098652933",
      "1249.689969575"
    ],
    [
      "233.195911537",
      "1588.988287821"
    ],
    [
      "530.545747693",
      "251.186629001"
    ],
    [
      "981.371654493",
      "49.830541195"
    ],
    [
      "310.680485354",
      "2042.491051956"
    ],
    [
      "208.333939198",
      "1892.918849093"
    ],
    [
      "1670.681408129",
      "411.308919526"
    ],
    [
      "2370.698722099",
      "1747.341620799"
    ],
    [
      "461.934546544",
      "2187.818722793"
    ],
    [
      "2433.030354133",
      "1564.326133097"
    ],
    [
      "1197.132310583",
      "2471.899780611"
    ],
    [
      "2065.485954132",
      "339.999356423"
    ],
    [
      "654.691999017",
      "2316.013468983"
    ],
    [
      "2453.949823607",
      "1051.625307666"
    ],
    [
      "1884.311608422",
      "209.026804108"
    ],
    [
      "68.430920672",
      "954.430403515"
    ],
    [
      "2466.604158945",
      "1288.278605199"
    ],
    [
      "102.684105821",
      "1653.011180098"
    ],
    [
      "2379.956313085",
      "803.054701301"
    ],
    [
      "2232.367706085",
      "1963.681017942"
    ],
    [
      "2241.113615823",
      "550.451354247"
    ],
    [
      "1454.125042826",
      "2444.908847633"
    ],
    [
      "2025.316590396",
      "2180.589857305"
    ],
    [
      "1603.966012167",
      "92.960732198"
    ],
    [
      "1766.519894779",
      "2343.371205547"
    ],
    [
      "499.283074285",
      "303.644477012"
    ],
    [
      "1279.954347103",
      "43.369201334"
    ],
    [
      "1476.020887526",
      "1060.698033583"
    ],
    [
      "1493.421631536",
      "1690.167316248"
    ],
    [
      "876.737697868",
      "1997.114005082"
    ],
    [
      "1153.745803486",
      "364.452839645"
    ],
    [
      "788.092683578",
      "485.130777239"
    ],
    [
      "1141.951090747",
      "1586.297902230"
    ],
    [
      "1885.579759882",
      "1589.440154413"
    ],
    [
      "784.680092853",
      "801.189276562"
    ],
    [
      "1641.553380638",
      "1476.485873528"
    ],
    [
      "813.380538178",
      "135.515628047"
    ],
    [
      "925.112515098",
      "98.997273145"
    ],
    [
      "1361.286804888",
      "2216.386911131"
    ],
    [
      "859.216590969",
      "1347.806221338"
    ],
    [
      "204.630292015",
      "675.554846399"
    ],
    [
      "944.330987112",
      "2402.321315341"
    ],
    [
      "267.337844757",
      "577.426140063"
    ],
    [
      "66.457239380",
      "1373.574287394"
    ],
    [
      "1222.829236167",
      "1966.300309358"
    ],
    [
      "1755.777489901",
      "875.247995682"
    ],
    [
      "63.000087216",
      "1249.646482518"
    ],
    [
      "1881.922812679",
      "862.668909183"
    ],
    [
      "992.360217245",
      "2271.376332428"
    ],
    [
      "2233.675456632",
      "1105.926761990"
    ],
    [
      "2114.746752167",
      "1176.032315503"
    ],
    [
      "2233.566501761",
      "1240.117158545"
    ],
    [
      "1805.290329403",
      "753.965355849"
    ],
    [
      "902.684833823",
      "220.952179208"
    ],
    [
      "1995.720367740",
      "1539.339790131"
    ],
    [
      "1444.673991052",
      "1301.521325987"
    ],
    [
      "1242.551101050",
      "1517.278789463"
    ],
    [
      "1502.487821735",
      "1808.890250839"
    ],
    [
      "430.062111118",
      "1645.145879385"
    ],
    [
      "400.233119366",
      "867.047841226"
    ],
    [
      "1623.511636543",
      "1904.775129762"
    ],
    [
      "673.017766940",
      "536.479293862"
    ],
    [
      "304.606929559",
      "1941.128848176"
    ],
    [
      "680.573994620",
      "1117.013451531"
    ],
    [
      "607.428221035",
      "2004.220612780"
    ],
    [
      "317.771174858",
      "1535.420104674"
    ],
    [
      "2351.162393934",
      "1637.129896248"
    ],
    [
      "1282.940470442",
      "342.779398973"
    ],
    [
      "1538.869121729",
      "1174.768764460"
    ],
    [
      "1660.583142778",
      "2064.574333240"
    ],
    [
      "591.676181661",
      "1656.321397471"
    ],
    [
      "1152.877634591",
      "1212.600209820"
    ],
    [
      "1035.462860680",
      "649.733801273"
    ],
    [
      "940.897567783",
      "2123.556553854"
    ],
    [
      "1603.505045465",
      "1338.470314128"
    ],
    [
      "764.332369196",
      "2077.177374243"
    ],
    [
      "352.770673388",
      "704.849455825"
    ],
    [
      "1377.898102206",
      "688.996264361"
    ],
    [
      "1830.728918842",
      "1013.201912989"
    ],
    [
      "1939.905152360",
      "324.833296197"
    ],
    [
      "1099.066416048",
      "2393.268855322"
    ],
    [
      "551.482870542",
      "992.519657079"
    ],
    [
      "1280.295493125",
      "1349.471278107"
    ],
    [
      "436.096308917",
      "2062.584778938"
    ],
    [
      "745.448000524",
      "948.039005645"
    ],
    [
      "134.356866832",
      "1520.750693897"
    ],
    [
      "703.464905049",
      "1298.647807935"
    ],
    [
      "1727.670248527",
      "1183.436781548"
    ],
    [
      "2392.526000579",
      "1171.846537223"
    ],
    [
      "599.256393903",
      "2191.041974625"
    ],
    [
      "2168.147567805",
      "1583.530973400"
    ],
    [
      "1939.656693328",
      "1185.834118305"
    ],
    [
      "1983.053876348",
      "719.822184171"
    ],
    [
      "511.507957344",
      "1203.712211849"
    ],
    [
      "123.384484746",
      "1086.460317249"
    ],
    [
      "1191.055178238",
      "776.981711737"
    ],
    [
      "1342.839219185",
      "1146.907010944"
    ],
    [
      "832.565142762",
      "643.290505206"
    ],
    [
      "346.477279670",
      "1050.327162753"
    ],
    [
      "1620.713419781",
      "991.186328270"
    ],
    [
      "1312.736616813",
      "2381.392605696"
    ],
    [
      "1816.461548096",
      "1932.976754402"
    ],
    [
      "1158.503453620",
      "1005.676672825"
    ],
    [
      "2340.438883186",
      "952.958592826"
    ],
    [
      "999.806127994",
      "1679.543864953"
    ],
    [
      "806.024174373",
      "2287.120510001"
    ],
    [
      "2231.323036588",
      "1804.684449847"
    ],
    [
      "1218.310986149",
      "540.483798925"
    ],
    [
      "2087.325733789",
      "1366.064122715"
    ],
    [
      "482.467269499",
      "1839.194067668"
    ],
    [
      "196.890858821",
      "860.095980458"
    ],
    [
      "1390.389688624",
      "910.644544909"
    ],
    [
      "1036.988363211",
      "1926.763365368"
    ],
    [
      "2081.646777262",
      "500.859748106"
    ],
    [
      "958.306190864",
      "855.760130433"
    ],
    [
      "244.810233537",
      "1738.779261697"
    ],
    [
      "1982.450239953",
      "1744.698358998"
    ],
    [
      "519.050088650",
      "1447.595618955"
    ],
    [
      "1601.558899085",
      "740.537274996"
    ],
    [
      "2228.033830618",
      "722.956192496"
    ],
    [
      "1849.394948285",
      "2185.841127443"
    ],
    [
      "1453.471285963",
      "1511.475721588"
    ],
    [
      "2062.702229746",
      "2006.560221981"
    ],
    [
      "2347.925854488",
      "1414.153384451"
    ],
    [
      "1824.715909146",
      "1408.397088614"
    ],
    [
      "783.063250846",
      "1530.575662953"
    ],
    [
      "1170.392473017",
      "2163.819296837"
    ],
    [
      "1046.250759352",
      "1418.645616169"
    ],
    [
      "971.431510730",
      "424.664953524"
    ],
    [
      "1710.854008304",
      "246.733530458"
    ],
    [
      "453.520967606",
      "487.020673945"
    ],
    [
      "1429.137525978",
      "162.639395190"
    ],
    [
      "591.661068929",
      "748.809352871"
    ],
    [
      "2070.647117076",
      "963.560618112"
    ],
    [
      "1427.560238394",
      "2021.338629897"
    ],
    [
      "270.411745770",
      "1306.262769020"
    ],
    [
      "1800.367481624",
      "532.019944610"
    ],
    [
      "695.273818203",
      "305.549286750"
    ],
    [
      "1123.506918594",
      "164.729005695"
    ],
    [
      "766.002870715",
      "1828.086912203"
    ],
    [
      "1575.271524401",
      "2292.106589789"
    ],
    [
      "917.276343018",
      "1141.832763844"
    ],
    [
      "1697.552069663",
      "1680.690292560"
    ],
    [
      "1494.943519714",
      "463.571398295"
    ],
    [
      "1273.335041269",
      "1750.121763582"
    ]
  ],
  "radius": "1250.101530197"
}

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

DISCUSSION

讨论区

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