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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1438.788575126y0
0x1438.788575126
已验证构造r = 719.394287563

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "683.376436757",
      "126.369331503"
    ],
    [
      "1301.727362425",
      "962.175662794"
    ],
    [
      "335.288763264",
      "121.707591838"
    ],
    [
      "102.847164093",
      "522.449852159"
    ],
    [
      "187.103125471",
      "822.580075943"
    ],
    [
      "1032.458810638",
      "1360.396357566"
    ],
    [
      "123.125648119",
      "331.030491000"
    ],
    [
      "1001.407600977",
      "864.312440697"
    ],
    [
      "358.638297083",
      "436.162716817"
    ],
    [
      "809.114959398",
      "1423.046816861"
    ],
    [
      "982.058520072",
      "1050.611100509"
    ],
    [
      "611.350649662",
      "235.003623506"
    ],
    [
      "187.434870616",
      "254.623912613"
    ],
    [
      "1376.127919989",
      "976.675332297"
    ],
    [
      "682.869751198",
      "328.722326495"
    ],
    [
      "422.862488142",
      "81.639194072"
    ],
    [
      "758.882046134",
      "18.133356891"
    ],
    [
      "612.326928082",
      "30.102484791"
    ],
    [
      "610.705135117",
      "1408.293315803"
    ],
    [
      "904.759285368",
      "45.012769660"
    ],
    [
      "1413.663425001",
      "795.164132972"
    ],
    [
      "1412.532711835",
      "642.492648182"
    ],
    [
      "775.756831744",
      "1413.480764184"
    ],
    [
      "1065.861961041",
      "116.469408690"
    ],
    [
      "983.607144079",
      "1361.558591344"
    ],
    [
      "428.166874210",
      "1348.665478494"
    ],
    [
      "1354.685775218",
      "444.049821191"
    ],
    [
      "251.302192114",
      "1228.214984639"
    ],
    [
      "111.036237243",
      "1045.806228075"
    ],
    [
      "39.038661734",
      "830.579589805"
    ],
    [
      "927.052410469",
      "686.567924163"
    ],
    [
      "1232.598586483",
      "262.103648003"
    ],
    [
      "1191.306343057",
      "603.433420632"
    ],
    [
      "1140.671220061",
      "1260.033793674"
    ],
    [
      "425.418285341",
      "938.176039138"
    ],
    [
      "856.740026594",
      "176.069145807"
    ],
    [
      "1192.328075196",
      "1211.324766608"
    ],
    [
      "313.199396793",
      "172.307561500"
    ],
    [
      "834.876362340",
      "1173.610084544"
    ],
    [
      "83.324840640",
      "480.663777022"
    ],
    [
      "690.736085480",
      "538.600760227"
    ],
    [
      "180.334148633",
      "309.178262231"
    ],
    [
      "612.745441151",
      "569.801071080"
    ],
    [
      "62.580753567",
      "562.062074620"
    ],
    [
      "386.397319252",
      "132.953622531"
    ],
    [
      "895.175606737",
      "616.476060267"
    ],
    [
      "625.577688938",
      "479.453627075"
    ],
    [
      "1058.153245154",
      "868.910057423"
    ],
    [
      "972.422867602",
      "914.289594299"
    ],
    [
      "1321.584227382",
      "1011.722850316"
    ],
    [
      "1089.398151718",
      "774.969885963"
    ],
    [
      "1227.275301418",
      "972.866364582"
    ],
    [
      "933.455335361",
      "1008.552691167"
    ],
    [
      "1176.716516460",
      "517.162461110"
    ],
    [
      "568.489802599",
      "1071.725374845"
    ],
    [
      "256.004684786",
      "246.904913494"
    ],
    [
      "418.489966343",
      "404.993474536"
    ],
    [
      "139.883422694",
      "400.631740960"
    ],
    [
      "435.964323747",
      "628.604046382"
    ],
    [
      "517.058212489",
      "1174.777819599"
    ],
    [
      "1104.273097531",
      "1168.309409948"
    ],
    [
      "691.407150566",
      "62.596016035"
    ],
    [
      "687.118669079",
      "646.876396753"
    ],
    [
      "1374.572075042",
      "719.673895202"
    ],
    [
      "1171.145775939",
      "870.209283142"
    ],
    [
      "792.404688628",
      "571.954847444"
    ],
    [
      "259.546781099",
      "807.475594445"
    ],
    [
      "557.338784864",
      "665.983722528"
    ],
    [
      "821.603831580",
      "77.081327706"
    ],
    [
      "692.512061881",
      "1368.231930321"
    ],
    [
      "1038.109458938",
      "1282.530130172"
    ],
    [
      "821.160606446",
      "1063.460740286"
    ],
    [
      "535.744019217",
      "946.945720954"
    ],
    [
      "357.727699403",
      "521.049266797"
    ],
    [
      "315.418393181",
      "938.021996020"
    ],
    [
      "507.568239180",
      "514.134598343"
    ],
    [
      "962.137759988",
      "788.710071436"
    ],
    [
      "1232.388924007",
      "1103.528067248"
    ],
    [
      "961.149786912",
      "126.385752990"
    ],
    [
      "911.977035341",
      "488.178634221"
    ],
    [
      "299.797193321",
      "665.054021933"
    ],
    [
      "682.892030522",
      "995.653654284"
    ],
    [
      "279.975266283",
      "384.654401996"
    ],
    [
      "816.535260951",
      "720.001176272"
    ],
    [
      "396.058708673",
      "263.210446163"
    ],
    [
      "198.142131072",
      "532.557801914"
    ],
    [
      "957.903558562",
      "1146.401464766"
    ],
    [
      "422.246091297",
      "1061.135126583"
    ],
    [
      "540.185690757",
      "1322.650391725"
    ],
    [
      "1220.592853182",
      "723.308001484"
    ],
    [
      "1068.891126507",
      "420.215644340"
    ],
    [
      "1328.471167766",
      "869.889955499"
    ],
    [
      "1249.676521562",
      "385.971799126"
    ],
    [
      "830.386395561",
      "897.717309600"
    ],
    [
      "752.582183127",
      "415.940963329"
    ],
    [
      "374.858674635",
      "1238.928356888"
    ],
    [
      "1083.422496891",
      "1011.691235864"
    ],
    [
      "1321.166584581",
      "564.471845170"
    ],
    [
      "1104.760085464",
      "233.255033232"
    ],
    [
      "134.554671830",
      "918.968208401"
    ],
    [
      "727.472685574",
      "221.556002147"
    ],
    [
      "565.036372379",
      "343.307569512"
    ],
    [
      "914.778830327",
      "302.379316468"
    ],
    [
      "233.676703512",
      "1097.268020056"
    ],
    [
      "651.092212053",
      "811.377308668"
    ],
    [
      "860.674841060",
      "1316.296588797"
    ],
    [
      "538.399784961",
      "134.357747282"
    ],
    [
      "436.464257746",
      "795.603298076"
    ],
    [
      "1050.138636275",
      "619.861245174"
    ],
    [
      "686.556434072",
      "1187.829749752"
    ],
    [
      "111.084117795",
      "709.277643294"
    ]
  ],
  "radius": "719.394287563"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 111
}

