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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2295.220746204y0
0x2295.220746204
已验证构造r = 1147.610373102

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1468.151658077",
      "2246.404518170"
    ],
    [
      "1152.007092264",
      "190.549707158"
    ],
    [
      "1025.542493226",
      "1107.714508260"
    ],
    [
      "1907.653098058",
      "1072.871085465"
    ],
    [
      "873.048252998",
      "2235.194374822"
    ],
    [
      "1540.459509030",
      "2219.462867828"
    ],
    [
      "218.696200411",
      "509.663904140"
    ],
    [
      "21.725009250",
      "1184.922634617"
    ],
    [
      "876.629832454",
      "739.377111148"
    ],
    [
      "1579.551920794",
      "622.486372322"
    ],
    [
      "1472.583815238",
      "1173.406121640"
    ],
    [
      "1162.264645579",
      "2167.091125604"
    ],
    [
      "586.904958348",
      "505.734358909"
    ],
    [
      "1347.569592152",
      "1614.244877543"
    ],
    [
      "1320.605121440",
      "2011.958293841"
    ],
    [
      "1552.593621539",
      "2199.446098705"
    ],
    [
      "1883.857312590",
      "524.338250180"
    ],
    [
      "506.397496227",
      "661.468063158"
    ],
    [
      "1103.752323035",
      "1457.821829101"
    ],
    [
      "2041.477689766",
      "873.503302224"
    ],
    [
      "1204.441087750",
      "2272.665139208"
    ],
    [
      "41.728653691",
      "1357.267466082"
    ],
    [
      "1768.816481336",
      "210.292728531"
    ],
    [
      "2184.747107253",
      "1579.834542213"
    ],
    [
      "2087.215392317",
      "1761.882682800"
    ],
    [
      "2241.606475710",
      "1394.305897621"
    ],
    [
      "2107.238670278",
      "569.211448123"
    ],
    [
      "1145.246989912",
      "28.157894122"
    ],
    [
      "44.719951154",
      "961.430694339"
    ],
    [
      "107.052125246",
      "1554.942355508"
    ],
    [
      "1973.905009794",
      "396.614307993"
    ],
    [
      "423.007428654",
      "1995.865686947"
    ],
    [
      "911.268767732",
      "58.345056756"
    ],
    [
      "634.460982214",
      "2135.945218036"
    ],
    [
      "378.389423667",
      "343.753162810"
    ],
    [
      "2209.265492344",
      "818.116777757"
    ],
    [
      "248.887923373",
      "1800.108157921"
    ],
    [
      "1458.935984500",
      "2101.745780009"
    ],
    [
      "2255.221495996",
      "1100.551263587"
    ],
    [
      "640.581769144",
      "162.890333639"
    ],
    [
      "981.336106372",
      "245.200633813"
    ],
    [
      "1070.018936309",
      "1751.921219133"
    ],
    [
      "426.703845664",
      "1147.306345177"
    ],
    [
      "1753.926126550",
      "2069.649160456"
    ],
    [
      "1160.948623705",
      "480.524713662"
    ],
    [
      "1742.045709274",
      "1049.081408251"
    ],
    [
      "847.809862579",
      "1623.891702246"
    ],
    [
      "1313.547734588",
      "1458.412437903"
    ],
    [
      "734.118805052",
      "1399.896346373"
    ],
    [
      "280.121072884",
      "1442.744180340"
    ],
    [
      "1919.927704692",
      "1926.121933529"
    ],
    [
      "1418.403239181",
      "85.992120938"
    ],
    [
      "1479.562445477",
      "2190.654225105"
    ],
    [
      "1332.538917029",
      "750.877333672"
    ],
    [
      "1722.905662935",
      "1974.717438337"
    ],
    [
      "1654.092312747",
      "1285.288287160"
    ],
    [
      "1407.699280191",
      "196.846410530"
    ],
    [
      "1834.318394522",
      "1993.590785693"
    ],
    [
      "2007.074571895",
      "1087.446846085"
    ],
    [
      "157.813406137",
      "696.835165418"
    ],
    [
      "214.896212563",
      "590.146116257"
    ],
    [
      "1128.429483470",
      "2233.051286122"
    ],
    [
      "855.357922272",
      "1925.487096021"
    ],
    [
      "1680.963997755",
      "957.599035533"
    ],
    [
      "946.968684210",
      "345.474659836"
    ],
    [
      "726.597982395",
      "1916.394835624"
    ],
    [
      "1391.637886678",
      "1542.833573567"
    ],
    [
      "619.220324981",
      "1377.820584144"
    ],
    [
      "1321.567869866",
      "288.810426077"
    ],
    [
      "1111.183629126",
      "2102.182724166"
    ],
    [
      "1697.918030265",
      "822.540662287"
    ],
    [
      "665.498890277",
      "540.365112965"
    ],
    [
      "1619.502312682",
      "701.646151368"
    ],
    [
      "80.871324880",
      "1268.882943081"
    ],
    [
      "1668.243801939",
      "209.829031178"
    ],
    [
      "1530.972569589",
      "146.919502732"
    ],
    [
      "1534.996369740",
      "1556.410956765"
    ],
    [
      "517.074220035",
      "564.824097625"
    ],
    [
      "814.874102450",
      "806.995185300"
    ],
    [
      "973.012382747",
      "1839.116977891"
    ],
    [
      "513.245387871",
      "900.661654959"
    ],
    [
      "2161.388474339",
      "1475.908147561"
    ],
    [
      "1638.706339108",
      "546.759044430"
    ],
    [
      "968.351053268",
      "1675.183235154"
    ],
    [
      "476.681273648",
      "1661.825178650"
    ],
    [
      "1133.013750150",
      "1105.180940845"
    ],
    [
      "984.223293859",
      "2195.560288822"
    ],
    [
      "1981.214927128",
      "1801.362659861"
    ],
    [
      "983.220812244",
      "2007.808376508"
    ],
    [
      "991.451267624",
      "1210.571557725"
    ],
    [
      "540.343405155",
      "1075.561154548"
    ],
    [
      "514.622922212",
      "1256.744643744"
    ],
    [
      "1994.547577953",
      "519.199353074"
    ],
    [
      "1300.142131348",
      "450.396123863"
    ],
    [
      "1605.533017498",
      "1881.316891745"
    ],
    [
      "134.665519655",
      "1430.147274564"
    ],
    [
      "823.652370334",
      "631.214236348"
    ],
    [
      "1433.197023676",
      "1968.203629744"
    ],
    [
      "606.213094340",
      "1793.607329381"
    ],
    [
      "1796.926306480",
      "1838.533943268"
    ],
    [
      "2073.158753963",
      "1636.234428758"
    ],
    [
      "805.553585193",
      "1767.831978614"
    ],
    [
      "803.126688522",
      "432.270283467"
    ],
    [
      "1659.940297382",
      "1687.369022365"
    ],
    [
      "1038.829470070",
      "110.997380754"
    ],
    [
      "1865.470459250",
      "1644.272008960"
    ],
    [
      "1602.770517450",
      "2083.398378798"
    ],
    [
      "695.460237321",
      "950.902547225"
    ],
    [
      "348.159098204",
      "484.595165002"
    ],
    [
      "148.778261065",
      "866.594896078"
    ],
    [
      "999.676974106",
      "742.026414689"
    ],
    [
      "113.851984701",
      "1085.830283777"
    ],
    [
      "1256.690993194",
      "118.766340973"
    ],
    [
      "568.818077411",
      "2003.299038109"
    ],
    [
      "1004.374617258",
      "516.075242638"
    ],
    [
      "1965.636850053",
      "1446.154129520"
    ],
    [
      "1202.193758206",
      "637.284101538"
    ],
    [
      "396.212878507",
      "1848.278248172"
    ],
    [
      "1593.575536865",
      "1121.084998552"
    ],
    [
      "449.393085635",
      "1458.459959030"
    ],
    [
      "1131.392651316",
      "317.172203374"
    ],
    [
      "628.619376687",
      "730.829151853"
    ],
    [
      "1443.691498062",
      "613.130813824"
    ],
    [
      "337.069141263",
      "1005.528493313"
    ],
    [
      "1347.774181903",
      "1111.626313302"
    ],
    [
      "791.438090901",
      "2104.990616628"
    ],
    [
      "2151.846156429",
      "970.668473465"
    ],
    [
      "1301.874602601",
      "2155.483311737"
    ],
    [
      "2071.391756823",
      "727.475545122"
    ],
    [
      "1718.129960509",
      "1459.916978018"
    ],
    [
      "1820.307937723",
      "659.970613544"
    ],
    [
      "1429.302971463",
      "1738.236596543"
    ],
    [
      "675.402443348",
      "1572.164709309"
    ],
    [
      "288.633596894",
      "1258.941196317"
    ],
    [
      "812.806817732",
      "194.467223978"
    ],
    [
      "256.960804445",
      "1627.296617243"
    ],
    [
      "1189.900384800",
      "1320.803089054"
    ],
    [
      "1202.661100918",
      "892.283673286"
    ],
    [
      "1516.479909515",
      "361.431184964"
    ],
    [
      "940.955445301",
      "986.060801726"
    ],
    [
      "1467.699241683",
      "1349.058366821"
    ],
    [
      "363.798223926",
      "735.132159555"
    ],
    [
      "1885.551747214",
      "926.089469179"
    ],
    [
      "1798.702894954",
      "385.730779463"
    ],
    [
      "1185.664859001",
      "1602.963363654"
    ],
    [
      "1486.337443089",
      "878.728862343"
    ],
    [
      "1843.812254760",
      "1213.070951272"
    ],
    [
      "2138.945578264",
      "1247.005730763"
    ],
    [
      "749.436476392",
      "1202.489738213"
    ],
    [
      "1195.399399300",
      "1897.802707582"
    ],
    [
      "929.319505445",
      "1443.447311578"
    ],
    [
      "565.420339903",
      "339.962689848"
    ]
  ],
  "radius": "1147.610373102"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 152
}

