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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1231.632133798y0
0x1231.632133798
已验证构造r = 615.816066899

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "936.270571028",
      "903.606102880"
    ],
    [
      "1110.612571641",
      "724.482197630"
    ],
    [
      "1147.114174187",
      "318.608196997"
    ],
    [
      "411.312334168",
      "43.793250773"
    ],
    [
      "418.891409112",
      "130.270018683"
    ],
    [
      "843.493596420",
      "1181.415208655"
    ],
    [
      "295.438265396",
      "939.210693852"
    ],
    [
      "649.693894960",
      "164.802460972"
    ],
    [
      "1105.980248653",
      "560.011691699"
    ],
    [
      "86.127069682",
      "909.274784021"
    ],
    [
      "720.162945378",
      "20.368603785"
    ],
    [
      "548.768801108",
      "1033.184822885"
    ],
    [
      "194.016214805",
      "1046.248956313"
    ],
    [
      "1114.256230557",
      "952.399648176"
    ],
    [
      "858.022648864",
      "1165.343607570"
    ],
    [
      "535.492883574",
      "1210.023977588"
    ],
    [
      "160.542471664",
      "227.167982509"
    ],
    [
      "84.274698065",
      "342.275889660"
    ],
    [
      "299.452046121",
      "109.768478627"
    ],
    [
      "1200.718131851",
      "729.313800349"
    ],
    [
      "552.863544686",
      "24.357575454"
    ],
    [
      "1206.599644505",
      "555.880386896"
    ],
    [
      "989.981083896",
      "1075.632801293"
    ],
    [
      "370.222947226",
      "672.382365348"
    ],
    [
      "34.676573821",
      "509.325198958"
    ],
    [
      "348.272964335",
      "1141.460777555"
    ],
    [
      "37.495178248",
      "726.486491202"
    ],
    [
      "745.950964460",
      "981.684877804"
    ],
    [
      "364.801851890",
      "430.743336036"
    ],
    [
      "524.644426457",
      "497.006260837"
    ],
    [
      "460.742936623",
      "836.546366824"
    ],
    [
      "794.833157951",
      "298.584188080"
    ],
    [
      "339.663040393",
      "623.741698986"
    ],
    [
      "411.574635317",
      "993.227688421"
    ],
    [
      "1046.852099330",
      "226.563607476"
    ],
    [
      "755.827798312",
      "465.649915130"
    ],
    [
      "595.942576284",
      "654.867976454"
    ],
    [
      "181.025663063",
      "996.141622085"
    ],
    [
      "134.933851231",
      "934.081226377"
    ],
    [
      "683.468736155",
      "1187.476587937"
    ],
    [
      "1136.867608066",
      "373.084111452"
    ],
    [
      "785.489324222",
      "1044.257571329"
    ],
    [
      "306.201074009",
      "692.135839742"
    ],
    [
      "1116.732050628",
      "891.600025108"
    ],
    [
      "1045.454285168",
      "838.197753739"
    ],
    [
      "217.773762412",
      "702.216046484"
    ],
    [
      "594.713378800",
      "1184.240551344"
    ],
    [
      "1086.899353509",
      "299.348697849"
    ],
    [
      "367.448854699",
      "106.751943860"
    ],
    [
      "762.298540297",
      "69.290032252"
    ],
    [
      "213.763243738",
      "514.957601866"
    ],
    [
      "252.270986123",
      "610.488506692"
    ],
    [
      "421.199459333",
      "193.554692551"
    ],
    [
      "441.056555946",
      "463.612099621"
    ],
    [
      "814.907336517",
      "809.429795264"
    ],
    [
      "968.057118460",
      "180.706574527"
    ],
    [
      "981.798633724",
      "292.867934889"
    ],
    [
      "151.455602069",
      "306.739825186"
    ],
    [
      "872.875094260",
      "245.334349598"
    ],
    [
      "234.044389492",
      "907.221496807"
    ],
    [
      "776.473585514",
      "1146.862232313"
    ],
    [
      "276.506797334",
      "792.849542549"
    ],
    [
      "1141.309758851",
      "787.461001401"
    ],
    [
      "863.110910691",
      "122.514706754"
    ],
    [
      "1035.066966940",
      "402.624413862"
    ],
    [
      "934.863543526",
      "827.803759026"
    ],
    [
      "403.266109623",
      "757.171217323"
    ],
    [
      "334.167289026",
      "522.778783335"
    ],
    [
      "546.650724905",
      "400.483088341"
    ],
    [
      "1023.892319086",
      "724.993851321"
    ],
    [
      "486.034217837",
      "87.703158780"
    ],
    [
      "1143.877631398",
      "485.866466338"
    ],
    [
      "894.180858164",
      "1081.822853831"
    ],
    [
      "367.813867072",
      "893.641501633"
    ],
    [
      "881.568561764",
      "697.263937825"
    ],
    [
      "810.686472773",
      "563.503027378"
    ],
    [
      "635.555302412",
      "77.361689512"
    ],
    [
      "843.890466195",
      "939.427677614"
    ],
    [
      "109.591730447",
      "437.186811559"
    ],
    [
      "262.423737355",
      "393.330481688"
    ],
    [
      "1149.994129904",
      "641.931625800"
    ],
    [
      "738.867984324",
      "199.193877641"
    ],
    [
      "412.333301402",
      "329.329523823"
    ],
    [
      "553.976353364",
      "769.222299773"
    ],
    [
      "695.349286187",
      "360.423908708"
    ],
    [
      "522.050630434",
      "936.197592004"
    ],
    [
      "298.893659433",
      "1039.144096040"
    ],
    [
      "1007.739730058",
      "966.062593268"
    ],
    [
      "687.800774502",
      "880.055898567"
    ],
    [
      "124.937645908",
      "804.285990265"
    ],
    [
      "715.642626995",
      "702.222180588"
    ],
    [
      "652.162040052",
      "1057.667839749"
    ],
    [
      "274.752505787",
      "219.568307173"
    ],
    [
      "643.663088619",
      "531.799335713"
    ],
    [
      "471.712001440",
      "610.245646132"
    ],
    [
      "564.528965054",
      "235.109144037"
    ],
    [
      "872.651344143",
      "401.508945458"
    ],
    [
      "468.804154947",
      "1112.324855221"
    ],
    [
      "988.240433180",
      "559.797171477"
    ],
    [
      "100.000012504",
      "615.929640645"
    ]
  ],
  "radius": "615.816066899"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 100
}

