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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

2030.650289198y0
0x2030.650289198
已验证构造r = 1015.325144599

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "479.152811422",
      "771.642331731"
    ],
    [
      "793.973576816",
      "1803.388856688"
    ],
    [
      "1977.825563055",
      "773.843652896"
    ],
    [
      "284.897945869",
      "963.253919668"
    ],
    [
      "353.867282902",
      "1141.317125846"
    ],
    [
      "772.804319753",
      "185.683995820"
    ],
    [
      "1088.701926390",
      "1865.389135089"
    ],
    [
      "453.763533674",
      "1838.767123858"
    ],
    [
      "1164.523138799",
      "501.434160827"
    ],
    [
      "1411.805656413",
      "811.543838808"
    ],
    [
      "254.146508969",
      "360.222071166"
    ],
    [
      "781.899129828",
      "486.042892701"
    ],
    [
      "626.859134100",
      "569.781380635"
    ],
    [
      "21.640671918",
      "892.459510650"
    ],
    [
      "1069.453827708",
      "1304.151982358"
    ],
    [
      "416.071430364",
      "1361.375164819"
    ],
    [
      "1834.918357255",
      "445.337685719"
    ],
    [
      "2008.021227529",
      "1110.316553457"
    ],
    [
      "1118.640250615",
      "286.726407682"
    ],
    [
      "1905.242507018",
      "573.520766204"
    ],
    [
      "86.551866382",
      "1370.306896825"
    ],
    [
      "1876.382737548",
      "1507.007218624"
    ],
    [
      "454.873292671",
      "196.525168209"
    ],
    [
      "1733.244739945",
      "331.765343819"
    ],
    [
      "768.191048115",
      "56.332949603"
    ],
    [
      "1970.772099787",
      "1271.953937840"
    ],
    [
      "864.048849781",
      "1991.934072579"
    ],
    [
      "1095.901179020",
      "1999.284714448"
    ],
    [
      "1565.972461530",
      "1833.612854944"
    ],
    [
      "297.757660530",
      "340.305095990"
    ],
    [
      "1529.706871351",
      "176.342677733"
    ],
    [
      "1318.307664232",
      "1950.804487191"
    ],
    [
      "1291.497868037",
      "72.709211189"
    ],
    [
      "1014.413837902",
      "34.018280768"
    ],
    [
      "43.325377656",
      "1142.674271800"
    ],
    [
      "1225.946329372",
      "1270.582191017"
    ],
    [
      "141.982677453",
      "574.424902330"
    ],
    [
      "52.265031820",
      "848.953099355"
    ],
    [
      "1210.066218852",
      "1086.984593661"
    ],
    [
      "1226.898635131",
      "1778.068079957"
    ],
    [
      "295.572635996",
      "1245.917457707"
    ],
    [
      "771.207893626",
      "1335.823097204"
    ],
    [
      "727.950870609",
      "798.202123299"
    ],
    [
      "1573.875159241",
      "749.941064317"
    ],
    [
      "563.344604162",
      "327.586788252"
    ],
    [
      "450.514888614",
      "605.621570792"
    ],
    [
      "1402.390098990",
      "353.192306790"
    ],
    [
      "1168.330016298",
      "778.106039546"
    ],
    [
      "1503.077002272",
      "1647.821933569"
    ],
    [
      "587.529932054",
      "1605.533591439"
    ],
    [
      "1780.233449648",
      "1002.416402573"
    ],
    [
      "632.250363456",
      "1899.178840592"
    ],
    [
      "273.593980499",
      "1628.435708959"
    ],
    [
      "1697.587024622",
      "930.558431294"
    ],
    [
      "1731.998923655",
      "1654.545824617"
    ],
    [
      "1241.685567565",
      "1682.666572970"
    ],
    [
      "537.010471900",
      "1845.748022806"
    ],
    [
      "148.381235015",
      "1419.693332390"
    ],
    [
      "341.047115359",
      "1539.026119999"
    ],
    [
      "279.198970756",
      "1146.253506919"
    ],
    [
      "1954.866783962",
      "849.310873523"
    ],
    [
      "635.167706554",
      "1172.226898588"
    ],
    [
      "1801.678777995",
      "1552.500564519"
    ],
    [
      "1831.578252196",
      "526.704233175"
    ],
    [
      "1679.821728987",
      "1204.345693589"
    ],
    [
      "214.508836896",
      "1525.140279216"
    ],
    [
      "1754.268547454",
      "420.948809896"
    ],
    [
      "1166.364458722",
      "1583.648528038"
    ],
    [
      "1616.027705039",
      "1322.185935055"
    ],
    [
      "1284.267600634",
      "1175.865951553"
    ],
    [
      "1945.481506350",
      "1178.294839371"
    ],
    [
      "1482.249758078",
      "1372.350909845"
    ],
    [
      "316.367879439",
      "874.525168918"
    ],
    [
      "1816.318804107",
      "882.738304352"
    ],
    [
      "699.897301124",
      "129.482803590"
    ],
    [
      "714.181325134",
      "545.904520962"
    ],
    [
      "771.408619940",
      "1216.823266493"
    ],
    [
      "1663.914216674",
      "1058.191271919"
    ],
    [
      "1803.352210413",
      "1130.344206044"
    ],
    [
      "1689.826696482",
      "794.840470418"
    ],
    [
      "1071.536806774",
      "514.233895194"
    ],
    [
      "559.944637278",
      "200.632307333"
    ],
    [
      "653.848768363",
      "900.108347069"
    ],
    [
      "1334.829225928",
      "1321.329476105"
    ],
    [
      "645.314027239",
      "1319.097834683"
    ],
    [
      "1611.684231142",
      "1728.067078454"
    ],
    [
      "555.173536999",
      "1041.109105452"
    ],
    [
      "803.823718008",
      "691.411154448"
    ],
    [
      "387.934704262",
      "725.240635039"
    ],
    [
      "731.656861790",
      "1054.623396813"
    ],
    [
      "481.103202745",
      "879.252423215"
    ],
    [
      "375.974146760",
      "1029.041880748"
    ],
    [
      "1322.155304831",
      "1017.270629457"
    ],
    [
      "778.147058610",
      "1905.594511201"
    ],
    [
      "1301.418251103",
      "830.417814106"
    ],
    [
      "421.985170070",
      "313.109795782"
    ],
    [
      "1442.106150149",
      "699.762102150"
    ],
    [
      "1932.631462544",
      "1009.448073066"
    ],
    [
      "302.772044338",
      "1385.732222734"
    ],
    [
      "1191.537048694",
      "1913.528621093"
    ],
    [
      "889.699264501",
      "523.047290998"
    ],
    [
      "1423.042013047",
      "501.677376144"
    ],
    [
      "1090.024399972",
      "1736.662237981"
    ],
    [
      "1110.831945497",
      "1189.948465927"
    ],
    [
      "920.273349596",
      "1104.108955620"
    ],
    [
      "662.849962853",
      "1742.145790605"
    ],
    [
      "994.722068945",
      "1549.532695415"
    ],
    [
      "876.450662538",
      "1729.078997039"
    ],
    [
      "541.317135573",
      "480.003292075"
    ],
    [
      "981.637503456",
      "1920.023304360"
    ],
    [
      "142.113476994",
      "1250.496041409"
    ],
    [
      "1155.844087147",
      "1401.206382002"
    ],
    [
      "1861.209337315",
      "701.206378706"
    ],
    [
      "994.147070282",
      "335.122689429"
    ],
    [
      "1379.724983380",
      "192.040185734"
    ],
    [
      "503.690738845",
      "1462.261159747"
    ],
    [
      "858.347334724",
      "890.920849281"
    ],
    [
      "892.872589820",
      "126.394445975"
    ],
    [
      "1239.263302044",
      "625.527481028"
    ],
    [
      "596.111617365",
      "702.351138403"
    ],
    [
      "934.092321788",
      "1329.686073275"
    ],
    [
      "1013.103360338",
      "708.790202389"
    ],
    [
      "458.541457729",
      "1227.555454995"
    ],
    [
      "437.879897253",
      "1694.307839306"
    ],
    [
      "1616.864037066",
      "1516.184132338"
    ],
    [
      "1229.777478202",
      "380.711184291"
    ],
    [
      "172.184227228",
      "735.620021338"
    ],
    [
      "1516.525624573",
      "912.098490522"
    ],
    [
      "1579.671182609",
      "331.888379909"
    ],
    [
      "1140.556989945",
      "138.901961106"
    ],
    [
      "1486.961185512",
      "1169.405590974"
    ],
    [
      "1360.640037848",
      "1536.140640742"
    ],
    [
      "1642.430219363",
      "586.756494790"
    ],
    [
      "299.448313247",
      "507.749767861"
    ],
    [
      "1103.671993538",
      "949.302827179"
    ],
    [
      "744.148634825",
      "336.007150374"
    ],
    [
      "1401.994953311",
      "1803.957833919"
    ],
    [
      "752.194224850",
      "1514.816059076"
    ],
    [
      "143.710050882",
      "1000.501139556"
    ],
    [
      "1823.849557982",
      "1350.709076418"
    ]
  ],
  "radius": "1015.325144599"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 140
}

