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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1987.168092856y0
0x1987.168092856
已验证构造r = 993.584046428

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "239.295389329",
      "1634.796931095"
    ],
    [
      "378.451318522",
      "1768.727640405"
    ],
    [
      "1649.361134268",
      "1729.972813340"
    ],
    [
      "190.456050125",
      "1157.597198583"
    ],
    [
      "1632.739801485",
      "617.535363454"
    ],
    [
      "1208.364451940",
      "522.031348876"
    ],
    [
      "980.572258195",
      "1834.720207622"
    ],
    [
      "1445.211576997",
      "462.841704244"
    ],
    [
      "375.419017026",
      "359.020319927"
    ],
    [
      "1535.932639677",
      "1310.859275812"
    ],
    [
      "1202.747185904",
      "105.377607640"
    ],
    [
      "1228.461377096",
      "1235.161911681"
    ],
    [
      "1267.733570612",
      "1929.667834471"
    ],
    [
      "1960.766381733",
      "849.898678103"
    ],
    [
      "243.457908837",
      "365.232534748"
    ],
    [
      "165.042727751",
      "474.905733851"
    ],
    [
      "1969.048262103",
      "1000.874082424"
    ],
    [
      "1134.830586961",
      "1958.885922207"
    ],
    [
      "1943.417145362",
      "1203.641674515"
    ],
    [
      "463.261482847",
      "178.396059250"
    ],
    [
      "1392.751771118",
      "1571.611897697"
    ],
    [
      "1847.943699024",
      "1454.393410203"
    ],
    [
      "483.640128865",
      "1819.270698970"
    ],
    [
      "236.509468840",
      "1599.260669908"
    ],
    [
      "25.227126138",
      "1014.362547337"
    ],
    [
      "958.148408264",
      "1960.514602334"
    ],
    [
      "48.207848279",
      "1194.944045187"
    ],
    [
      "50.448447342",
      "791.816758239"
    ],
    [
      "130.364319006",
      "1423.985015598"
    ],
    [
      "1452.092368687",
      "146.123064686"
    ],
    [
      "1448.603294645",
      "1841.704040209"
    ],
    [
      "937.830743795",
      "33.991287660"
    ],
    [
      "1884.997246441",
      "635.682518670"
    ],
    [
      "723.383366301",
      "1914.340873509"
    ],
    [
      "1211.737372640",
      "60.153545358"
    ],
    [
      "383.487745253",
      "938.919289893"
    ],
    [
      "478.952198073",
      "614.724122648"
    ],
    [
      "1677.248436405",
      "1661.224572208"
    ],
    [
      "1104.973896703",
      "1677.631889040"
    ],
    [
      "1833.186765754",
      "935.863243303"
    ],
    [
      "726.124070328",
      "638.222416878"
    ],
    [
      "1064.705048348",
      "298.992498034"
    ],
    [
      "304.149153022",
      "1366.072786323"
    ],
    [
      "1487.336149346",
      "423.863755373"
    ],
    [
      "157.037250718",
      "546.607821306"
    ],
    [
      "1004.422006221",
      "1398.856214659"
    ],
    [
      "1657.221424724",
      "318.597537617"
    ],
    [
      "1701.572159397",
      "1118.857061459"
    ],
    [
      "1720.687829929",
      "390.625417016"
    ],
    [
      "1598.707446377",
      "1333.388953768"
    ],
    [
      "662.573759805",
      "111.032702469"
    ],
    [
      "683.656836670",
      "215.822280839"
    ],
    [
      "309.931612260",
      "347.820917424"
    ],
    [
      "519.288746339",
      "696.295949126"
    ],
    [
      "1189.461609562",
      "1910.438823892"
    ],
    [
      "1928.939632625",
      "928.979313749"
    ],
    [
      "1890.981011281",
      "1261.666801365"
    ],
    [
      "458.477371023",
      "995.598704383"
    ],
    [
      "1847.966899575",
      "1372.359251441"
    ],
    [
      "511.200592485",
      "1272.407711083"
    ],
    [
      "262.143884791",
      "564.372499930"
    ],
    [
      "242.102949172",
      "443.016161403"
    ],
    [
      "441.261469408",
      "1742.534270661"
    ],
    [
      "610.456865563",
      "1198.082801027"
    ],
    [
      "774.553407746",
      "299.710954076"
    ],
    [
      "1093.153190892",
      "668.024340413"
    ],
    [
      "1173.647445516",
      "295.449321508"
    ],
    [
      "501.902693649",
      "1626.415185567"
    ],
    [
      "963.090752076",
      "631.847524498"
    ],
    [
      "1341.509540606",
      "1080.822577872"
    ],
    [
      "1521.832268644",
      "806.820864803"
    ],
    [
      "1104.509014345",
      "937.203976073"
    ],
    [
      "1604.286589653",
      "427.268827059"
    ],
    [
      "1152.835175022",
      "1779.995447199"
    ],
    [
      "559.773585346",
      "183.889576766"
    ],
    [
      "813.893405729",
      "858.234932678"
    ],
    [
      "84.414121831",
      "1097.444145349"
    ],
    [
      "1654.733476831",
      "739.053743733"
    ],
    [
      "1324.097302601",
      "1229.979352171"
    ],
    [
      "832.358073643",
      "703.331556217"
    ],
    [
      "1002.854859275",
      "1740.868667515"
    ],
    [
      "479.248203084",
      "1134.049318451"
    ],
    [
      "367.860485662",
      "1255.777607725"
    ],
    [
      "1050.749528131",
      "1901.108184936"
    ],
    [
      "431.359223082",
      "279.847269358"
    ],
    [
      "1177.777598083",
      "794.288783987"
    ],
    [
      "1264.331091462",
      "944.101028044"
    ],
    [
      "345.331534948",
      "1625.921888490"
    ],
    [
      "294.270586546",
      "851.367598896"
    ],
    [
      "932.730545947",
      "301.586860574"
    ],
    [
      "641.145169528",
      "1350.014456715"
    ],
    [
      "236.238516450",
      "1482.748171225"
    ],
    [
      "1444.641704081",
      "954.597553186"
    ],
    [
      "1357.700966235",
      "789.036965776"
    ],
    [
      "365.120692272",
      "681.555165549"
    ],
    [
      "605.392351225",
      "573.470181357"
    ],
    [
      "480.039851585",
      "842.105839948"
    ],
    [
      "1735.981058091",
      "1261.787264137"
    ],
    [
      "1319.404946018",
      "1826.723505050"
    ],
    [
      "660.458917727",
      "762.998567382"
    ],
    [
      "978.367993169",
      "1254.183520607"
    ],
    [
      "1254.786823440",
      "622.214201456"
    ],
    [
      "652.365090452",
      "1543.689734886"
    ],
    [
      "777.954839080",
      "1211.060815818"
    ],
    [
      "987.065617404",
      "804.774032085"
    ],
    [
      "109.580919254",
      "913.935376515"
    ],
    [
      "833.533699215",
      "1649.887358289"
    ],
    [
      "1508.954787393",
      "273.408996428"
    ],
    [
      "1026.238838221",
      "1552.313133179"
    ],
    [
      "859.348411999",
      "1866.911912437"
    ],
    [
      "160.232599723",
      "702.929672167"
    ],
    [
      "609.683016011",
      "364.106248427"
    ],
    [
      "825.566896475",
      "129.177602593"
    ],
    [
      "414.562350958",
      "478.141006599"
    ],
    [
      "1309.288141870",
      "174.100232125"
    ],
    [
      "1844.554799984",
      "779.102030546"
    ],
    [
      "1864.795701365",
      "1089.648402508"
    ],
    [
      "838.552724779",
      "1424.630233690"
    ],
    [
      "167.114352821",
      "1279.669872383"
    ],
    [
      "1156.262851945",
      "1123.056028367"
    ],
    [
      "1322.944777869",
      "409.704765813"
    ],
    [
      "449.739443234",
      "1443.715992065"
    ],
    [
      "1748.110659232",
      "560.425265171"
    ],
    [
      "1252.440392557",
      "1608.186712078"
    ],
    [
      "283.943001049",
      "1065.457204778"
    ],
    [
      "1173.897721075",
      "1369.496683387"
    ],
    [
      "1065.565505581",
      "129.994688539"
    ],
    [
      "1665.423362953",
      "944.776193492"
    ],
    [
      "925.132412103",
      "1030.429251577"
    ],
    [
      "1079.385033912",
      "470.364893783"
    ],
    [
      "632.207782002",
      "1776.819919368"
    ],
    [
      "818.263395673",
      "491.800612728"
    ],
    [
      "1526.033925861",
      "1165.437891183"
    ],
    [
      "1695.052805105",
      "1490.148552686"
    ],
    [
      "1490.992482742",
      "602.826408535"
    ],
    [
      "1504.482178916",
      "1681.908388909"
    ],
    [
      "1432.266887926",
      "1418.632959460"
    ],
    [
      "654.405080129",
      "1000.921561335"
    ]
  ],
  "radius": "993.584046428"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 138
}