当前第一名的答案

{
  "centers": [
    [
      "936.270571028",
      "903.606102880"
    ],
    [
      "1110.612571641",
      "724.482197630"
    ],
    [
      "1147.114174187",
      "318.608196997"
    ],
    [
      "411.312334168",
      "43.793250773"
    ],
    [
      "418.891409112",
      "130.270018683"
    ],
    [
      "843.493596420",
      "1181.415208655"
    ],
    [
      "295.438265396",
      "939.210693852"
    ],
    [
      "649.693894960",
      "164.802460972"
    ],
    [
      "1105.980248653",
      "560.011691699"
    ],
    [
      "86.127069682",
      "909.274784021"
    ],
    [
      "720.162945378",
      "20.368603785"
    ],
    [
      "548.768801108",
      "1033.184822885"
    ],
    [
      "194.016214805",
      "1046.248956313"
    ],
    [
      "1114.256230557",
      "952.399648176"
    ],
    [
      "858.022648864",
      "1165.343607570"
    ],
    [
      "535.492883574",
      "1210.023977588"
    ],
    [
      "160.542471664",
      "227.167982509"
    ],
    [
      "84.274698065",
      "342.275889660"
    ],
    [
      "299.452046121",
      "109.768478627"
    ],
    [
      "1200.718131851",
      "729.313800349"
    ],
    [
      "552.863544686",
      "24.357575454"
    ],
    [
      "1206.599644505",
      "555.880386896"
    ],
    [
      "989.981083896",
      "1075.632801293"
    ],
    [
      "370.222947226",
      "672.382365348"
    ],
    [
      "34.676573821",
      "509.325198958"
    ],
    [
      "348.272964335",
      "1141.460777555"
    ],
    [
      "37.495178248",
      "726.486491202"
    ],
    [
      "745.950964460",
      "981.684877804"
    ],
    [
      "364.801851890",
      "430.743336036"
    ],
    [
      "524.644426457",
      "497.006260837"
    ],
    [
      "460.742936623",
      "836.546366824"
    ],
    [
      "794.833157951",
      "298.584188080"
    ],
    [
      "339.663040393",
      "623.741698986"
    ],
    [
      "411.574635317",
      "993.227688421"
    ],
    [
      "1046.852099330",
      "226.563607476"
    ],
    [
      "755.827798312",
      "465.649915130"
    ],
    [
      "595.942576284",
      "654.867976454"
    ],
    [
      "181.025663063",
      "996.141622085"
    ],
    [
      "134.933851231",
      "934.081226377"
    ],
    [
      "683.468736155",
      "1187.476587937"
    ],
    [
      "1136.867608066",
      "373.084111452"
    ],
    [
      "785.489324222",
      "1044.257571329"
    ],
    [
      "306.201074009",
      "692.135839742"
    ],
    [
      "1116.732050628",
      "891.600025108"
    ],
    [
      "1045.454285168",
      "838.197753739"
    ],
    [
      "217.773762412",
      "702.216046484"
    ],
    [
      "594.713378800",
      "1184.240551344"
    ],
    [
      "1086.899353509",
      "299.348697849"
    ],
    [
      "367.448854699",
      "106.751943860"
    ],
    [
      "762.298540297",
      "69.290032252"
    ],
    [
      "213.763243738",
      "514.957601866"
    ],
    [
      "252.270986123",
      "610.488506692"
    ],
    [
      "421.199459333",
      "193.554692551"
    ],
    [
      "441.056555946",
      "463.612099621"
    ],
    [
      "814.907336517",
      "809.429795264"
    ],
    [
      "968.057118460",
      "180.706574527"
    ],
    [
      "981.798633724",
      "292.867934889"
    ],
    [
      "151.455602069",
      "306.739825186"
    ],
    [
      "872.875094260",
      "245.334349598"
    ],
    [
      "234.044389492",
      "907.221496807"
    ],
    [
      "776.473585514",
      "1146.862232313"
    ],
    [
      "276.506797334",
      "792.849542549"
    ],
    [
      "1141.309758851",
      "787.461001401"
    ],
    [
      "863.110910691",
      "122.514706754"
    ],
    [
      "1035.066966940",
      "402.624413862"
    ],
    [
      "934.863543526",
      "827.803759026"
    ],
    [
      "403.266109623",
      "757.171217323"
    ],
    [
      "334.167289026",
      "522.778783335"
    ],
    [
      "546.650724905",
      "400.483088341"
    ],
    [
      "1023.892319086",
      "724.993851321"
    ],
    [
      "486.034217837",
      "87.703158780"
    ],
    [
      "1143.877631398",
      "485.866466338"
    ],
    [
      "894.180858164",
      "1081.822853831"
    ],
    [
      "367.813867072",
      "893.641501633"
    ],
    [
      "881.568561764",
      "697.263937825"
    ],
    [
      "810.686472773",
      "563.503027378"
    ],
    [
      "635.555302412",
      "77.361689512"
    ],
    [
      "843.890466195",
      "939.427677614"
    ],
    [
      "109.591730447",
      "437.186811559"
    ],
    [
      "262.423737355",
      "393.330481688"
    ],
    [
      "1149.994129904",
      "641.931625800"
    ],
    [
      "738.867984324",
      "199.193877641"
    ],
    [
      "412.333301402",
      "329.329523823"
    ],
    [
      "553.976353364",
      "769.222299773"
    ],
    [
      "695.349286187",
      "360.423908708"
    ],
    [
      "522.050630434",
      "936.197592004"
    ],
    [
      "298.893659433",
      "1039.144096040"
    ],
    [
      "1007.739730058",
      "966.062593268"
    ],
    [
      "687.800774502",
      "880.055898567"
    ],
    [
      "124.937645908",
      "804.285990265"
    ],
    [
      "715.642626995",
      "702.222180588"
    ],
    [
      "652.162040052",
      "1057.667839749"
    ],
    [
      "274.752505787",
      "219.568307173"
    ],
    [
      "643.663088619",
      "531.799335713"
    ],
    [
      "471.712001440",
      "610.245646132"
    ],
    [
      "564.528965054",
      "235.109144037"
    ],
    [
      "872.651344143",
      "401.508945458"
    ],
    [
      "468.804154947",
      "1112.324855221"
    ],
    [
      "988.240433180",
      "559.797171477"
    ],
    [
      "100.000012504",
      "615.929640645"
    ]
  ],
  "radius": "615.816066899"
}

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

DISCUSSION

讨论区

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