当前第一名的答案

{
  "centers": [
    [
      "479.152811422",
      "771.642331731"
    ],
    [
      "793.973576816",
      "1803.388856688"
    ],
    [
      "1977.825563055",
      "773.843652896"
    ],
    [
      "284.897945869",
      "963.253919668"
    ],
    [
      "353.867282902",
      "1141.317125846"
    ],
    [
      "772.804319753",
      "185.683995820"
    ],
    [
      "1088.701926390",
      "1865.389135089"
    ],
    [
      "453.763533674",
      "1838.767123858"
    ],
    [
      "1164.523138799",
      "501.434160827"
    ],
    [
      "1411.805656413",
      "811.543838808"
    ],
    [
      "254.146508969",
      "360.222071166"
    ],
    [
      "781.899129828",
      "486.042892701"
    ],
    [
      "626.859134100",
      "569.781380635"
    ],
    [
      "21.640671918",
      "892.459510650"
    ],
    [
      "1069.453827708",
      "1304.151982358"
    ],
    [
      "416.071430364",
      "1361.375164819"
    ],
    [
      "1834.918357255",
      "445.337685719"
    ],
    [
      "2008.021227529",
      "1110.316553457"
    ],
    [
      "1118.640250615",
      "286.726407682"
    ],
    [
      "1905.242507018",
      "573.520766204"
    ],
    [
      "86.551866382",
      "1370.306896825"
    ],
    [
      "1876.382737548",
      "1507.007218624"
    ],
    [
      "454.873292671",
      "196.525168209"
    ],
    [
      "1733.244739945",
      "331.765343819"
    ],
    [
      "768.191048115",
      "56.332949603"
    ],
    [
      "1970.772099787",
      "1271.953937840"
    ],
    [
      "864.048849781",
      "1991.934072579"
    ],
    [
      "1095.901179020",
      "1999.284714448"
    ],
    [
      "1565.972461530",
      "1833.612854944"
    ],
    [
      "297.757660530",
      "340.305095990"
    ],
    [
      "1529.706871351",
      "176.342677733"
    ],
    [
      "1318.307664232",
      "1950.804487191"
    ],
    [
      "1291.497868037",
      "72.709211189"
    ],
    [
      "1014.413837902",
      "34.018280768"
    ],
    [
      "43.325377656",
      "1142.674271800"
    ],
    [
      "1225.946329372",
      "1270.582191017"
    ],
    [
      "141.982677453",
      "574.424902330"
    ],
    [
      "52.265031820",
      "848.953099355"
    ],
    [
      "1210.066218852",
      "1086.984593661"
    ],
    [
      "1226.898635131",
      "1778.068079957"
    ],
    [
      "295.572635996",
      "1245.917457707"
    ],
    [
      "771.207893626",
      "1335.823097204"
    ],
    [
      "727.950870609",
      "798.202123299"
    ],
    [
      "1573.875159241",
      "749.941064317"
    ],
    [
      "563.344604162",
      "327.586788252"
    ],
    [
      "450.514888614",
      "605.621570792"
    ],
    [
      "1402.390098990",
      "353.192306790"
    ],
    [
      "1168.330016298",
      "778.106039546"
    ],
    [
      "1503.077002272",
      "1647.821933569"
    ],
    [
      "587.529932054",
      "1605.533591439"
    ],
    [
      "1780.233449648",
      "1002.416402573"
    ],
    [
      "632.250363456",
      "1899.178840592"
    ],
    [
      "273.593980499",
      "1628.435708959"
    ],
    [
      "1697.587024622",
      "930.558431294"
    ],
    [
      "1731.998923655",
      "1654.545824617"
    ],
    [
      "1241.685567565",
      "1682.666572970"
    ],
    [
      "537.010471900",
      "1845.748022806"
    ],
    [
      "148.381235015",
      "1419.693332390"
    ],
    [
      "341.047115359",
      "1539.026119999"
    ],
    [
      "279.198970756",
      "1146.253506919"
    ],
    [
      "1954.866783962",
      "849.310873523"
    ],
    [
      "635.167706554",
      "1172.226898588"
    ],
    [
      "1801.678777995",
      "1552.500564519"
    ],
    [
      "1831.578252196",
      "526.704233175"
    ],
    [
      "1679.821728987",
      "1204.345693589"
    ],
    [
      "214.508836896",
      "1525.140279216"
    ],
    [
      "1754.268547454",
      "420.948809896"
    ],
    [
      "1166.364458722",
      "1583.648528038"
    ],
    [
      "1616.027705039",
      "1322.185935055"
    ],
    [
      "1284.267600634",
      "1175.865951553"
    ],
    [
      "1945.481506350",
      "1178.294839371"
    ],
    [
      "1482.249758078",
      "1372.350909845"
    ],
    [
      "316.367879439",
      "874.525168918"
    ],
    [
      "1816.318804107",
      "882.738304352"
    ],
    [
      "699.897301124",
      "129.482803590"
    ],
    [
      "714.181325134",
      "545.904520962"
    ],
    [
      "771.408619940",
      "1216.823266493"
    ],
    [
      "1663.914216674",
      "1058.191271919"
    ],
    [
      "1803.352210413",
      "1130.344206044"
    ],
    [
      "1689.826696482",
      "794.840470418"
    ],
    [
      "1071.536806774",
      "514.233895194"
    ],
    [
      "559.944637278",
      "200.632307333"
    ],
    [
      "653.848768363",
      "900.108347069"
    ],
    [
      "1334.829225928",
      "1321.329476105"
    ],
    [
      "645.314027239",
      "1319.097834683"
    ],
    [
      "1611.684231142",
      "1728.067078454"
    ],
    [
      "555.173536999",
      "1041.109105452"
    ],
    [
      "803.823718008",
      "691.411154448"
    ],
    [
      "387.934704262",
      "725.240635039"
    ],
    [
      "731.656861790",
      "1054.623396813"
    ],
    [
      "481.103202745",
      "879.252423215"
    ],
    [
      "375.974146760",
      "1029.041880748"
    ],
    [
      "1322.155304831",
      "1017.270629457"
    ],
    [
      "778.147058610",
      "1905.594511201"
    ],
    [
      "1301.418251103",
      "830.417814106"
    ],
    [
      "421.985170070",
      "313.109795782"
    ],
    [
      "1442.106150149",
      "699.762102150"
    ],
    [
      "1932.631462544",
      "1009.448073066"
    ],
    [
      "302.772044338",
      "1385.732222734"
    ],
    [
      "1191.537048694",
      "1913.528621093"
    ],
    [
      "889.699264501",
      "523.047290998"
    ],
    [
      "1423.042013047",
      "501.677376144"
    ],
    [
      "1090.024399972",
      "1736.662237981"
    ],
    [
      "1110.831945497",
      "1189.948465927"
    ],
    [
      "920.273349596",
      "1104.108955620"
    ],
    [
      "662.849962853",
      "1742.145790605"
    ],
    [
      "994.722068945",
      "1549.532695415"
    ],
    [
      "876.450662538",
      "1729.078997039"
    ],
    [
      "541.317135573",
      "480.003292075"
    ],
    [
      "981.637503456",
      "1920.023304360"
    ],
    [
      "142.113476994",
      "1250.496041409"
    ],
    [
      "1155.844087147",
      "1401.206382002"
    ],
    [
      "1861.209337315",
      "701.206378706"
    ],
    [
      "994.147070282",
      "335.122689429"
    ],
    [
      "1379.724983380",
      "192.040185734"
    ],
    [
      "503.690738845",
      "1462.261159747"
    ],
    [
      "858.347334724",
      "890.920849281"
    ],
    [
      "892.872589820",
      "126.394445975"
    ],
    [
      "1239.263302044",
      "625.527481028"
    ],
    [
      "596.111617365",
      "702.351138403"
    ],
    [
      "934.092321788",
      "1329.686073275"
    ],
    [
      "1013.103360338",
      "708.790202389"
    ],
    [
      "458.541457729",
      "1227.555454995"
    ],
    [
      "437.879897253",
      "1694.307839306"
    ],
    [
      "1616.864037066",
      "1516.184132338"
    ],
    [
      "1229.777478202",
      "380.711184291"
    ],
    [
      "172.184227228",
      "735.620021338"
    ],
    [
      "1516.525624573",
      "912.098490522"
    ],
    [
      "1579.671182609",
      "331.888379909"
    ],
    [
      "1140.556989945",
      "138.901961106"
    ],
    [
      "1486.961185512",
      "1169.405590974"
    ],
    [
      "1360.640037848",
      "1536.140640742"
    ],
    [
      "1642.430219363",
      "586.756494790"
    ],
    [
      "299.448313247",
      "507.749767861"
    ],
    [
      "1103.671993538",
      "949.302827179"
    ],
    [
      "744.148634825",
      "336.007150374"
    ],
    [
      "1401.994953311",
      "1803.957833919"
    ],
    [
      "752.194224850",
      "1514.816059076"
    ],
    [
      "143.710050882",
      "1000.501139556"
    ],
    [
      "1823.849557982",
      "1350.709076418"
    ]
  ],
  "radius": "1015.325144599"
}

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

DISCUSSION

讨论区

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