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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1268.87722805y0
0x1268.87722805
已验证构造r = 634.438614025

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "784.108463338",
      "111.991813486"
    ],
    [
      "76.064822083",
      "870.820369860"
    ],
    [
      "214.106625579",
      "840.631699467"
    ],
    [
      "1001.856085567",
      "936.920085868"
    ],
    [
      "490.597032112",
      "815.936653015"
    ],
    [
      "905.241574620",
      "1050.293802433"
    ],
    [
      "217.422101193",
      "736.354255215"
    ],
    [
      "351.059479098",
      "859.639495678"
    ],
    [
      "795.008657932",
      "118.288842787"
    ],
    [
      "1015.756266637",
      "928.861002862"
    ],
    [
      "713.010540570",
      "923.061476685"
    ],
    [
      "727.410683757",
      "1124.186318156"
    ],
    [
      "61.801095701",
      "875.693754321"
    ],
    [
      "1253.244306681",
      "679.414779604"
    ],
    [
      "657.994510132",
      "15.571548886"
    ],
    [
      "852.682922438",
      "56.259651239"
    ],
    [
      "1006.214397546",
      "141.537448080"
    ],
    [
      "489.787339340",
      "35.219781766"
    ],
    [
      "331.961150118",
      "1170.372302480"
    ],
    [
      "111.523384831",
      "311.962624358"
    ],
    [
      "214.727658676",
      "1081.697967918"
    ],
    [
      "1214.831933737",
      "829.658853476"
    ],
    [
      "771.916900658",
      "1230.221208118"
    ],
    [
      "43.115147922",
      "483.282336045"
    ],
    [
      "1115.603101709",
      "1007.142570857"
    ],
    [
      "962.317226747",
      "1146.844370439"
    ],
    [
      "29.488980125",
      "689.245259247"
    ],
    [
      "91.460293697",
      "904.251581317"
    ],
    [
      "396.322779442",
      "761.273701845"
    ],
    [
      "796.699534474",
      "1011.570395712"
    ],
    [
      "522.680236668",
      "834.633748465"
    ],
    [
      "561.428148320",
      "623.122351870"
    ],
    [
      "587.001504295",
      "1233.946247051"
    ],
    [
      "516.912154960",
      "1223.193011207"
    ],
    [
      "335.598209962",
      "900.454891337"
    ],
    [
      "890.471286042",
      "298.763559967"
    ],
    [
      "1225.916927178",
      "550.462329145"
    ],
    [
      "1093.846939906",
      "254.066414187"
    ],
    [
      "1229.871363126",
      "631.795818258"
    ],
    [
      "338.840266670",
      "493.101343701"
    ],
    [
      "249.463677141",
      "182.815223819"
    ],
    [
      "706.488072166",
      "46.571906526"
    ],
    [
      "324.471621550",
      "585.441481930"
    ],
    [
      "791.572056639",
      "65.292904963"
    ],
    [
      "1031.732855365",
      "199.013344317"
    ],
    [
      "396.063238286",
      "428.902188570"
    ],
    [
      "870.937176869",
      "990.601107318"
    ],
    [
      "391.658766508",
      "335.005433413"
    ],
    [
      "752.704493167",
      "427.841140329"
    ],
    [
      "624.830194477",
      "675.205199089"
    ],
    [
      "515.616403004",
      "1050.898947447"
    ],
    [
      "440.721967377",
      "85.158539828"
    ],
    [
      "663.705046298",
      "377.230927694"
    ],
    [
      "807.637035092",
      "801.561679622"
    ],
    [
      "893.620108805",
      "734.569806717"
    ],
    [
      "795.555637784",
      "523.955411144"
    ],
    [
      "566.447302053",
      "1146.189134258"
    ],
    [
      "320.261431992",
      "256.653237874"
    ],
    [
      "367.310939999",
      "678.125683482"
    ],
    [
      "341.172367557",
      "140.500733352"
    ],
    [
      "1126.438787810",
      "347.547810467"
    ],
    [
      "297.216600451",
      "1096.942826187"
    ],
    [
      "789.111249811",
      "917.085682668"
    ],
    [
      "1178.004125649",
      "461.416225464"
    ],
    [
      "528.996799241",
      "935.673234184"
    ],
    [
      "236.573028814",
      "520.983453762"
    ],
    [
      "426.353481770",
      "852.677153682"
    ],
    [
      "726.883077208",
      "156.722309098"
    ],
    [
      "195.123977538",
      "278.456203802"
    ],
    [
      "239.507607449",
      "659.940584664"
    ],
    [
      "684.505706391",
      "1195.648341343"
    ],
    [
      "997.778353011",
      "310.978034155"
    ],
    [
      "283.714012250",
      "389.676541224"
    ],
    [
      "1185.638751537",
      "735.778874934"
    ],
    [
      "1039.324462142",
      "451.984845398"
    ],
    [
      "621.271181475",
      "254.610650997"
    ],
    [
      "293.732049780",
      "796.574071972"
    ],
    [
      "397.749298428",
      "994.827780469"
    ],
    [
      "1027.939967948",
      "735.864363811"
    ],
    [
      "429.489936976",
      "1149.606757933"
    ],
    [
      "772.245075570",
      "298.649364676"
    ],
    [
      "501.011544900",
      "723.730755477"
    ],
    [
      "885.101915421",
      "417.642363206"
    ],
    [
      "129.011080222",
      "416.434770290"
    ],
    [
      "1111.529553445",
      "594.765883321"
    ],
    [
      "462.712905885",
      "221.395093752"
    ],
    [
      "931.952098705",
      "871.298218361"
    ],
    [
      "522.970898101",
      "385.885379292"
    ],
    [
      "763.820553568",
      "665.439984263"
    ],
    [
      "582.533100018",
      "92.479923666"
    ],
    [
      "1001.557448448",
      "1035.124636522"
    ],
    [
      "93.914900090",
      "588.900007778"
    ],
    [
      "456.878655781",
      "554.387057342"
    ],
    [
      "1112.277143273",
      "886.914821801"
    ],
    [
      "931.607779759",
      "589.459721417"
    ],
    [
      "643.558345011",
      "524.862599189"
    ],
    [
      "839.642588710",
      "1131.159453751"
    ],
    [
      "892.889610249",
      "164.785383728"
    ],
    [
      "118.684669101",
      "778.287067906"
    ],
    [
      "667.398519173",
      "1025.506212093"
    ],
    [
      "654.238255745",
      "823.783616925"
    ],
    [
      "210.786394740",
      "956.943923742"
    ]
  ],
  "radius": "634.438614025"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 102
}