当前第一名的答案

{
  "centers": [
    [
      "683.376436757",
      "126.369331503"
    ],
    [
      "1301.727362425",
      "962.175662794"
    ],
    [
      "335.288763264",
      "121.707591838"
    ],
    [
      "102.847164093",
      "522.449852159"
    ],
    [
      "187.103125471",
      "822.580075943"
    ],
    [
      "1032.458810638",
      "1360.396357566"
    ],
    [
      "123.125648119",
      "331.030491000"
    ],
    [
      "1001.407600977",
      "864.312440697"
    ],
    [
      "358.638297083",
      "436.162716817"
    ],
    [
      "809.114959398",
      "1423.046816861"
    ],
    [
      "982.058520072",
      "1050.611100509"
    ],
    [
      "611.350649662",
      "235.003623506"
    ],
    [
      "187.434870616",
      "254.623912613"
    ],
    [
      "1376.127919989",
      "976.675332297"
    ],
    [
      "682.869751198",
      "328.722326495"
    ],
    [
      "422.862488142",
      "81.639194072"
    ],
    [
      "758.882046134",
      "18.133356891"
    ],
    [
      "612.326928082",
      "30.102484791"
    ],
    [
      "610.705135117",
      "1408.293315803"
    ],
    [
      "904.759285368",
      "45.012769660"
    ],
    [
      "1413.663425001",
      "795.164132972"
    ],
    [
      "1412.532711835",
      "642.492648182"
    ],
    [
      "775.756831744",
      "1413.480764184"
    ],
    [
      "1065.861961041",
      "116.469408690"
    ],
    [
      "983.607144079",
      "1361.558591344"
    ],
    [
      "428.166874210",
      "1348.665478494"
    ],
    [
      "1354.685775218",
      "444.049821191"
    ],
    [
      "251.302192114",
      "1228.214984639"
    ],
    [
      "111.036237243",
      "1045.806228075"
    ],
    [
      "39.038661734",
      "830.579589805"
    ],
    [
      "927.052410469",
      "686.567924163"
    ],
    [
      "1232.598586483",
      "262.103648003"
    ],
    [
      "1191.306343057",
      "603.433420632"
    ],
    [
      "1140.671220061",
      "1260.033793674"
    ],
    [
      "425.418285341",
      "938.176039138"
    ],
    [
      "856.740026594",
      "176.069145807"
    ],
    [
      "1192.328075196",
      "1211.324766608"
    ],
    [
      "313.199396793",
      "172.307561500"
    ],
    [
      "834.876362340",
      "1173.610084544"
    ],
    [
      "83.324840640",
      "480.663777022"
    ],
    [
      "690.736085480",
      "538.600760227"
    ],
    [
      "180.334148633",
      "309.178262231"
    ],
    [
      "612.745441151",
      "569.801071080"
    ],
    [
      "62.580753567",
      "562.062074620"
    ],
    [
      "386.397319252",
      "132.953622531"
    ],
    [
      "895.175606737",
      "616.476060267"
    ],
    [
      "625.577688938",
      "479.453627075"
    ],
    [
      "1058.153245154",
      "868.910057423"
    ],
    [
      "972.422867602",
      "914.289594299"
    ],
    [
      "1321.584227382",
      "1011.722850316"
    ],
    [
      "1089.398151718",
      "774.969885963"
    ],
    [
      "1227.275301418",
      "972.866364582"
    ],
    [
      "933.455335361",
      "1008.552691167"
    ],
    [
      "1176.716516460",
      "517.162461110"
    ],
    [
      "568.489802599",
      "1071.725374845"
    ],
    [
      "256.004684786",
      "246.904913494"
    ],
    [
      "418.489966343",
      "404.993474536"
    ],
    [
      "139.883422694",
      "400.631740960"
    ],
    [
      "435.964323747",
      "628.604046382"
    ],
    [
      "517.058212489",
      "1174.777819599"
    ],
    [
      "1104.273097531",
      "1168.309409948"
    ],
    [
      "691.407150566",
      "62.596016035"
    ],
    [
      "687.118669079",
      "646.876396753"
    ],
    [
      "1374.572075042",
      "719.673895202"
    ],
    [
      "1171.145775939",
      "870.209283142"
    ],
    [
      "792.404688628",
      "571.954847444"
    ],
    [
      "259.546781099",
      "807.475594445"
    ],
    [
      "557.338784864",
      "665.983722528"
    ],
    [
      "821.603831580",
      "77.081327706"
    ],
    [
      "692.512061881",
      "1368.231930321"
    ],
    [
      "1038.109458938",
      "1282.530130172"
    ],
    [
      "821.160606446",
      "1063.460740286"
    ],
    [
      "535.744019217",
      "946.945720954"
    ],
    [
      "357.727699403",
      "521.049266797"
    ],
    [
      "315.418393181",
      "938.021996020"
    ],
    [
      "507.568239180",
      "514.134598343"
    ],
    [
      "962.137759988",
      "788.710071436"
    ],
    [
      "1232.388924007",
      "1103.528067248"
    ],
    [
      "961.149786912",
      "126.385752990"
    ],
    [
      "911.977035341",
      "488.178634221"
    ],
    [
      "299.797193321",
      "665.054021933"
    ],
    [
      "682.892030522",
      "995.653654284"
    ],
    [
      "279.975266283",
      "384.654401996"
    ],
    [
      "816.535260951",
      "720.001176272"
    ],
    [
      "396.058708673",
      "263.210446163"
    ],
    [
      "198.142131072",
      "532.557801914"
    ],
    [
      "957.903558562",
      "1146.401464766"
    ],
    [
      "422.246091297",
      "1061.135126583"
    ],
    [
      "540.185690757",
      "1322.650391725"
    ],
    [
      "1220.592853182",
      "723.308001484"
    ],
    [
      "1068.891126507",
      "420.215644340"
    ],
    [
      "1328.471167766",
      "869.889955499"
    ],
    [
      "1249.676521562",
      "385.971799126"
    ],
    [
      "830.386395561",
      "897.717309600"
    ],
    [
      "752.582183127",
      "415.940963329"
    ],
    [
      "374.858674635",
      "1238.928356888"
    ],
    [
      "1083.422496891",
      "1011.691235864"
    ],
    [
      "1321.166584581",
      "564.471845170"
    ],
    [
      "1104.760085464",
      "233.255033232"
    ],
    [
      "134.554671830",
      "918.968208401"
    ],
    [
      "727.472685574",
      "221.556002147"
    ],
    [
      "565.036372379",
      "343.307569512"
    ],
    [
      "914.778830327",
      "302.379316468"
    ],
    [
      "233.676703512",
      "1097.268020056"
    ],
    [
      "651.092212053",
      "811.377308668"
    ],
    [
      "860.674841060",
      "1316.296588797"
    ],
    [
      "538.399784961",
      "134.357747282"
    ],
    [
      "436.464257746",
      "795.603298076"
    ],
    [
      "1050.138636275",
      "619.861245174"
    ],
    [
      "686.556434072",
      "1187.829749752"
    ],
    [
      "111.084117795",
      "709.277643294"
    ]
  ],
  "radius": "719.394287563"
}

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

DISCUSSION

讨论区

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