当前第一名的答案

{
  "centers": [
    [
      "239.295389329",
      "1634.796931095"
    ],
    [
      "378.451318522",
      "1768.727640405"
    ],
    [
      "1649.361134268",
      "1729.972813340"
    ],
    [
      "190.456050125",
      "1157.597198583"
    ],
    [
      "1632.739801485",
      "617.535363454"
    ],
    [
      "1208.364451940",
      "522.031348876"
    ],
    [
      "980.572258195",
      "1834.720207622"
    ],
    [
      "1445.211576997",
      "462.841704244"
    ],
    [
      "375.419017026",
      "359.020319927"
    ],
    [
      "1535.932639677",
      "1310.859275812"
    ],
    [
      "1202.747185904",
      "105.377607640"
    ],
    [
      "1228.461377096",
      "1235.161911681"
    ],
    [
      "1267.733570612",
      "1929.667834471"
    ],
    [
      "1960.766381733",
      "849.898678103"
    ],
    [
      "243.457908837",
      "365.232534748"
    ],
    [
      "165.042727751",
      "474.905733851"
    ],
    [
      "1969.048262103",
      "1000.874082424"
    ],
    [
      "1134.830586961",
      "1958.885922207"
    ],
    [
      "1943.417145362",
      "1203.641674515"
    ],
    [
      "463.261482847",
      "178.396059250"
    ],
    [
      "1392.751771118",
      "1571.611897697"
    ],
    [
      "1847.943699024",
      "1454.393410203"
    ],
    [
      "483.640128865",
      "1819.270698970"
    ],
    [
      "236.509468840",
      "1599.260669908"
    ],
    [
      "25.227126138",
      "1014.362547337"
    ],
    [
      "958.148408264",
      "1960.514602334"
    ],
    [
      "48.207848279",
      "1194.944045187"
    ],
    [
      "50.448447342",
      "791.816758239"
    ],
    [
      "130.364319006",
      "1423.985015598"
    ],
    [
      "1452.092368687",
      "146.123064686"
    ],
    [
      "1448.603294645",
      "1841.704040209"
    ],
    [
      "937.830743795",
      "33.991287660"
    ],
    [
      "1884.997246441",
      "635.682518670"
    ],
    [
      "723.383366301",
      "1914.340873509"
    ],
    [
      "1211.737372640",
      "60.153545358"
    ],
    [
      "383.487745253",
      "938.919289893"
    ],
    [
      "478.952198073",
      "614.724122648"
    ],
    [
      "1677.248436405",
      "1661.224572208"
    ],
    [
      "1104.973896703",
      "1677.631889040"
    ],
    [
      "1833.186765754",
      "935.863243303"
    ],
    [
      "726.124070328",
      "638.222416878"
    ],
    [
      "1064.705048348",
      "298.992498034"
    ],
    [
      "304.149153022",
      "1366.072786323"
    ],
    [
      "1487.336149346",
      "423.863755373"
    ],
    [
      "157.037250718",
      "546.607821306"
    ],
    [
      "1004.422006221",
      "1398.856214659"
    ],
    [
      "1657.221424724",
      "318.597537617"
    ],
    [
      "1701.572159397",
      "1118.857061459"
    ],
    [
      "1720.687829929",
      "390.625417016"
    ],
    [
      "1598.707446377",
      "1333.388953768"
    ],
    [
      "662.573759805",
      "111.032702469"
    ],
    [
      "683.656836670",
      "215.822280839"
    ],
    [
      "309.931612260",
      "347.820917424"
    ],
    [
      "519.288746339",
      "696.295949126"
    ],
    [
      "1189.461609562",
      "1910.438823892"
    ],
    [
      "1928.939632625",
      "928.979313749"
    ],
    [
      "1890.981011281",
      "1261.666801365"
    ],
    [
      "458.477371023",
      "995.598704383"
    ],
    [
      "1847.966899575",
      "1372.359251441"
    ],
    [
      "511.200592485",
      "1272.407711083"
    ],
    [
      "262.143884791",
      "564.372499930"
    ],
    [
      "242.102949172",
      "443.016161403"
    ],
    [
      "441.261469408",
      "1742.534270661"
    ],
    [
      "610.456865563",
      "1198.082801027"
    ],
    [
      "774.553407746",
      "299.710954076"
    ],
    [
      "1093.153190892",
      "668.024340413"
    ],
    [
      "1173.647445516",
      "295.449321508"
    ],
    [
      "501.902693649",
      "1626.415185567"
    ],
    [
      "963.090752076",
      "631.847524498"
    ],
    [
      "1341.509540606",
      "1080.822577872"
    ],
    [
      "1521.832268644",
      "806.820864803"
    ],
    [
      "1104.509014345",
      "937.203976073"
    ],
    [
      "1604.286589653",
      "427.268827059"
    ],
    [
      "1152.835175022",
      "1779.995447199"
    ],
    [
      "559.773585346",
      "183.889576766"
    ],
    [
      "813.893405729",
      "858.234932678"
    ],
    [
      "84.414121831",
      "1097.444145349"
    ],
    [
      "1654.733476831",
      "739.053743733"
    ],
    [
      "1324.097302601",
      "1229.979352171"
    ],
    [
      "832.358073643",
      "703.331556217"
    ],
    [
      "1002.854859275",
      "1740.868667515"
    ],
    [
      "479.248203084",
      "1134.049318451"
    ],
    [
      "367.860485662",
      "1255.777607725"
    ],
    [
      "1050.749528131",
      "1901.108184936"
    ],
    [
      "431.359223082",
      "279.847269358"
    ],
    [
      "1177.777598083",
      "794.288783987"
    ],
    [
      "1264.331091462",
      "944.101028044"
    ],
    [
      "345.331534948",
      "1625.921888490"
    ],
    [
      "294.270586546",
      "851.367598896"
    ],
    [
      "932.730545947",
      "301.586860574"
    ],
    [
      "641.145169528",
      "1350.014456715"
    ],
    [
      "236.238516450",
      "1482.748171225"
    ],
    [
      "1444.641704081",
      "954.597553186"
    ],
    [
      "1357.700966235",
      "789.036965776"
    ],
    [
      "365.120692272",
      "681.555165549"
    ],
    [
      "605.392351225",
      "573.470181357"
    ],
    [
      "480.039851585",
      "842.105839948"
    ],
    [
      "1735.981058091",
      "1261.787264137"
    ],
    [
      "1319.404946018",
      "1826.723505050"
    ],
    [
      "660.458917727",
      "762.998567382"
    ],
    [
      "978.367993169",
      "1254.183520607"
    ],
    [
      "1254.786823440",
      "622.214201456"
    ],
    [
      "652.365090452",
      "1543.689734886"
    ],
    [
      "777.954839080",
      "1211.060815818"
    ],
    [
      "987.065617404",
      "804.774032085"
    ],
    [
      "109.580919254",
      "913.935376515"
    ],
    [
      "833.533699215",
      "1649.887358289"
    ],
    [
      "1508.954787393",
      "273.408996428"
    ],
    [
      "1026.238838221",
      "1552.313133179"
    ],
    [
      "859.348411999",
      "1866.911912437"
    ],
    [
      "160.232599723",
      "702.929672167"
    ],
    [
      "609.683016011",
      "364.106248427"
    ],
    [
      "825.566896475",
      "129.177602593"
    ],
    [
      "414.562350958",
      "478.141006599"
    ],
    [
      "1309.288141870",
      "174.100232125"
    ],
    [
      "1844.554799984",
      "779.102030546"
    ],
    [
      "1864.795701365",
      "1089.648402508"
    ],
    [
      "838.552724779",
      "1424.630233690"
    ],
    [
      "167.114352821",
      "1279.669872383"
    ],
    [
      "1156.262851945",
      "1123.056028367"
    ],
    [
      "1322.944777869",
      "409.704765813"
    ],
    [
      "449.739443234",
      "1443.715992065"
    ],
    [
      "1748.110659232",
      "560.425265171"
    ],
    [
      "1252.440392557",
      "1608.186712078"
    ],
    [
      "283.943001049",
      "1065.457204778"
    ],
    [
      "1173.897721075",
      "1369.496683387"
    ],
    [
      "1065.565505581",
      "129.994688539"
    ],
    [
      "1665.423362953",
      "944.776193492"
    ],
    [
      "925.132412103",
      "1030.429251577"
    ],
    [
      "1079.385033912",
      "470.364893783"
    ],
    [
      "632.207782002",
      "1776.819919368"
    ],
    [
      "818.263395673",
      "491.800612728"
    ],
    [
      "1526.033925861",
      "1165.437891183"
    ],
    [
      "1695.052805105",
      "1490.148552686"
    ],
    [
      "1490.992482742",
      "602.826408535"
    ],
    [
      "1504.482178916",
      "1681.908388909"
    ],
    [
      "1432.266887926",
      "1418.632959460"
    ],
    [
      "654.405080129",
      "1000.921561335"
    ]
  ],
  "radius": "993.584046428"
}

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

DISCUSSION

讨论区

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