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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2454.013851624y0
0x2454.013851624
已验证构造r = 1227.006925812

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "2134.352940597",
      "1491.434931460"
    ],
    [
      "937.854616622",
      "1065.752442127"
    ],
    [
      "479.500691425",
      "815.025206363"
    ],
    [
      "1829.077317900",
      "1003.601437662"
    ],
    [
      "1311.902600713",
      "1433.979659993"
    ],
    [
      "316.505071823",
      "1868.664894254"
    ],
    [
      "2420.727828801",
      "1478.506495134"
    ],
    [
      "460.984050137",
      "1630.642415371"
    ],
    [
      "185.414054863",
      "607.725904793"
    ],
    [
      "620.495847254",
      "562.740453514"
    ],
    [
      "53.164824572",
      "1502.340843298"
    ],
    [
      "1120.109890711",
      "1240.694471004"
    ],
    [
      "1446.391949240",
      "777.266788512"
    ],
    [
      "1087.106380690",
      "320.988773519"
    ],
    [
      "253.745562161",
      "1405.680040003"
    ],
    [
      "2092.089615603",
      "2072.246310469"
    ],
    [
      "975.196890304",
      "203.253278715"
    ],
    [
      "1003.083142838",
      "1488.390988777"
    ],
    [
      "2244.272854290",
      "1243.164678940"
    ],
    [
      "807.282497063",
      "95.571914851"
    ],
    [
      "2214.571816748",
      "1918.808370046"
    ],
    [
      "1499.449714729",
      "2400.682033967"
    ],
    [
      "2303.741246884",
      "1765.191593124"
    ],
    [
      "1015.616951182",
      "2411.156542307"
    ],
    [
      "510.485026725",
      "262.035624227"
    ],
    [
      "27.919631727",
      "1289.403752388"
    ],
    [
      "1672.623135990",
      "2341.041445575"
    ],
    [
      "993.317229495",
      "51.229348259"
    ],
    [
      "1929.530450264",
      "2197.144834393"
    ],
    [
      "309.729372475",
      "458.239694113"
    ],
    [
      "1276.523632384",
      "2421.893704458"
    ],
    [
      "2181.260282183",
      "1005.835930853"
    ],
    [
      "2420.779997472",
      "1237.425876280"
    ],
    [
      "2386.890621049",
      "1505.345314586"
    ],
    [
      "1578.193965324",
      "87.978503243"
    ],
    [
      "2277.789552393",
      "666.771373937"
    ],
    [
      "2384.114050278",
      "949.365133927"
    ],
    [
      "1299.438064371",
      "40.235802780"
    ],
    [
      "2104.710420816",
      "426.504103607"
    ],
    [
      "1846.456215013",
      "214.485722462"
    ],
    [
      "288.692657228",
      "1727.005336995"
    ],
    [
      "2141.966066257",
      "1072.340090768"
    ],
    [
      "525.891229308",
      "1323.950948286"
    ],
    [
      "1921.966868822",
      "1374.886933702"
    ],
    [
      "1014.201354519",
      "523.039086746"
    ],
    [
      "953.494254575",
      "1858.393364419"
    ],
    [
      "1809.837453211",
      "1063.798861750"
    ],
    [
      "425.470545544",
      "628.829246531"
    ],
    [
      "1558.931935860",
      "1020.593593896"
    ],
    [
      "634.357427879",
      "1690.375724872"
    ],
    [
      "442.218048878",
      "1102.196448820"
    ],
    [
      "1755.068730009",
      "546.778738293"
    ],
    [
      "682.309147429",
      "856.062310841"
    ],
    [
      "2164.150673068",
      "1434.658792071"
    ],
    [
      "1198.539700673",
      "1600.437886782"
    ],
    [
      "1389.274478897",
      "562.917104901"
    ],
    [
      "1313.655046170",
      "288.068193320"
    ],
    [
      "2054.578265240",
      "774.857653667"
    ],
    [
      "669.741482543",
      "2253.503591409"
    ],
    [
      "310.463653712",
      "1949.212571418"
    ],
    [
      "190.281343112",
      "693.366393986"
    ],
    [
      "1420.341402447",
      "2029.542788228"
    ],
    [
      "1861.732920470",
      "1286.148370612"
    ],
    [
      "487.480511214",
      "1424.844529448"
    ],
    [
      "117.804076473",
      "1572.889975150"
    ],
    [
      "946.167899954",
      "2353.108504942"
    ],
    [
      "1877.593129632",
      "1155.533280792"
    ],
    [
      "603.365374710",
      "250.089186278"
    ],
    [
      "910.805821783",
      "571.053291238"
    ],
    [
      "1553.770449990",
      "2032.003697945"
    ],
    [
      "96.098087441",
      "987.429773705"
    ],
    [
      "175.296286285",
      "1703.974732549"
    ],
    [
      "244.303904845",
      "1832.008378204"
    ],
    [
      "702.409058253",
      "352.234993287"
    ],
    [
      "1668.965556014",
      "1940.322400054"
    ],
    [
      "2215.506309747",
      "1816.655898698"
    ],
    [
      "1696.815342735",
      "1790.895530383"
    ],
    [
      "1568.567113767",
      "2324.072809688"
    ],
    [
      "593.881963245",
      "1992.774576060"
    ],
    [
      "1673.509280829",
      "442.990221341"
    ],
    [
      "808.751492389",
      "2293.793167024"
    ],
    [
      "911.332296467",
      "126.375112471"
    ],
    [
      "781.102245390",
      "1242.113893983"
    ],
    [
      "1299.978837608",
      "961.597826105"
    ],
    [
      "1974.993800139",
      "2089.964314350"
    ],
    [
      "563.256286230",
      "2155.086606228"
    ],
    [
      "1493.487814180",
      "2177.038048906"
    ],
    [
      "1570.463544596",
      "1430.917773855"
    ],
    [
      "157.808679156",
      "839.809304693"
    ],
    [
      "431.034252307",
      "2038.925796374"
    ],
    [
      "752.465966561",
      "194.862258877"
    ],
    [
      "293.912053551",
      "580.806739338"
    ],
    [
      "1092.286151878",
      "1889.179653629"
    ],
    [
      "941.211665902",
      "1999.386276331"
    ],
    [
      "552.685602856",
      "1570.183687771"
    ],
    [
      "951.853470400",
      "2189.088021182"
    ],
    [
      "1270.657719264",
      "1954.628747958"
    ],
    [
      "1428.651547771",
      "1090.311980961"
    ],
    [
      "1307.070928365",
      "2147.216593377"
    ],
    [
      "2093.378179230",
      "1947.801946659"
    ],
    [
      "1118.196222739",
      "2081.441631743"
    ],
    [
      "1474.047306224",
      "895.532040733"
    ],
    [
      "1051.987619466",
      "669.296357172"
    ],
    [
      "752.525236154",
      "1590.702074064"
    ],
    [
      "1240.035559349",
      "1754.963319492"
    ],
    [
      "1385.009405260",
      "2336.823011569"
    ],
    [
      "738.071335729",
      "529.909192075"
    ],
    [
      "1626.458999146",
      "1619.786447149"
    ],
    [
      "1838.185776757",
      "1670.022041211"
    ],
    [
      "2044.463494607",
      "1743.578163449"
    ],
    [
      "662.214033470",
      "1395.589576591"
    ],
    [
      "124.770184900",
      "1395.276387056"
    ],
    [
      "114.433343844",
      "1170.513957549"
    ],
    [
      "588.472890497",
      "1179.962977655"
    ],
    [
      "352.629467206",
      "779.304259057"
    ],
    [
      "758.310517813",
      "2102.571401365"
    ],
    [
      "889.401410666",
      "1414.822247836"
    ],
    [
      "1220.280415246",
      "1147.210760659"
    ],
    [
      "1777.441803742",
      "1450.262696148"
    ],
    [
      "1402.017106720",
      "1306.678814258"
    ],
    [
      "2008.457610431",
      "1515.401529446"
    ],
    [
      "2323.933432932",
      "1360.395621206"
    ],
    [
      "531.648605618",
      "949.876036149"
    ],
    [
      "982.567195189",
      "1192.558583252"
    ],
    [
      "291.390978625",
      "1011.359958227"
    ],
    [
      "1426.869199574",
      "144.292133168"
    ],
    [
      "583.006946307",
      "705.208259678"
    ],
    [
      "1869.068247126",
      "1905.107197452"
    ],
    [
      "1468.704975980",
      "395.836896208"
    ],
    [
      "835.118106090",
      "755.097768731"
    ],
    [
      "2123.489865820",
      "596.491644720"
    ],
    [
      "1707.104840054",
      "916.512649062"
    ],
    [
      "2314.254141236",
      "1105.579390730"
    ],
    [
      "1672.686134890",
      "228.991804450"
    ],
    [
      "1144.917273548",
      "2315.924009428"
    ],
    [
      "2249.312118739",
      "1607.368614607"
    ],
    [
      "1388.059675685",
      "1563.299526831"
    ],
    [
      "320.467481478",
      "1550.848132926"
    ],
    [
      "784.189982728",
      "1019.638869012"
    ],
    [
      "1871.501346890",
      "699.446500860"
    ],
    [
      "2242.184368431",
      "841.227451360"
    ],
    [
      "348.267712556",
      "1272.231645343"
    ],
    [
      "1289.089963820",
      "734.859138563"
    ],
    [
      "921.312048615",
      "358.312558893"
    ],
    [
      "1478.367254120",
      "1830.448439010"
    ],
    [
      "760.356409503",
      "1840.579389411"
    ],
    [
      "1153.224175217",
      "1403.586384840"
    ],
    [
      "1982.369949959",
      "967.787587086"
    ],
    [
      "1196.907618896",
      "457.791610166"
    ],
    [
      "2072.058680395",
      "1251.970506406"
    ],
    [
      "466.074937024",
      "1800.486809597"
    ],
    [
      "493.787997660",
      "440.858152427"
    ],
    [
      "999.640749271",
      "1661.291897538"
    ],
    [
      "1061.860158239",
      "926.106662615"
    ],
    [
      "1146.206169843",
      "158.049449193"
    ],
    [
      "1578.287769101",
      "658.927396706"
    ],
    [
      "1658.208518848",
      "1201.346196547"
    ],
    [
      "1908.483264099",
      "403.377271308"
    ],
    [
      "1742.060032427",
      "2162.613195001"
    ]
  ],
  "radius": "1227.006925812"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 159
}