当前第一名的答案

{
  "centers": [
    [
      "1468.151658077",
      "2246.404518170"
    ],
    [
      "1152.007092264",
      "190.549707158"
    ],
    [
      "1025.542493226",
      "1107.714508260"
    ],
    [
      "1907.653098058",
      "1072.871085465"
    ],
    [
      "873.048252998",
      "2235.194374822"
    ],
    [
      "1540.459509030",
      "2219.462867828"
    ],
    [
      "218.696200411",
      "509.663904140"
    ],
    [
      "21.725009250",
      "1184.922634617"
    ],
    [
      "876.629832454",
      "739.377111148"
    ],
    [
      "1579.551920794",
      "622.486372322"
    ],
    [
      "1472.583815238",
      "1173.406121640"
    ],
    [
      "1162.264645579",
      "2167.091125604"
    ],
    [
      "586.904958348",
      "505.734358909"
    ],
    [
      "1347.569592152",
      "1614.244877543"
    ],
    [
      "1320.605121440",
      "2011.958293841"
    ],
    [
      "1552.593621539",
      "2199.446098705"
    ],
    [
      "1883.857312590",
      "524.338250180"
    ],
    [
      "506.397496227",
      "661.468063158"
    ],
    [
      "1103.752323035",
      "1457.821829101"
    ],
    [
      "2041.477689766",
      "873.503302224"
    ],
    [
      "1204.441087750",
      "2272.665139208"
    ],
    [
      "41.728653691",
      "1357.267466082"
    ],
    [
      "1768.816481336",
      "210.292728531"
    ],
    [
      "2184.747107253",
      "1579.834542213"
    ],
    [
      "2087.215392317",
      "1761.882682800"
    ],
    [
      "2241.606475710",
      "1394.305897621"
    ],
    [
      "2107.238670278",
      "569.211448123"
    ],
    [
      "1145.246989912",
      "28.157894122"
    ],
    [
      "44.719951154",
      "961.430694339"
    ],
    [
      "107.052125246",
      "1554.942355508"
    ],
    [
      "1973.905009794",
      "396.614307993"
    ],
    [
      "423.007428654",
      "1995.865686947"
    ],
    [
      "911.268767732",
      "58.345056756"
    ],
    [
      "634.460982214",
      "2135.945218036"
    ],
    [
      "378.389423667",
      "343.753162810"
    ],
    [
      "2209.265492344",
      "818.116777757"
    ],
    [
      "248.887923373",
      "1800.108157921"
    ],
    [
      "1458.935984500",
      "2101.745780009"
    ],
    [
      "2255.221495996",
      "1100.551263587"
    ],
    [
      "640.581769144",
      "162.890333639"
    ],
    [
      "981.336106372",
      "245.200633813"
    ],
    [
      "1070.018936309",
      "1751.921219133"
    ],
    [
      "426.703845664",
      "1147.306345177"
    ],
    [
      "1753.926126550",
      "2069.649160456"
    ],
    [
      "1160.948623705",
      "480.524713662"
    ],
    [
      "1742.045709274",
      "1049.081408251"
    ],
    [
      "847.809862579",
      "1623.891702246"
    ],
    [
      "1313.547734588",
      "1458.412437903"
    ],
    [
      "734.118805052",
      "1399.896346373"
    ],
    [
      "280.121072884",
      "1442.744180340"
    ],
    [
      "1919.927704692",
      "1926.121933529"
    ],
    [
      "1418.403239181",
      "85.992120938"
    ],
    [
      "1479.562445477",
      "2190.654225105"
    ],
    [
      "1332.538917029",
      "750.877333672"
    ],
    [
      "1722.905662935",
      "1974.717438337"
    ],
    [
      "1654.092312747",
      "1285.288287160"
    ],
    [
      "1407.699280191",
      "196.846410530"
    ],
    [
      "1834.318394522",
      "1993.590785693"
    ],
    [
      "2007.074571895",
      "1087.446846085"
    ],
    [
      "157.813406137",
      "696.835165418"
    ],
    [
      "214.896212563",
      "590.146116257"
    ],
    [
      "1128.429483470",
      "2233.051286122"
    ],
    [
      "855.357922272",
      "1925.487096021"
    ],
    [
      "1680.963997755",
      "957.599035533"
    ],
    [
      "946.968684210",
      "345.474659836"
    ],
    [
      "726.597982395",
      "1916.394835624"
    ],
    [
      "1391.637886678",
      "1542.833573567"
    ],
    [
      "619.220324981",
      "1377.820584144"
    ],
    [
      "1321.567869866",
      "288.810426077"
    ],
    [
      "1111.183629126",
      "2102.182724166"
    ],
    [
      "1697.918030265",
      "822.540662287"
    ],
    [
      "665.498890277",
      "540.365112965"
    ],
    [
      "1619.502312682",
      "701.646151368"
    ],
    [
      "80.871324880",
      "1268.882943081"
    ],
    [
      "1668.243801939",
      "209.829031178"
    ],
    [
      "1530.972569589",
      "146.919502732"
    ],
    [
      "1534.996369740",
      "1556.410956765"
    ],
    [
      "517.074220035",
      "564.824097625"
    ],
    [
      "814.874102450",
      "806.995185300"
    ],
    [
      "973.012382747",
      "1839.116977891"
    ],
    [
      "513.245387871",
      "900.661654959"
    ],
    [
      "2161.388474339",
      "1475.908147561"
    ],
    [
      "1638.706339108",
      "546.759044430"
    ],
    [
      "968.351053268",
      "1675.183235154"
    ],
    [
      "476.681273648",
      "1661.825178650"
    ],
    [
      "1133.013750150",
      "1105.180940845"
    ],
    [
      "984.223293859",
      "2195.560288822"
    ],
    [
      "1981.214927128",
      "1801.362659861"
    ],
    [
      "983.220812244",
      "2007.808376508"
    ],
    [
      "991.451267624",
      "1210.571557725"
    ],
    [
      "540.343405155",
      "1075.561154548"
    ],
    [
      "514.622922212",
      "1256.744643744"
    ],
    [
      "1994.547577953",
      "519.199353074"
    ],
    [
      "1300.142131348",
      "450.396123863"
    ],
    [
      "1605.533017498",
      "1881.316891745"
    ],
    [
      "134.665519655",
      "1430.147274564"
    ],
    [
      "823.652370334",
      "631.214236348"
    ],
    [
      "1433.197023676",
      "1968.203629744"
    ],
    [
      "606.213094340",
      "1793.607329381"
    ],
    [
      "1796.926306480",
      "1838.533943268"
    ],
    [
      "2073.158753963",
      "1636.234428758"
    ],
    [
      "805.553585193",
      "1767.831978614"
    ],
    [
      "803.126688522",
      "432.270283467"
    ],
    [
      "1659.940297382",
      "1687.369022365"
    ],
    [
      "1038.829470070",
      "110.997380754"
    ],
    [
      "1865.470459250",
      "1644.272008960"
    ],
    [
      "1602.770517450",
      "2083.398378798"
    ],
    [
      "695.460237321",
      "950.902547225"
    ],
    [
      "348.159098204",
      "484.595165002"
    ],
    [
      "148.778261065",
      "866.594896078"
    ],
    [
      "999.676974106",
      "742.026414689"
    ],
    [
      "113.851984701",
      "1085.830283777"
    ],
    [
      "1256.690993194",
      "118.766340973"
    ],
    [
      "568.818077411",
      "2003.299038109"
    ],
    [
      "1004.374617258",
      "516.075242638"
    ],
    [
      "1965.636850053",
      "1446.154129520"
    ],
    [
      "1202.193758206",
      "637.284101538"
    ],
    [
      "396.212878507",
      "1848.278248172"
    ],
    [
      "1593.575536865",
      "1121.084998552"
    ],
    [
      "449.393085635",
      "1458.459959030"
    ],
    [
      "1131.392651316",
      "317.172203374"
    ],
    [
      "628.619376687",
      "730.829151853"
    ],
    [
      "1443.691498062",
      "613.130813824"
    ],
    [
      "337.069141263",
      "1005.528493313"
    ],
    [
      "1347.774181903",
      "1111.626313302"
    ],
    [
      "791.438090901",
      "2104.990616628"
    ],
    [
      "2151.846156429",
      "970.668473465"
    ],
    [
      "1301.874602601",
      "2155.483311737"
    ],
    [
      "2071.391756823",
      "727.475545122"
    ],
    [
      "1718.129960509",
      "1459.916978018"
    ],
    [
      "1820.307937723",
      "659.970613544"
    ],
    [
      "1429.302971463",
      "1738.236596543"
    ],
    [
      "675.402443348",
      "1572.164709309"
    ],
    [
      "288.633596894",
      "1258.941196317"
    ],
    [
      "812.806817732",
      "194.467223978"
    ],
    [
      "256.960804445",
      "1627.296617243"
    ],
    [
      "1189.900384800",
      "1320.803089054"
    ],
    [
      "1202.661100918",
      "892.283673286"
    ],
    [
      "1516.479909515",
      "361.431184964"
    ],
    [
      "940.955445301",
      "986.060801726"
    ],
    [
      "1467.699241683",
      "1349.058366821"
    ],
    [
      "363.798223926",
      "735.132159555"
    ],
    [
      "1885.551747214",
      "926.089469179"
    ],
    [
      "1798.702894954",
      "385.730779463"
    ],
    [
      "1185.664859001",
      "1602.963363654"
    ],
    [
      "1486.337443089",
      "878.728862343"
    ],
    [
      "1843.812254760",
      "1213.070951272"
    ],
    [
      "2138.945578264",
      "1247.005730763"
    ],
    [
      "749.436476392",
      "1202.489738213"
    ],
    [
      "1195.399399300",
      "1897.802707582"
    ],
    [
      "929.319505445",
      "1443.447311578"
    ],
    [
      "565.420339903",
      "339.962689848"
    ]
  ],
  "radius": "1147.610373102"
}

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

DISCUSSION

讨论区

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