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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2009.631452572y0
0x2009.631452572
已验证构造r = 1004.815726286

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "865.878416400",
      "813.509823739"
    ],
    [
      "1236.683367576",
      "1863.727192818"
    ],
    [
      "481.266317805",
      "1856.564239621"
    ],
    [
      "915.518964524",
      "1347.150955544"
    ],
    [
      "1089.768700279",
      "8.641940176"
    ],
    [
      "1607.554165275",
      "1422.638789625"
    ],
    [
      "1544.993883455",
      "629.056512654"
    ],
    [
      "1742.362617903",
      "1069.041655507"
    ],
    [
      "334.845455536",
      "1290.333897641"
    ],
    [
      "397.603478886",
      "221.227648615"
    ],
    [
      "1882.494956446",
      "571.636566338"
    ],
    [
      "535.615799693",
      "354.276162463"
    ],
    [
      "652.834125795",
      "1047.345042059"
    ],
    [
      "1000.743982475",
      "1751.260525334"
    ],
    [
      "1220.549651331",
      "260.513537134"
    ],
    [
      "881.485892273",
      "1638.446178815"
    ],
    [
      "1471.153964370",
      "852.172102525"
    ],
    [
      "1270.275140939",
      "54.385296751"
    ],
    [
      "1939.365797199",
      "1318.358143687"
    ],
    [
      "1668.880798526",
      "277.842164713"
    ],
    [
      "1013.801630799",
      "1986.507456493"
    ],
    [
      "1974.347388306",
      "859.330511175"
    ],
    [
      "1805.932381334",
      "437.263532626"
    ],
    [
      "1810.548919347",
      "1563.982477622"
    ],
    [
      "1442.345803120",
      "1881.508139348"
    ],
    [
      "42.877022949",
      "824.180615168"
    ],
    [
      "130.329474069",
      "1442.151529754"
    ],
    [
      "104.339464316",
      "626.628573717"
    ],
    [
      "1120.537851411",
      "712.732957289"
    ],
    [
      "47.840698058",
      "1190.461883151"
    ],
    [
      "1971.653173814",
      "1121.174061482"
    ],
    [
      "1625.348568425",
      "1753.915521121"
    ],
    [
      "371.439042244",
      "659.535678238"
    ],
    [
      "244.790932455",
      "400.863023299"
    ],
    [
      "443.373905400",
      "214.113522603"
    ],
    [
      "1127.589841773",
      "43.810820958"
    ],
    [
      "748.706387220",
      "1938.129867660"
    ],
    [
      "1371.401241534",
      "1109.988649029"
    ],
    [
      "1045.534043204",
      "39.858713872"
    ],
    [
      "1344.367016144",
      "1495.105235869"
    ],
    [
      "1087.895421951",
      "373.664091329"
    ],
    [
      "569.762951700",
      "1518.823120736"
    ],
    [
      "430.392839387",
      "707.541456181"
    ],
    [
      "1689.495366957",
      "1048.885376336"
    ],
    [
      "832.996897118",
      "60.521007110"
    ],
    [
      "813.850431281",
      "1148.526585463"
    ],
    [
      "1206.819201324",
      "68.543564151"
    ],
    [
      "386.367828979",
      "1734.896908335"
    ],
    [
      "978.077565088",
      "976.634494521"
    ],
    [
      "542.715290915",
      "1293.022446780"
    ],
    [
      "524.398114379",
      "708.599291293"
    ],
    [
      "189.760802844",
      "984.400482545"
    ],
    [
      "470.142865132",
      "1792.232613500"
    ],
    [
      "739.076207672",
      "91.904715019"
    ],
    [
      "1499.027635698",
      "193.780290896"
    ],
    [
      "1208.433064645",
      "1931.525638808"
    ],
    [
      "1276.391965023",
      "1100.410563331"
    ],
    [
      "1590.552208676",
      "260.926674649"
    ],
    [
      "1878.345659273",
      "1367.462723055"
    ],
    [
      "206.425018682",
      "873.647135364"
    ],
    [
      "1072.624311247",
      "636.181731014"
    ],
    [
      "1923.227898507",
      "791.694691084"
    ],
    [
      "1089.965907394",
      "1942.774312224"
    ],
    [
      "1819.140107785",
      "1475.932891542"
    ],
    [
      "1332.958847355",
      "1711.647386882"
    ],
    [
      "944.361101597",
      "67.948496487"
    ],
    [
      "243.940289759",
      "1090.351335292"
    ],
    [
      "1811.486148219",
      "528.468651779"
    ],
    [
      "1741.158018028",
      "1149.387394791"
    ],
    [
      "1791.123209633",
      "791.194517996"
    ],
    [
      "1375.997143457",
      "514.321789913"
    ],
    [
      "807.812976463",
      "1686.908280279"
    ],
    [
      "965.434894401",
      "1668.142149941"
    ],
    [
      "1520.513107498",
      "526.159700950"
    ],
    [
      "79.088618759",
      "918.930090152"
    ],
    [
      "465.739314382",
      "821.242543032"
    ],
    [
      "218.689063423",
      "1497.610705845"
    ],
    [
      "1866.379362727",
      "663.756252842"
    ],
    [
      "584.988392006",
      "435.775349802"
    ],
    [
      "1081.236777896",
      "494.912693756"
    ],
    [
      "797.785686307",
      "750.531072898"
    ],
    [
      "1259.154245327",
      "1582.538922922"
    ],
    [
      "320.041461421",
      "1621.928713837"
    ],
    [
      "1337.885380960",
      "1227.294604079"
    ],
    [
      "1425.880275633",
      "1592.100869311"
    ],
    [
      "1332.848287925",
      "1863.079658517"
    ],
    [
      "90.200696868",
      "1081.399375838"
    ],
    [
      "676.555620273",
      "1594.223460258"
    ],
    [
      "310.054546578",
      "766.586774120"
    ],
    [
      "955.720607027",
      "380.046545531"
    ],
    [
      "129.010275373",
      "744.001628212"
    ],
    [
      "632.642092018",
      "802.073223298"
    ],
    [
      "1891.823707288",
      "1216.061460765"
    ],
    [
      "1161.742610876",
      "1201.648463096"
    ],
    [
      "831.535109355",
      "1288.850579685"
    ],
    [
      "497.987512692",
      "1643.918635044"
    ],
    [
      "468.889154105",
      "571.402875751"
    ],
    [
      "1217.640660207",
      "794.678545654"
    ],
    [
      "1227.989615608",
      "597.950563085"
    ],
    [
      "1082.292470030",
      "1539.598121351"
    ],
    [
      "1492.523840500",
      "1765.751769861"
    ],
    [
      "347.117758498",
      "953.956244217"
    ],
    [
      "764.262512737",
      "404.393991693"
    ],
    [
      "1024.173779600",
      "1344.052173237"
    ],
    [
      "552.549199060",
      "982.056912834"
    ],
    [
      "1457.888207349",
      "357.405080621"
    ],
    [
      "848.803931667",
      "212.163014773"
    ],
    [
      "659.968487803",
      "1398.926591269"
    ],
    [
      "968.953035557",
      "1138.078189776"
    ],
    [
      "1234.909774197",
      "1392.075788379"
    ],
    [
      "674.410710079",
      "603.416779775"
    ],
    [
      "1240.371083547",
      "387.314148255"
    ],
    [
      "656.871761119",
      "1175.904952130"
    ],
    [
      "1670.720706325",
      "413.103620818"
    ],
    [
      "1141.555037136",
      "993.625719468"
    ],
    [
      "1328.477197715",
      "177.025506964"
    ],
    [
      "1669.247020044",
      "647.197936416"
    ],
    [
      "902.318182878",
      "581.074357277"
    ],
    [
      "1703.596952435",
      "1333.596966626"
    ],
    [
      "1372.838193637",
      "951.995183440"
    ],
    [
      "864.281451962",
      "1502.353921688"
    ],
    [
      "397.040901627",
      "364.524098162"
    ],
    [
      "1467.880547710",
      "1388.385437530"
    ],
    [
      "995.587141632",
      "804.378860888"
    ],
    [
      "418.963802190",
      "1169.286562580"
    ],
    [
      "246.117505190",
      "561.313651801"
    ],
    [
      "649.527329831",
      "1807.517790976"
    ],
    [
      "1145.003068882",
      "1758.804373071"
    ],
    [
      "1084.877961329",
      "203.186776703"
    ],
    [
      "1428.646393433",
      "708.303893411"
    ],
    [
      "1616.059582292",
      "889.955473758"
    ],
    [
      "610.221787851",
      "226.289608678"
    ],
    [
      "1539.274038214",
      "1142.542053412"
    ],
    [
      "417.975042575",
      "1428.284675228"
    ],
    [
      "906.213410133",
      "1869.024602046"
    ],
    [
      "793.107991403",
      "967.480650383"
    ],
    [
      "184.569718817",
      "1286.348143318"
    ],
    [
      "1648.885668864",
      "1584.886621867"
    ],
    [
      "1868.856352260",
      "985.201112060"
    ]
  ],
  "radius": "1004.815726286"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 139
}