当前第一名的答案

{
  "centers": [
    [
      "784.108463338",
      "111.991813486"
    ],
    [
      "76.064822083",
      "870.820369860"
    ],
    [
      "214.106625579",
      "840.631699467"
    ],
    [
      "1001.856085567",
      "936.920085868"
    ],
    [
      "490.597032112",
      "815.936653015"
    ],
    [
      "905.241574620",
      "1050.293802433"
    ],
    [
      "217.422101193",
      "736.354255215"
    ],
    [
      "351.059479098",
      "859.639495678"
    ],
    [
      "795.008657932",
      "118.288842787"
    ],
    [
      "1015.756266637",
      "928.861002862"
    ],
    [
      "713.010540570",
      "923.061476685"
    ],
    [
      "727.410683757",
      "1124.186318156"
    ],
    [
      "61.801095701",
      "875.693754321"
    ],
    [
      "1253.244306681",
      "679.414779604"
    ],
    [
      "657.994510132",
      "15.571548886"
    ],
    [
      "852.682922438",
      "56.259651239"
    ],
    [
      "1006.214397546",
      "141.537448080"
    ],
    [
      "489.787339340",
      "35.219781766"
    ],
    [
      "331.961150118",
      "1170.372302480"
    ],
    [
      "111.523384831",
      "311.962624358"
    ],
    [
      "214.727658676",
      "1081.697967918"
    ],
    [
      "1214.831933737",
      "829.658853476"
    ],
    [
      "771.916900658",
      "1230.221208118"
    ],
    [
      "43.115147922",
      "483.282336045"
    ],
    [
      "1115.603101709",
      "1007.142570857"
    ],
    [
      "962.317226747",
      "1146.844370439"
    ],
    [
      "29.488980125",
      "689.245259247"
    ],
    [
      "91.460293697",
      "904.251581317"
    ],
    [
      "396.322779442",
      "761.273701845"
    ],
    [
      "796.699534474",
      "1011.570395712"
    ],
    [
      "522.680236668",
      "834.633748465"
    ],
    [
      "561.428148320",
      "623.122351870"
    ],
    [
      "587.001504295",
      "1233.946247051"
    ],
    [
      "516.912154960",
      "1223.193011207"
    ],
    [
      "335.598209962",
      "900.454891337"
    ],
    [
      "890.471286042",
      "298.763559967"
    ],
    [
      "1225.916927178",
      "550.462329145"
    ],
    [
      "1093.846939906",
      "254.066414187"
    ],
    [
      "1229.871363126",
      "631.795818258"
    ],
    [
      "338.840266670",
      "493.101343701"
    ],
    [
      "249.463677141",
      "182.815223819"
    ],
    [
      "706.488072166",
      "46.571906526"
    ],
    [
      "324.471621550",
      "585.441481930"
    ],
    [
      "791.572056639",
      "65.292904963"
    ],
    [
      "1031.732855365",
      "199.013344317"
    ],
    [
      "396.063238286",
      "428.902188570"
    ],
    [
      "870.937176869",
      "990.601107318"
    ],
    [
      "391.658766508",
      "335.005433413"
    ],
    [
      "752.704493167",
      "427.841140329"
    ],
    [
      "624.830194477",
      "675.205199089"
    ],
    [
      "515.616403004",
      "1050.898947447"
    ],
    [
      "440.721967377",
      "85.158539828"
    ],
    [
      "663.705046298",
      "377.230927694"
    ],
    [
      "807.637035092",
      "801.561679622"
    ],
    [
      "893.620108805",
      "734.569806717"
    ],
    [
      "795.555637784",
      "523.955411144"
    ],
    [
      "566.447302053",
      "1146.189134258"
    ],
    [
      "320.261431992",
      "256.653237874"
    ],
    [
      "367.310939999",
      "678.125683482"
    ],
    [
      "341.172367557",
      "140.500733352"
    ],
    [
      "1126.438787810",
      "347.547810467"
    ],
    [
      "297.216600451",
      "1096.942826187"
    ],
    [
      "789.111249811",
      "917.085682668"
    ],
    [
      "1178.004125649",
      "461.416225464"
    ],
    [
      "528.996799241",
      "935.673234184"
    ],
    [
      "236.573028814",
      "520.983453762"
    ],
    [
      "426.353481770",
      "852.677153682"
    ],
    [
      "726.883077208",
      "156.722309098"
    ],
    [
      "195.123977538",
      "278.456203802"
    ],
    [
      "239.507607449",
      "659.940584664"
    ],
    [
      "684.505706391",
      "1195.648341343"
    ],
    [
      "997.778353011",
      "310.978034155"
    ],
    [
      "283.714012250",
      "389.676541224"
    ],
    [
      "1185.638751537",
      "735.778874934"
    ],
    [
      "1039.324462142",
      "451.984845398"
    ],
    [
      "621.271181475",
      "254.610650997"
    ],
    [
      "293.732049780",
      "796.574071972"
    ],
    [
      "397.749298428",
      "994.827780469"
    ],
    [
      "1027.939967948",
      "735.864363811"
    ],
    [
      "429.489936976",
      "1149.606757933"
    ],
    [
      "772.245075570",
      "298.649364676"
    ],
    [
      "501.011544900",
      "723.730755477"
    ],
    [
      "885.101915421",
      "417.642363206"
    ],
    [
      "129.011080222",
      "416.434770290"
    ],
    [
      "1111.529553445",
      "594.765883321"
    ],
    [
      "462.712905885",
      "221.395093752"
    ],
    [
      "931.952098705",
      "871.298218361"
    ],
    [
      "522.970898101",
      "385.885379292"
    ],
    [
      "763.820553568",
      "665.439984263"
    ],
    [
      "582.533100018",
      "92.479923666"
    ],
    [
      "1001.557448448",
      "1035.124636522"
    ],
    [
      "93.914900090",
      "588.900007778"
    ],
    [
      "456.878655781",
      "554.387057342"
    ],
    [
      "1112.277143273",
      "886.914821801"
    ],
    [
      "931.607779759",
      "589.459721417"
    ],
    [
      "643.558345011",
      "524.862599189"
    ],
    [
      "839.642588710",
      "1131.159453751"
    ],
    [
      "892.889610249",
      "164.785383728"
    ],
    [
      "118.684669101",
      "778.287067906"
    ],
    [
      "667.398519173",
      "1025.506212093"
    ],
    [
      "654.238255745",
      "823.783616925"
    ],
    [
      "210.786394740",
      "956.943923742"
    ]
  ],
  "radius": "634.438614025"
}

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

DISCUSSION

讨论区

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