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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2476.074878402y0
0x2476.074878402
已验证构造r = 1238.037439201

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1128.923982017",
      "911.355188923"
    ],
    [
      "2166.418631814",
      "616.798899757"
    ],
    [
      "2433.397367166",
      "927.570676893"
    ],
    [
      "525.398176406",
      "1887.593679689"
    ],
    [
      "415.739465741",
      "2142.029079744"
    ],
    [
      "1514.851535455",
      "1662.150590816"
    ],
    [
      "696.308409641",
      "2110.372454094"
    ],
    [
      "2339.444768467",
      "854.973061347"
    ],
    [
      "2074.724703016",
      "1569.548779490"
    ],
    [
      "1845.401358981",
      "177.242956068"
    ],
    [
      "1537.651361113",
      "1082.404647215"
    ],
    [
      "1733.600324621",
      "310.596695764"
    ],
    [
      "1303.301178734",
      "27.789792458"
    ],
    [
      "1119.236670731",
      "1869.762198980"
    ],
    [
      "1023.684846066",
      "1216.182877379"
    ],
    [
      "1283.893465780",
      "590.121968990"
    ],
    [
      "2088.003114788",
      "1592.075691035"
    ],
    [
      "2253.233956058",
      "1554.856599263"
    ],
    [
      "1590.997569097",
      "307.000219703"
    ],
    [
      "128.969744626",
      "1731.855298168"
    ],
    [
      "81.310658476",
      "863.303633997"
    ],
    [
      "2432.505544995",
      "1465.383166405"
    ],
    [
      "217.101291347",
      "1889.423233758"
    ],
    [
      "61.698947074",
      "1537.826366999"
    ],
    [
      "325.646017290",
      "438.770611541"
    ],
    [
      "2444.431675446",
      "1121.368939538"
    ],
    [
      "2374.204199561",
      "1648.500804587"
    ],
    [
      "1807.748419857",
      "170.690329031"
    ],
    [
      "44.313212915",
      "1046.324720556"
    ],
    [
      "34.373690475",
      "1338.696623697"
    ],
    [
      "2380.341074648",
      "848.458225003"
    ],
    [
      "180.919054345",
      "657.627748134"
    ],
    [
      "934.588365443",
      "2178.978819859"
    ],
    [
      "609.942775686",
      "2265.103304917"
    ],
    [
      "2039.662655686",
      "2134.951115001"
    ],
    [
      "395.663032608",
      "2095.533424239"
    ],
    [
      "1177.759108610",
      "2437.454840603"
    ],
    [
      "876.660593020",
      "2382.369834324"
    ],
    [
      "2225.577928032",
      "1918.077558256"
    ],
    [
      "1473.596163667",
      "2412.686448267"
    ],
    [
      "1789.771068777",
      "2300.340895301"
    ],
    [
      "1296.306394596",
      "167.063428064"
    ],
    [
      "1519.597457387",
      "580.779396951"
    ],
    [
      "897.600051506",
      "2109.901581771"
    ],
    [
      "751.528550641",
      "1762.173558322"
    ],
    [
      "1959.585115393",
      "1420.096734842"
    ],
    [
      "1077.911129667",
      "1824.585168079"
    ],
    [
      "2173.320034963",
      "858.482265683"
    ],
    [
      "836.195580591",
      "675.071023866"
    ],
    [
      "1245.001652973",
      "1632.069407111"
    ],
    [
      "1146.498810651",
      "486.237578009"
    ],
    [
      "1551.502992399",
      "2048.503889611"
    ],
    [
      "1754.541466728",
      "626.495565632"
    ],
    [
      "1842.354019215",
      "959.614569704"
    ],
    [
      "571.797166319",
      "1939.621249406"
    ],
    [
      "931.603279135",
      "1018.926459276"
    ],
    [
      "1728.459790685",
      "1723.875319756"
    ],
    [
      "2004.527927044",
      "1801.686725466"
    ],
    [
      "1200.389284027",
      "2190.028287004"
    ],
    [
      "639.882631342",
      "223.160636785"
    ],
    [
      "2240.385062148",
      "621.175047917"
    ],
    [
      "1094.645596016",
      "70.774470670"
    ],
    [
      "859.313751777",
      "1755.267852492"
    ],
    [
      "447.205893467",
      "986.260755163"
    ],
    [
      "1453.395207879",
      "495.449084867"
    ],
    [
      "1516.357773721",
      "99.720666532"
    ],
    [
      "412.541086234",
      "407.755219004"
    ],
    [
      "2407.679825058",
      "1208.153961653"
    ],
    [
      "962.396224320",
      "1837.998867167"
    ],
    [
      "1970.937711589",
      "1304.653594900"
    ],
    [
      "374.837858748",
      "1100.225080950"
    ],
    [
      "2034.019713004",
      "385.948518132"
    ],
    [
      "1229.626746422",
      "73.030359834"
    ],
    [
      "1376.337655310",
      "82.244979421"
    ],
    [
      "2268.439422905",
      "1240.770919520"
    ],
    [
      "391.678538452",
      "1246.257240108"
    ],
    [
      "213.719058650",
      "1784.605779311"
    ],
    [
      "505.105862287",
      "1350.421736022"
    ],
    [
      "112.268781619",
      "962.333403914"
    ],
    [
      "904.720384717",
      "293.751709814"
    ],
    [
      "1683.459810005",
      "2031.878659161"
    ],
    [
      "535.118399924",
      "320.342164407"
    ],
    [
      "2353.504594147",
      "1537.778180823"
    ],
    [
      "1458.155034506",
      "844.502212980"
    ],
    [
      "1430.935960135",
      "1438.657423691"
    ],
    [
      "103.026832759",
      "1435.372647876"
    ],
    [
      "780.932123454",
      "181.655918747"
    ],
    [
      "278.899674228",
      "973.430503949"
    ],
    [
      "884.160523473",
      "1427.985407710"
    ],
    [
      "2130.660423462",
      "516.098902180"
    ],
    [
      "2377.970093741",
      "1365.506769003"
    ],
    [
      "951.801586253",
      "128.320876949"
    ],
    [
      "2282.845178352",
      "769.542481512"
    ],
    [
      "737.165941789",
      "778.231726846"
    ],
    [
      "720.040321338",
      "589.959592505"
    ],
    [
      "1293.293303538",
      "478.467323282"
    ],
    [
      "550.174171447",
      "500.463832142"
    ],
    [
      "586.832645398",
      "897.663297215"
    ],
    [
      "1252.422325136",
      "1483.254308331"
    ],
    [
      "401.173788247",
      "828.853495823"
    ],
    [
      "164.276208338",
      "1612.057434973"
    ],
    [
      "556.217506356",
      "699.372047427"
    ],
    [
      "1397.786773992",
      "1623.963434269"
    ],
    [
      "1812.481631111",
      "1376.540106569"
    ],
    [
      "1173.515109816",
      "639.880409213"
    ],
    [
      "775.825514854",
      "974.459750877"
    ],
    [
      "196.701767159",
      "796.601478947"
    ],
    [
      "2096.400635139",
      "1178.387784744"
    ],
    [
      "539.748492956",
      "1535.866346092"
    ],
    [
      "691.129397058",
      "1377.610787346"
    ],
    [
      "1388.390041308",
      "662.368210369"
    ],
    [
      "367.840915776",
      "1674.750416125"
    ],
    [
      "1666.494451206",
      "197.782305196"
    ],
    [
      "1866.142545871",
      "305.865706258"
    ],
    [
      "1609.265995764",
      "710.869954740"
    ],
    [
      "2080.779733758",
      "716.151882142"
    ],
    [
      "725.693910336",
      "378.034990504"
    ],
    [
      "1253.492079735",
      "848.045450186"
    ],
    [
      "1311.364512773",
      "1273.373822036"
    ],
    [
      "760.461962204",
      "1596.911939673"
    ],
    [
      "1080.103337401",
      "1346.483820043"
    ],
    [
      "584.529454214",
      "1763.079784459"
    ],
    [
      "553.254191552",
      "2116.652766625"
    ],
    [
      "1840.352460908",
      "781.625823528"
    ],
    [
      "1396.318276049",
      "1044.640662862"
    ],
    [
      "1912.480825560",
      "542.256863525"
    ],
    [
      "2069.594073480",
      "1974.866968531"
    ],
    [
      "2024.562232213",
      "953.587331307"
    ],
    [
      "317.996883157",
      "1438.961161890"
    ],
    [
      "1830.518979156",
      "1880.569040271"
    ],
    [
      "1849.512227521",
      "1144.476031493"
    ],
    [
      "1317.066826544",
      "2341.247832938"
    ],
    [
      "1257.678758837",
      "1814.629783390"
    ],
    [
      "777.841768047",
      "2241.590433021"
    ],
    [
      "1868.673239512",
      "2143.018145981"
    ],
    [
      "339.497323730",
      "599.984010181"
    ],
    [
      "376.476890687",
      "1923.600611901"
    ],
    [
      "865.587899493",
      "1201.348962413"
    ],
    [
      "1431.195834311",
      "288.059410882"
    ],
    [
      "1648.381035922",
      "962.852124019"
    ],
    [
      "1359.591377020",
      "2068.971715159"
    ],
    [
      "1044.184585020",
      "2316.523709879"
    ],
    [
      "1657.643721662",
      "456.122953379"
    ],
    [
      "1632.564024862",
      "1547.225943597"
    ],
    [
      "2150.417992137",
      "1428.085048427"
    ],
    [
      "587.805694838",
      "1142.246959218"
    ],
    [
      "950.753810094",
      "516.035140952"
    ],
    [
      "1125.803628979",
      "1081.394243939"
    ],
    [
      "1071.704126985",
      "2026.614302420"
    ],
    [
      "1919.356918801",
      "1611.923980558"
    ],
    [
      "777.096980695",
      "1956.591406194"
    ],
    [
      "1140.234199393",
      "283.334264466"
    ],
    [
      "2299.893687397",
      "1014.951015064"
    ],
    [
      "982.971475028",
      "815.305958218"
    ],
    [
      "1584.538032307",
      "1252.108163650"
    ],
    [
      "2204.034435780",
      "1724.271268518"
    ],
    [
      "1546.813493918",
      "1837.015157446"
    ],
    [
      "1037.171390105",
      "1623.668107400"
    ],
    [
      "1594.984130860",
      "2254.975172368"
    ],
    [
      "161.025093621",
      "1196.307381186"
    ]
  ],
  "radius": "1238.037439201"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 160
}

