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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1945.008830048y0
0x1945.008830048
已验证构造r = 972.504415024

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "660.471737225",
      "53.540522636"
    ],
    [
      "418.651063276",
      "837.630098273"
    ],
    [
      "218.406942013",
      "380.943867600"
    ],
    [
      "337.117726583",
      "1697.968991607"
    ],
    [
      "1710.218843369",
      "348.995041371"
    ],
    [
      "161.701330519",
      "1479.910816310"
    ],
    [
      "1654.613088999",
      "826.182462141"
    ],
    [
      "175.366543613",
      "1502.824576436"
    ],
    [
      "232.266197745",
      "1159.177501305"
    ],
    [
      "1871.081310055",
      "972.862316132"
    ],
    [
      "22.017318583",
      "886.156662025"
    ],
    [
      "783.304540036",
      "1914.127168821"
    ],
    [
      "1931.146072842",
      "1012.041819932"
    ],
    [
      "350.650131945",
      "1162.172596174"
    ],
    [
      "722.895392000",
      "1153.439747655"
    ],
    [
      "1375.780029890",
      "1553.903247557"
    ],
    [
      "1100.228613794",
      "815.300028167"
    ],
    [
      "1028.849324719",
      "1925.299183514"
    ],
    [
      "824.373502487",
      "31.693240593"
    ],
    [
      "1458.909099405",
      "1790.162847786"
    ],
    [
      "1753.407070361",
      "1515.961747899"
    ],
    [
      "336.773141825",
      "265.963793374"
    ],
    [
      "602.384413091",
      "98.170135997"
    ],
    [
      "1594.760091226",
      "1688.313547962"
    ],
    [
      "30.323748420",
      "1071.933255990"
    ],
    [
      "324.552395268",
      "1662.321881739"
    ],
    [
      "1803.856997815",
      "522.230615074"
    ],
    [
      "1878.807416315",
      "706.847571042"
    ],
    [
      "1889.695188394",
      "1193.777247548"
    ],
    [
      "1228.190298080",
      "1879.586371688"
    ],
    [
      "1184.774798017",
      "55.241176901"
    ],
    [
      "1913.005478828",
      "969.993705387"
    ],
    [
      "406.323715298",
      "956.304857899"
    ],
    [
      "1420.134782911",
      "147.630127169"
    ],
    [
      "1643.204601583",
      "317.501830186"
    ],
    [
      "998.780373651",
      "463.554815974"
    ],
    [
      "783.133774152",
      "1314.812778446"
    ],
    [
      "913.480453812",
      "164.789790012"
    ],
    [
      "1683.674204706",
      "1384.165901838"
    ],
    [
      "504.374848209",
      "1778.913131914"
    ],
    [
      "1216.908038030",
      "1050.099472782"
    ],
    [
      "1477.693260883",
      "1413.565867969"
    ],
    [
      "580.206865137",
      "1815.167508971"
    ],
    [
      "751.981958794",
      "864.394487073"
    ],
    [
      "1715.711800751",
      "999.927796358"
    ],
    [
      "128.938612557",
      "589.350179814"
    ],
    [
      "95.709806389",
      "676.211255337"
    ],
    [
      "990.912797806",
      "1293.538939120"
    ],
    [
      "994.426724004",
      "1055.893445928"
    ],
    [
      "468.354354858",
      "1011.451931771"
    ],
    [
      "733.726453613",
      "1387.650140184"
    ],
    [
      "966.621829936",
      "1892.859795703"
    ],
    [
      "860.779078391",
      "1885.127734679"
    ],
    [
      "116.215385118",
      "1304.550107264"
    ],
    [
      "898.465807894",
      "58.045699488"
    ],
    [
      "1762.280003364",
      "1437.515020085"
    ],
    [
      "1429.466000355",
      "1603.863176329"
    ],
    [
      "1413.229945846",
      "1490.015073427"
    ],
    [
      "167.938757773",
      "1405.129448324"
    ],
    [
      "905.306275206",
      "649.483105742"
    ],
    [
      "550.438360338",
      "164.617026677"
    ],
    [
      "625.505444304",
      "1420.178215385"
    ],
    [
      "439.609495042",
      "770.458604224"
    ],
    [
      "1294.109509286",
      "1122.031119674"
    ],
    [
      "216.045453896",
      "876.632027329"
    ],
    [
      "354.070268195",
      "523.631709699"
    ],
    [
      "587.407817355",
      "287.259824710"
    ],
    [
      "1503.872914388",
      "1704.400721286"
    ],
    [
      "487.678516573",
      "894.031419191"
    ],
    [
      "350.857710055",
      "869.514753261"
    ],
    [
      "616.398190697",
      "569.160312224"
    ],
    [
      "1130.492369779",
      "283.939267497"
    ],
    [
      "1208.997752683",
      "532.976782735"
    ],
    [
      "585.721243032",
      "1698.297531488"
    ],
    [
      "1104.117598411",
      "428.553829127"
    ],
    [
      "957.025527050",
      "1548.716443904"
    ],
    [
      "212.415537594",
      "499.014123963"
    ],
    [
      "94.555114226",
      "801.205921971"
    ],
    [
      "893.998309330",
      "510.943833662"
    ],
    [
      "824.350236806",
      "763.702718100"
    ],
    [
      "431.665260145",
      "1681.216719528"
    ],
    [
      "441.360811419",
      "257.742506746"
    ],
    [
      "765.126978286",
      "610.915750593"
    ],
    [
      "1793.753527216",
      "633.402673302"
    ],
    [
      "1431.328200539",
      "774.787481896"
    ],
    [
      "468.046344152",
      "624.197380335"
    ],
    [
      "319.305657235",
      "374.633649893"
    ],
    [
      "528.107817542",
      "1540.994468886"
    ],
    [
      "1272.615395686",
      "1533.155664088"
    ],
    [
      "1653.323544179",
      "1119.915666835"
    ],
    [
      "91.222634806",
      "971.548728409"
    ],
    [
      "111.858555593",
      "1158.389317370"
    ],
    [
      "997.613461816",
      "772.350256271"
    ],
    [
      "888.837658811",
      "1392.254013953"
    ],
    [
      "1269.627951532",
      "376.298836007"
    ],
    [
      "1049.807316882",
      "590.700038831"
    ],
    [
      "478.265927896",
      "1360.165509993"
    ],
    [
      "1106.967736756",
      "1836.609493706"
    ],
    [
      "1837.376848280",
      "1076.957765918"
    ],
    [
      "1460.365913863",
      "1120.939454751"
    ],
    [
      "467.650283312",
      "1162.450290318"
    ],
    [
      "1112.071744800",
      "1636.674583226"
    ],
    [
      "725.938347824",
      "1806.316805343"
    ],
    [
      "650.182375898",
      "1256.022651821"
    ],
    [
      "501.201897659",
      "436.097116442"
    ],
    [
      "1568.201849578",
      "1296.466784387"
    ],
    [
      "1780.596950836",
      "1274.978076129"
    ],
    [
      "887.771223516",
      "940.682317054"
    ],
    [
      "925.985707984",
      "1736.138078556"
    ],
    [
      "1612.518682644",
      "702.662518008"
    ],
    [
      "1108.428606342",
      "943.627819738"
    ],
    [
      "1055.322012201",
      "115.994582114"
    ],
    [
      "1274.531430276",
      "167.845559435"
    ],
    [
      "1333.822748893",
      "948.335282696"
    ],
    [
      "283.106100885",
      "1274.697538553"
    ],
    [
      "285.654489066",
      "1043.711595868"
    ],
    [
      "1099.175657075",
      "1418.054614051"
    ],
    [
      "723.013113740",
      "413.101803369"
    ],
    [
      "942.745033917",
      "319.038240093"
    ],
    [
      "1566.979497469",
      "928.487597842"
    ],
    [
      "623.367957246",
      "761.033766239"
    ],
    [
      "1114.908023097",
      "1177.241114095"
    ],
    [
      "1660.864318843",
      "474.690801351"
    ],
    [
      "317.005168066",
      "1511.281251527"
    ],
    [
      "266.834056405",
      "693.545933216"
    ],
    [
      "864.891696530",
      "1173.561099359"
    ],
    [
      "1313.083401944",
      "1746.380160536"
    ],
    [
      "1222.361726983",
      "733.532022489"
    ],
    [
      "1479.961238104",
      "299.253988283"
    ],
    [
      "1602.202408482",
      "1532.231246941"
    ],
    [
      "1804.765382907",
      "848.120485871"
    ],
    [
      "743.483314331",
      "163.803600687"
    ],
    [
      "749.013205371",
      "1571.078291451"
    ],
    [
      "1329.118219939",
      "1317.419541713"
    ],
    [
      "1415.792417669",
      "555.336714177"
    ],
    [
      "655.060007235",
      "1016.072222117"
    ]
  ],
  "radius": "972.504415024"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 136
}