当前第一名的答案

{
  "centers": [
    [
      "865.878416400",
      "813.509823739"
    ],
    [
      "1236.683367576",
      "1863.727192818"
    ],
    [
      "481.266317805",
      "1856.564239621"
    ],
    [
      "915.518964524",
      "1347.150955544"
    ],
    [
      "1089.768700279",
      "8.641940176"
    ],
    [
      "1607.554165275",
      "1422.638789625"
    ],
    [
      "1544.993883455",
      "629.056512654"
    ],
    [
      "1742.362617903",
      "1069.041655507"
    ],
    [
      "334.845455536",
      "1290.333897641"
    ],
    [
      "397.603478886",
      "221.227648615"
    ],
    [
      "1882.494956446",
      "571.636566338"
    ],
    [
      "535.615799693",
      "354.276162463"
    ],
    [
      "652.834125795",
      "1047.345042059"
    ],
    [
      "1000.743982475",
      "1751.260525334"
    ],
    [
      "1220.549651331",
      "260.513537134"
    ],
    [
      "881.485892273",
      "1638.446178815"
    ],
    [
      "1471.153964370",
      "852.172102525"
    ],
    [
      "1270.275140939",
      "54.385296751"
    ],
    [
      "1939.365797199",
      "1318.358143687"
    ],
    [
      "1668.880798526",
      "277.842164713"
    ],
    [
      "1013.801630799",
      "1986.507456493"
    ],
    [
      "1974.347388306",
      "859.330511175"
    ],
    [
      "1805.932381334",
      "437.263532626"
    ],
    [
      "1810.548919347",
      "1563.982477622"
    ],
    [
      "1442.345803120",
      "1881.508139348"
    ],
    [
      "42.877022949",
      "824.180615168"
    ],
    [
      "130.329474069",
      "1442.151529754"
    ],
    [
      "104.339464316",
      "626.628573717"
    ],
    [
      "1120.537851411",
      "712.732957289"
    ],
    [
      "47.840698058",
      "1190.461883151"
    ],
    [
      "1971.653173814",
      "1121.174061482"
    ],
    [
      "1625.348568425",
      "1753.915521121"
    ],
    [
      "371.439042244",
      "659.535678238"
    ],
    [
      "244.790932455",
      "400.863023299"
    ],
    [
      "443.373905400",
      "214.113522603"
    ],
    [
      "1127.589841773",
      "43.810820958"
    ],
    [
      "748.706387220",
      "1938.129867660"
    ],
    [
      "1371.401241534",
      "1109.988649029"
    ],
    [
      "1045.534043204",
      "39.858713872"
    ],
    [
      "1344.367016144",
      "1495.105235869"
    ],
    [
      "1087.895421951",
      "373.664091329"
    ],
    [
      "569.762951700",
      "1518.823120736"
    ],
    [
      "430.392839387",
      "707.541456181"
    ],
    [
      "1689.495366957",
      "1048.885376336"
    ],
    [
      "832.996897118",
      "60.521007110"
    ],
    [
      "813.850431281",
      "1148.526585463"
    ],
    [
      "1206.819201324",
      "68.543564151"
    ],
    [
      "386.367828979",
      "1734.896908335"
    ],
    [
      "978.077565088",
      "976.634494521"
    ],
    [
      "542.715290915",
      "1293.022446780"
    ],
    [
      "524.398114379",
      "708.599291293"
    ],
    [
      "189.760802844",
      "984.400482545"
    ],
    [
      "470.142865132",
      "1792.232613500"
    ],
    [
      "739.076207672",
      "91.904715019"
    ],
    [
      "1499.027635698",
      "193.780290896"
    ],
    [
      "1208.433064645",
      "1931.525638808"
    ],
    [
      "1276.391965023",
      "1100.410563331"
    ],
    [
      "1590.552208676",
      "260.926674649"
    ],
    [
      "1878.345659273",
      "1367.462723055"
    ],
    [
      "206.425018682",
      "873.647135364"
    ],
    [
      "1072.624311247",
      "636.181731014"
    ],
    [
      "1923.227898507",
      "791.694691084"
    ],
    [
      "1089.965907394",
      "1942.774312224"
    ],
    [
      "1819.140107785",
      "1475.932891542"
    ],
    [
      "1332.958847355",
      "1711.647386882"
    ],
    [
      "944.361101597",
      "67.948496487"
    ],
    [
      "243.940289759",
      "1090.351335292"
    ],
    [
      "1811.486148219",
      "528.468651779"
    ],
    [
      "1741.158018028",
      "1149.387394791"
    ],
    [
      "1791.123209633",
      "791.194517996"
    ],
    [
      "1375.997143457",
      "514.321789913"
    ],
    [
      "807.812976463",
      "1686.908280279"
    ],
    [
      "965.434894401",
      "1668.142149941"
    ],
    [
      "1520.513107498",
      "526.159700950"
    ],
    [
      "79.088618759",
      "918.930090152"
    ],
    [
      "465.739314382",
      "821.242543032"
    ],
    [
      "218.689063423",
      "1497.610705845"
    ],
    [
      "1866.379362727",
      "663.756252842"
    ],
    [
      "584.988392006",
      "435.775349802"
    ],
    [
      "1081.236777896",
      "494.912693756"
    ],
    [
      "797.785686307",
      "750.531072898"
    ],
    [
      "1259.154245327",
      "1582.538922922"
    ],
    [
      "320.041461421",
      "1621.928713837"
    ],
    [
      "1337.885380960",
      "1227.294604079"
    ],
    [
      "1425.880275633",
      "1592.100869311"
    ],
    [
      "1332.848287925",
      "1863.079658517"
    ],
    [
      "90.200696868",
      "1081.399375838"
    ],
    [
      "676.555620273",
      "1594.223460258"
    ],
    [
      "310.054546578",
      "766.586774120"
    ],
    [
      "955.720607027",
      "380.046545531"
    ],
    [
      "129.010275373",
      "744.001628212"
    ],
    [
      "632.642092018",
      "802.073223298"
    ],
    [
      "1891.823707288",
      "1216.061460765"
    ],
    [
      "1161.742610876",
      "1201.648463096"
    ],
    [
      "831.535109355",
      "1288.850579685"
    ],
    [
      "497.987512692",
      "1643.918635044"
    ],
    [
      "468.889154105",
      "571.402875751"
    ],
    [
      "1217.640660207",
      "794.678545654"
    ],
    [
      "1227.989615608",
      "597.950563085"
    ],
    [
      "1082.292470030",
      "1539.598121351"
    ],
    [
      "1492.523840500",
      "1765.751769861"
    ],
    [
      "347.117758498",
      "953.956244217"
    ],
    [
      "764.262512737",
      "404.393991693"
    ],
    [
      "1024.173779600",
      "1344.052173237"
    ],
    [
      "552.549199060",
      "982.056912834"
    ],
    [
      "1457.888207349",
      "357.405080621"
    ],
    [
      "848.803931667",
      "212.163014773"
    ],
    [
      "659.968487803",
      "1398.926591269"
    ],
    [
      "968.953035557",
      "1138.078189776"
    ],
    [
      "1234.909774197",
      "1392.075788379"
    ],
    [
      "674.410710079",
      "603.416779775"
    ],
    [
      "1240.371083547",
      "387.314148255"
    ],
    [
      "656.871761119",
      "1175.904952130"
    ],
    [
      "1670.720706325",
      "413.103620818"
    ],
    [
      "1141.555037136",
      "993.625719468"
    ],
    [
      "1328.477197715",
      "177.025506964"
    ],
    [
      "1669.247020044",
      "647.197936416"
    ],
    [
      "902.318182878",
      "581.074357277"
    ],
    [
      "1703.596952435",
      "1333.596966626"
    ],
    [
      "1372.838193637",
      "951.995183440"
    ],
    [
      "864.281451962",
      "1502.353921688"
    ],
    [
      "397.040901627",
      "364.524098162"
    ],
    [
      "1467.880547710",
      "1388.385437530"
    ],
    [
      "995.587141632",
      "804.378860888"
    ],
    [
      "418.963802190",
      "1169.286562580"
    ],
    [
      "246.117505190",
      "561.313651801"
    ],
    [
      "649.527329831",
      "1807.517790976"
    ],
    [
      "1145.003068882",
      "1758.804373071"
    ],
    [
      "1084.877961329",
      "203.186776703"
    ],
    [
      "1428.646393433",
      "708.303893411"
    ],
    [
      "1616.059582292",
      "889.955473758"
    ],
    [
      "610.221787851",
      "226.289608678"
    ],
    [
      "1539.274038214",
      "1142.542053412"
    ],
    [
      "417.975042575",
      "1428.284675228"
    ],
    [
      "906.213410133",
      "1869.024602046"
    ],
    [
      "793.107991403",
      "967.480650383"
    ],
    [
      "184.569718817",
      "1286.348143318"
    ],
    [
      "1648.885668864",
      "1584.886621867"
    ],
    [
      "1868.856352260",
      "985.201112060"
    ]
  ],
  "radius": "1004.815726286"
}

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

DISCUSSION

讨论区

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