当前第一名的答案

{
  "centers": [
    [
      "1128.923982017",
      "911.355188923"
    ],
    [
      "2166.418631814",
      "616.798899757"
    ],
    [
      "2433.397367166",
      "927.570676893"
    ],
    [
      "525.398176406",
      "1887.593679689"
    ],
    [
      "415.739465741",
      "2142.029079744"
    ],
    [
      "1514.851535455",
      "1662.150590816"
    ],
    [
      "696.308409641",
      "2110.372454094"
    ],
    [
      "2339.444768467",
      "854.973061347"
    ],
    [
      "2074.724703016",
      "1569.548779490"
    ],
    [
      "1845.401358981",
      "177.242956068"
    ],
    [
      "1537.651361113",
      "1082.404647215"
    ],
    [
      "1733.600324621",
      "310.596695764"
    ],
    [
      "1303.301178734",
      "27.789792458"
    ],
    [
      "1119.236670731",
      "1869.762198980"
    ],
    [
      "1023.684846066",
      "1216.182877379"
    ],
    [
      "1283.893465780",
      "590.121968990"
    ],
    [
      "2088.003114788",
      "1592.075691035"
    ],
    [
      "2253.233956058",
      "1554.856599263"
    ],
    [
      "1590.997569097",
      "307.000219703"
    ],
    [
      "128.969744626",
      "1731.855298168"
    ],
    [
      "81.310658476",
      "863.303633997"
    ],
    [
      "2432.505544995",
      "1465.383166405"
    ],
    [
      "217.101291347",
      "1889.423233758"
    ],
    [
      "61.698947074",
      "1537.826366999"
    ],
    [
      "325.646017290",
      "438.770611541"
    ],
    [
      "2444.431675446",
      "1121.368939538"
    ],
    [
      "2374.204199561",
      "1648.500804587"
    ],
    [
      "1807.748419857",
      "170.690329031"
    ],
    [
      "44.313212915",
      "1046.324720556"
    ],
    [
      "34.373690475",
      "1338.696623697"
    ],
    [
      "2380.341074648",
      "848.458225003"
    ],
    [
      "180.919054345",
      "657.627748134"
    ],
    [
      "934.588365443",
      "2178.978819859"
    ],
    [
      "609.942775686",
      "2265.103304917"
    ],
    [
      "2039.662655686",
      "2134.951115001"
    ],
    [
      "395.663032608",
      "2095.533424239"
    ],
    [
      "1177.759108610",
      "2437.454840603"
    ],
    [
      "876.660593020",
      "2382.369834324"
    ],
    [
      "2225.577928032",
      "1918.077558256"
    ],
    [
      "1473.596163667",
      "2412.686448267"
    ],
    [
      "1789.771068777",
      "2300.340895301"
    ],
    [
      "1296.306394596",
      "167.063428064"
    ],
    [
      "1519.597457387",
      "580.779396951"
    ],
    [
      "897.600051506",
      "2109.901581771"
    ],
    [
      "751.528550641",
      "1762.173558322"
    ],
    [
      "1959.585115393",
      "1420.096734842"
    ],
    [
      "1077.911129667",
      "1824.585168079"
    ],
    [
      "2173.320034963",
      "858.482265683"
    ],
    [
      "836.195580591",
      "675.071023866"
    ],
    [
      "1245.001652973",
      "1632.069407111"
    ],
    [
      "1146.498810651",
      "486.237578009"
    ],
    [
      "1551.502992399",
      "2048.503889611"
    ],
    [
      "1754.541466728",
      "626.495565632"
    ],
    [
      "1842.354019215",
      "959.614569704"
    ],
    [
      "571.797166319",
      "1939.621249406"
    ],
    [
      "931.603279135",
      "1018.926459276"
    ],
    [
      "1728.459790685",
      "1723.875319756"
    ],
    [
      "2004.527927044",
      "1801.686725466"
    ],
    [
      "1200.389284027",
      "2190.028287004"
    ],
    [
      "639.882631342",
      "223.160636785"
    ],
    [
      "2240.385062148",
      "621.175047917"
    ],
    [
      "1094.645596016",
      "70.774470670"
    ],
    [
      "859.313751777",
      "1755.267852492"
    ],
    [
      "447.205893467",
      "986.260755163"
    ],
    [
      "1453.395207879",
      "495.449084867"
    ],
    [
      "1516.357773721",
      "99.720666532"
    ],
    [
      "412.541086234",
      "407.755219004"
    ],
    [
      "2407.679825058",
      "1208.153961653"
    ],
    [
      "962.396224320",
      "1837.998867167"
    ],
    [
      "1970.937711589",
      "1304.653594900"
    ],
    [
      "374.837858748",
      "1100.225080950"
    ],
    [
      "2034.019713004",
      "385.948518132"
    ],
    [
      "1229.626746422",
      "73.030359834"
    ],
    [
      "1376.337655310",
      "82.244979421"
    ],
    [
      "2268.439422905",
      "1240.770919520"
    ],
    [
      "391.678538452",
      "1246.257240108"
    ],
    [
      "213.719058650",
      "1784.605779311"
    ],
    [
      "505.105862287",
      "1350.421736022"
    ],
    [
      "112.268781619",
      "962.333403914"
    ],
    [
      "904.720384717",
      "293.751709814"
    ],
    [
      "1683.459810005",
      "2031.878659161"
    ],
    [
      "535.118399924",
      "320.342164407"
    ],
    [
      "2353.504594147",
      "1537.778180823"
    ],
    [
      "1458.155034506",
      "844.502212980"
    ],
    [
      "1430.935960135",
      "1438.657423691"
    ],
    [
      "103.026832759",
      "1435.372647876"
    ],
    [
      "780.932123454",
      "181.655918747"
    ],
    [
      "278.899674228",
      "973.430503949"
    ],
    [
      "884.160523473",
      "1427.985407710"
    ],
    [
      "2130.660423462",
      "516.098902180"
    ],
    [
      "2377.970093741",
      "1365.506769003"
    ],
    [
      "951.801586253",
      "128.320876949"
    ],
    [
      "2282.845178352",
      "769.542481512"
    ],
    [
      "737.165941789",
      "778.231726846"
    ],
    [
      "720.040321338",
      "589.959592505"
    ],
    [
      "1293.293303538",
      "478.467323282"
    ],
    [
      "550.174171447",
      "500.463832142"
    ],
    [
      "586.832645398",
      "897.663297215"
    ],
    [
      "1252.422325136",
      "1483.254308331"
    ],
    [
      "401.173788247",
      "828.853495823"
    ],
    [
      "164.276208338",
      "1612.057434973"
    ],
    [
      "556.217506356",
      "699.372047427"
    ],
    [
      "1397.786773992",
      "1623.963434269"
    ],
    [
      "1812.481631111",
      "1376.540106569"
    ],
    [
      "1173.515109816",
      "639.880409213"
    ],
    [
      "775.825514854",
      "974.459750877"
    ],
    [
      "196.701767159",
      "796.601478947"
    ],
    [
      "2096.400635139",
      "1178.387784744"
    ],
    [
      "539.748492956",
      "1535.866346092"
    ],
    [
      "691.129397058",
      "1377.610787346"
    ],
    [
      "1388.390041308",
      "662.368210369"
    ],
    [
      "367.840915776",
      "1674.750416125"
    ],
    [
      "1666.494451206",
      "197.782305196"
    ],
    [
      "1866.142545871",
      "305.865706258"
    ],
    [
      "1609.265995764",
      "710.869954740"
    ],
    [
      "2080.779733758",
      "716.151882142"
    ],
    [
      "725.693910336",
      "378.034990504"
    ],
    [
      "1253.492079735",
      "848.045450186"
    ],
    [
      "1311.364512773",
      "1273.373822036"
    ],
    [
      "760.461962204",
      "1596.911939673"
    ],
    [
      "1080.103337401",
      "1346.483820043"
    ],
    [
      "584.529454214",
      "1763.079784459"
    ],
    [
      "553.254191552",
      "2116.652766625"
    ],
    [
      "1840.352460908",
      "781.625823528"
    ],
    [
      "1396.318276049",
      "1044.640662862"
    ],
    [
      "1912.480825560",
      "542.256863525"
    ],
    [
      "2069.594073480",
      "1974.866968531"
    ],
    [
      "2024.562232213",
      "953.587331307"
    ],
    [
      "317.996883157",
      "1438.961161890"
    ],
    [
      "1830.518979156",
      "1880.569040271"
    ],
    [
      "1849.512227521",
      "1144.476031493"
    ],
    [
      "1317.066826544",
      "2341.247832938"
    ],
    [
      "1257.678758837",
      "1814.629783390"
    ],
    [
      "777.841768047",
      "2241.590433021"
    ],
    [
      "1868.673239512",
      "2143.018145981"
    ],
    [
      "339.497323730",
      "599.984010181"
    ],
    [
      "376.476890687",
      "1923.600611901"
    ],
    [
      "865.587899493",
      "1201.348962413"
    ],
    [
      "1431.195834311",
      "288.059410882"
    ],
    [
      "1648.381035922",
      "962.852124019"
    ],
    [
      "1359.591377020",
      "2068.971715159"
    ],
    [
      "1044.184585020",
      "2316.523709879"
    ],
    [
      "1657.643721662",
      "456.122953379"
    ],
    [
      "1632.564024862",
      "1547.225943597"
    ],
    [
      "2150.417992137",
      "1428.085048427"
    ],
    [
      "587.805694838",
      "1142.246959218"
    ],
    [
      "950.753810094",
      "516.035140952"
    ],
    [
      "1125.803628979",
      "1081.394243939"
    ],
    [
      "1071.704126985",
      "2026.614302420"
    ],
    [
      "1919.356918801",
      "1611.923980558"
    ],
    [
      "777.096980695",
      "1956.591406194"
    ],
    [
      "1140.234199393",
      "283.334264466"
    ],
    [
      "2299.893687397",
      "1014.951015064"
    ],
    [
      "982.971475028",
      "815.305958218"
    ],
    [
      "1584.538032307",
      "1252.108163650"
    ],
    [
      "2204.034435780",
      "1724.271268518"
    ],
    [
      "1546.813493918",
      "1837.015157446"
    ],
    [
      "1037.171390105",
      "1623.668107400"
    ],
    [
      "1594.984130860",
      "2254.975172368"
    ],
    [
      "161.025093621",
      "1196.307381186"
    ]
  ],
  "radius": "1238.037439201"
}

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

DISCUSSION

讨论区

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