当前第一名的答案

{
  "centers": [
    [
      "2134.352940597",
      "1491.434931460"
    ],
    [
      "937.854616622",
      "1065.752442127"
    ],
    [
      "479.500691425",
      "815.025206363"
    ],
    [
      "1829.077317900",
      "1003.601437662"
    ],
    [
      "1311.902600713",
      "1433.979659993"
    ],
    [
      "316.505071823",
      "1868.664894254"
    ],
    [
      "2420.727828801",
      "1478.506495134"
    ],
    [
      "460.984050137",
      "1630.642415371"
    ],
    [
      "185.414054863",
      "607.725904793"
    ],
    [
      "620.495847254",
      "562.740453514"
    ],
    [
      "53.164824572",
      "1502.340843298"
    ],
    [
      "1120.109890711",
      "1240.694471004"
    ],
    [
      "1446.391949240",
      "777.266788512"
    ],
    [
      "1087.106380690",
      "320.988773519"
    ],
    [
      "253.745562161",
      "1405.680040003"
    ],
    [
      "2092.089615603",
      "2072.246310469"
    ],
    [
      "975.196890304",
      "203.253278715"
    ],
    [
      "1003.083142838",
      "1488.390988777"
    ],
    [
      "2244.272854290",
      "1243.164678940"
    ],
    [
      "807.282497063",
      "95.571914851"
    ],
    [
      "2214.571816748",
      "1918.808370046"
    ],
    [
      "1499.449714729",
      "2400.682033967"
    ],
    [
      "2303.741246884",
      "1765.191593124"
    ],
    [
      "1015.616951182",
      "2411.156542307"
    ],
    [
      "510.485026725",
      "262.035624227"
    ],
    [
      "27.919631727",
      "1289.403752388"
    ],
    [
      "1672.623135990",
      "2341.041445575"
    ],
    [
      "993.317229495",
      "51.229348259"
    ],
    [
      "1929.530450264",
      "2197.144834393"
    ],
    [
      "309.729372475",
      "458.239694113"
    ],
    [
      "1276.523632384",
      "2421.893704458"
    ],
    [
      "2181.260282183",
      "1005.835930853"
    ],
    [
      "2420.779997472",
      "1237.425876280"
    ],
    [
      "2386.890621049",
      "1505.345314586"
    ],
    [
      "1578.193965324",
      "87.978503243"
    ],
    [
      "2277.789552393",
      "666.771373937"
    ],
    [
      "2384.114050278",
      "949.365133927"
    ],
    [
      "1299.438064371",
      "40.235802780"
    ],
    [
      "2104.710420816",
      "426.504103607"
    ],
    [
      "1846.456215013",
      "214.485722462"
    ],
    [
      "288.692657228",
      "1727.005336995"
    ],
    [
      "2141.966066257",
      "1072.340090768"
    ],
    [
      "525.891229308",
      "1323.950948286"
    ],
    [
      "1921.966868822",
      "1374.886933702"
    ],
    [
      "1014.201354519",
      "523.039086746"
    ],
    [
      "953.494254575",
      "1858.393364419"
    ],
    [
      "1809.837453211",
      "1063.798861750"
    ],
    [
      "425.470545544",
      "628.829246531"
    ],
    [
      "1558.931935860",
      "1020.593593896"
    ],
    [
      "634.357427879",
      "1690.375724872"
    ],
    [
      "442.218048878",
      "1102.196448820"
    ],
    [
      "1755.068730009",
      "546.778738293"
    ],
    [
      "682.309147429",
      "856.062310841"
    ],
    [
      "2164.150673068",
      "1434.658792071"
    ],
    [
      "1198.539700673",
      "1600.437886782"
    ],
    [
      "1389.274478897",
      "562.917104901"
    ],
    [
      "1313.655046170",
      "288.068193320"
    ],
    [
      "2054.578265240",
      "774.857653667"
    ],
    [
      "669.741482543",
      "2253.503591409"
    ],
    [
      "310.463653712",
      "1949.212571418"
    ],
    [
      "190.281343112",
      "693.366393986"
    ],
    [
      "1420.341402447",
      "2029.542788228"
    ],
    [
      "1861.732920470",
      "1286.148370612"
    ],
    [
      "487.480511214",
      "1424.844529448"
    ],
    [
      "117.804076473",
      "1572.889975150"
    ],
    [
      "946.167899954",
      "2353.108504942"
    ],
    [
      "1877.593129632",
      "1155.533280792"
    ],
    [
      "603.365374710",
      "250.089186278"
    ],
    [
      "910.805821783",
      "571.053291238"
    ],
    [
      "1553.770449990",
      "2032.003697945"
    ],
    [
      "96.098087441",
      "987.429773705"
    ],
    [
      "175.296286285",
      "1703.974732549"
    ],
    [
      "244.303904845",
      "1832.008378204"
    ],
    [
      "702.409058253",
      "352.234993287"
    ],
    [
      "1668.965556014",
      "1940.322400054"
    ],
    [
      "2215.506309747",
      "1816.655898698"
    ],
    [
      "1696.815342735",
      "1790.895530383"
    ],
    [
      "1568.567113767",
      "2324.072809688"
    ],
    [
      "593.881963245",
      "1992.774576060"
    ],
    [
      "1673.509280829",
      "442.990221341"
    ],
    [
      "808.751492389",
      "2293.793167024"
    ],
    [
      "911.332296467",
      "126.375112471"
    ],
    [
      "781.102245390",
      "1242.113893983"
    ],
    [
      "1299.978837608",
      "961.597826105"
    ],
    [
      "1974.993800139",
      "2089.964314350"
    ],
    [
      "563.256286230",
      "2155.086606228"
    ],
    [
      "1493.487814180",
      "2177.038048906"
    ],
    [
      "1570.463544596",
      "1430.917773855"
    ],
    [
      "157.808679156",
      "839.809304693"
    ],
    [
      "431.034252307",
      "2038.925796374"
    ],
    [
      "752.465966561",
      "194.862258877"
    ],
    [
      "293.912053551",
      "580.806739338"
    ],
    [
      "1092.286151878",
      "1889.179653629"
    ],
    [
      "941.211665902",
      "1999.386276331"
    ],
    [
      "552.685602856",
      "1570.183687771"
    ],
    [
      "951.853470400",
      "2189.088021182"
    ],
    [
      "1270.657719264",
      "1954.628747958"
    ],
    [
      "1428.651547771",
      "1090.311980961"
    ],
    [
      "1307.070928365",
      "2147.216593377"
    ],
    [
      "2093.378179230",
      "1947.801946659"
    ],
    [
      "1118.196222739",
      "2081.441631743"
    ],
    [
      "1474.047306224",
      "895.532040733"
    ],
    [
      "1051.987619466",
      "669.296357172"
    ],
    [
      "752.525236154",
      "1590.702074064"
    ],
    [
      "1240.035559349",
      "1754.963319492"
    ],
    [
      "1385.009405260",
      "2336.823011569"
    ],
    [
      "738.071335729",
      "529.909192075"
    ],
    [
      "1626.458999146",
      "1619.786447149"
    ],
    [
      "1838.185776757",
      "1670.022041211"
    ],
    [
      "2044.463494607",
      "1743.578163449"
    ],
    [
      "662.214033470",
      "1395.589576591"
    ],
    [
      "124.770184900",
      "1395.276387056"
    ],
    [
      "114.433343844",
      "1170.513957549"
    ],
    [
      "588.472890497",
      "1179.962977655"
    ],
    [
      "352.629467206",
      "779.304259057"
    ],
    [
      "758.310517813",
      "2102.571401365"
    ],
    [
      "889.401410666",
      "1414.822247836"
    ],
    [
      "1220.280415246",
      "1147.210760659"
    ],
    [
      "1777.441803742",
      "1450.262696148"
    ],
    [
      "1402.017106720",
      "1306.678814258"
    ],
    [
      "2008.457610431",
      "1515.401529446"
    ],
    [
      "2323.933432932",
      "1360.395621206"
    ],
    [
      "531.648605618",
      "949.876036149"
    ],
    [
      "982.567195189",
      "1192.558583252"
    ],
    [
      "291.390978625",
      "1011.359958227"
    ],
    [
      "1426.869199574",
      "144.292133168"
    ],
    [
      "583.006946307",
      "705.208259678"
    ],
    [
      "1869.068247126",
      "1905.107197452"
    ],
    [
      "1468.704975980",
      "395.836896208"
    ],
    [
      "835.118106090",
      "755.097768731"
    ],
    [
      "2123.489865820",
      "596.491644720"
    ],
    [
      "1707.104840054",
      "916.512649062"
    ],
    [
      "2314.254141236",
      "1105.579390730"
    ],
    [
      "1672.686134890",
      "228.991804450"
    ],
    [
      "1144.917273548",
      "2315.924009428"
    ],
    [
      "2249.312118739",
      "1607.368614607"
    ],
    [
      "1388.059675685",
      "1563.299526831"
    ],
    [
      "320.467481478",
      "1550.848132926"
    ],
    [
      "784.189982728",
      "1019.638869012"
    ],
    [
      "1871.501346890",
      "699.446500860"
    ],
    [
      "2242.184368431",
      "841.227451360"
    ],
    [
      "348.267712556",
      "1272.231645343"
    ],
    [
      "1289.089963820",
      "734.859138563"
    ],
    [
      "921.312048615",
      "358.312558893"
    ],
    [
      "1478.367254120",
      "1830.448439010"
    ],
    [
      "760.356409503",
      "1840.579389411"
    ],
    [
      "1153.224175217",
      "1403.586384840"
    ],
    [
      "1982.369949959",
      "967.787587086"
    ],
    [
      "1196.907618896",
      "457.791610166"
    ],
    [
      "2072.058680395",
      "1251.970506406"
    ],
    [
      "466.074937024",
      "1800.486809597"
    ],
    [
      "493.787997660",
      "440.858152427"
    ],
    [
      "999.640749271",
      "1661.291897538"
    ],
    [
      "1061.860158239",
      "926.106662615"
    ],
    [
      "1146.206169843",
      "158.049449193"
    ],
    [
      "1578.287769101",
      "658.927396706"
    ],
    [
      "1658.208518848",
      "1201.346196547"
    ],
    [
      "1908.483264099",
      "403.377271308"
    ],
    [
      "1742.060032427",
      "2162.613195001"
    ]
  ],
  "radius": "1227.006925812"
}

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

DISCUSSION

讨论区

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