当前第一名的答案

{
  "centers": [
    [
      "660.471737225",
      "53.540522636"
    ],
    [
      "418.651063276",
      "837.630098273"
    ],
    [
      "218.406942013",
      "380.943867600"
    ],
    [
      "337.117726583",
      "1697.968991607"
    ],
    [
      "1710.218843369",
      "348.995041371"
    ],
    [
      "161.701330519",
      "1479.910816310"
    ],
    [
      "1654.613088999",
      "826.182462141"
    ],
    [
      "175.366543613",
      "1502.824576436"
    ],
    [
      "232.266197745",
      "1159.177501305"
    ],
    [
      "1871.081310055",
      "972.862316132"
    ],
    [
      "22.017318583",
      "886.156662025"
    ],
    [
      "783.304540036",
      "1914.127168821"
    ],
    [
      "1931.146072842",
      "1012.041819932"
    ],
    [
      "350.650131945",
      "1162.172596174"
    ],
    [
      "722.895392000",
      "1153.439747655"
    ],
    [
      "1375.780029890",
      "1553.903247557"
    ],
    [
      "1100.228613794",
      "815.300028167"
    ],
    [
      "1028.849324719",
      "1925.299183514"
    ],
    [
      "824.373502487",
      "31.693240593"
    ],
    [
      "1458.909099405",
      "1790.162847786"
    ],
    [
      "1753.407070361",
      "1515.961747899"
    ],
    [
      "336.773141825",
      "265.963793374"
    ],
    [
      "602.384413091",
      "98.170135997"
    ],
    [
      "1594.760091226",
      "1688.313547962"
    ],
    [
      "30.323748420",
      "1071.933255990"
    ],
    [
      "324.552395268",
      "1662.321881739"
    ],
    [
      "1803.856997815",
      "522.230615074"
    ],
    [
      "1878.807416315",
      "706.847571042"
    ],
    [
      "1889.695188394",
      "1193.777247548"
    ],
    [
      "1228.190298080",
      "1879.586371688"
    ],
    [
      "1184.774798017",
      "55.241176901"
    ],
    [
      "1913.005478828",
      "969.993705387"
    ],
    [
      "406.323715298",
      "956.304857899"
    ],
    [
      "1420.134782911",
      "147.630127169"
    ],
    [
      "1643.204601583",
      "317.501830186"
    ],
    [
      "998.780373651",
      "463.554815974"
    ],
    [
      "783.133774152",
      "1314.812778446"
    ],
    [
      "913.480453812",
      "164.789790012"
    ],
    [
      "1683.674204706",
      "1384.165901838"
    ],
    [
      "504.374848209",
      "1778.913131914"
    ],
    [
      "1216.908038030",
      "1050.099472782"
    ],
    [
      "1477.693260883",
      "1413.565867969"
    ],
    [
      "580.206865137",
      "1815.167508971"
    ],
    [
      "751.981958794",
      "864.394487073"
    ],
    [
      "1715.711800751",
      "999.927796358"
    ],
    [
      "128.938612557",
      "589.350179814"
    ],
    [
      "95.709806389",
      "676.211255337"
    ],
    [
      "990.912797806",
      "1293.538939120"
    ],
    [
      "994.426724004",
      "1055.893445928"
    ],
    [
      "468.354354858",
      "1011.451931771"
    ],
    [
      "733.726453613",
      "1387.650140184"
    ],
    [
      "966.621829936",
      "1892.859795703"
    ],
    [
      "860.779078391",
      "1885.127734679"
    ],
    [
      "116.215385118",
      "1304.550107264"
    ],
    [
      "898.465807894",
      "58.045699488"
    ],
    [
      "1762.280003364",
      "1437.515020085"
    ],
    [
      "1429.466000355",
      "1603.863176329"
    ],
    [
      "1413.229945846",
      "1490.015073427"
    ],
    [
      "167.938757773",
      "1405.129448324"
    ],
    [
      "905.306275206",
      "649.483105742"
    ],
    [
      "550.438360338",
      "164.617026677"
    ],
    [
      "625.505444304",
      "1420.178215385"
    ],
    [
      "439.609495042",
      "770.458604224"
    ],
    [
      "1294.109509286",
      "1122.031119674"
    ],
    [
      "216.045453896",
      "876.632027329"
    ],
    [
      "354.070268195",
      "523.631709699"
    ],
    [
      "587.407817355",
      "287.259824710"
    ],
    [
      "1503.872914388",
      "1704.400721286"
    ],
    [
      "487.678516573",
      "894.031419191"
    ],
    [
      "350.857710055",
      "869.514753261"
    ],
    [
      "616.398190697",
      "569.160312224"
    ],
    [
      "1130.492369779",
      "283.939267497"
    ],
    [
      "1208.997752683",
      "532.976782735"
    ],
    [
      "585.721243032",
      "1698.297531488"
    ],
    [
      "1104.117598411",
      "428.553829127"
    ],
    [
      "957.025527050",
      "1548.716443904"
    ],
    [
      "212.415537594",
      "499.014123963"
    ],
    [
      "94.555114226",
      "801.205921971"
    ],
    [
      "893.998309330",
      "510.943833662"
    ],
    [
      "824.350236806",
      "763.702718100"
    ],
    [
      "431.665260145",
      "1681.216719528"
    ],
    [
      "441.360811419",
      "257.742506746"
    ],
    [
      "765.126978286",
      "610.915750593"
    ],
    [
      "1793.753527216",
      "633.402673302"
    ],
    [
      "1431.328200539",
      "774.787481896"
    ],
    [
      "468.046344152",
      "624.197380335"
    ],
    [
      "319.305657235",
      "374.633649893"
    ],
    [
      "528.107817542",
      "1540.994468886"
    ],
    [
      "1272.615395686",
      "1533.155664088"
    ],
    [
      "1653.323544179",
      "1119.915666835"
    ],
    [
      "91.222634806",
      "971.548728409"
    ],
    [
      "111.858555593",
      "1158.389317370"
    ],
    [
      "997.613461816",
      "772.350256271"
    ],
    [
      "888.837658811",
      "1392.254013953"
    ],
    [
      "1269.627951532",
      "376.298836007"
    ],
    [
      "1049.807316882",
      "590.700038831"
    ],
    [
      "478.265927896",
      "1360.165509993"
    ],
    [
      "1106.967736756",
      "1836.609493706"
    ],
    [
      "1837.376848280",
      "1076.957765918"
    ],
    [
      "1460.365913863",
      "1120.939454751"
    ],
    [
      "467.650283312",
      "1162.450290318"
    ],
    [
      "1112.071744800",
      "1636.674583226"
    ],
    [
      "725.938347824",
      "1806.316805343"
    ],
    [
      "650.182375898",
      "1256.022651821"
    ],
    [
      "501.201897659",
      "436.097116442"
    ],
    [
      "1568.201849578",
      "1296.466784387"
    ],
    [
      "1780.596950836",
      "1274.978076129"
    ],
    [
      "887.771223516",
      "940.682317054"
    ],
    [
      "925.985707984",
      "1736.138078556"
    ],
    [
      "1612.518682644",
      "702.662518008"
    ],
    [
      "1108.428606342",
      "943.627819738"
    ],
    [
      "1055.322012201",
      "115.994582114"
    ],
    [
      "1274.531430276",
      "167.845559435"
    ],
    [
      "1333.822748893",
      "948.335282696"
    ],
    [
      "283.106100885",
      "1274.697538553"
    ],
    [
      "285.654489066",
      "1043.711595868"
    ],
    [
      "1099.175657075",
      "1418.054614051"
    ],
    [
      "723.013113740",
      "413.101803369"
    ],
    [
      "942.745033917",
      "319.038240093"
    ],
    [
      "1566.979497469",
      "928.487597842"
    ],
    [
      "623.367957246",
      "761.033766239"
    ],
    [
      "1114.908023097",
      "1177.241114095"
    ],
    [
      "1660.864318843",
      "474.690801351"
    ],
    [
      "317.005168066",
      "1511.281251527"
    ],
    [
      "266.834056405",
      "693.545933216"
    ],
    [
      "864.891696530",
      "1173.561099359"
    ],
    [
      "1313.083401944",
      "1746.380160536"
    ],
    [
      "1222.361726983",
      "733.532022489"
    ],
    [
      "1479.961238104",
      "299.253988283"
    ],
    [
      "1602.202408482",
      "1532.231246941"
    ],
    [
      "1804.765382907",
      "848.120485871"
    ],
    [
      "743.483314331",
      "163.803600687"
    ],
    [
      "749.013205371",
      "1571.078291451"
    ],
    [
      "1329.118219939",
      "1317.419541713"
    ],
    [
      "1415.792417669",
      "555.336714177"
    ],
    [
      "655.060007235",
      "1016.072222117"
    ]
  ],
  "radius": "972.504415024"
}

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

DISCUSSION

讨论区

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