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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1400.408529354y0
0x1400.408529354
已验证构造r = 700.204264677

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1141.105208457",
      "414.823725054"
    ],
    [
      "1120.973971156",
      "732.926968949"
    ],
    [
      "5.479949168",
      "758.799562127"
    ],
    [
      "93.635471849",
      "567.633263495"
    ],
    [
      "504.165718129",
      "783.739745643"
    ],
    [
      "37.541598747",
      "493.417163150"
    ],
    [
      "1151.833362959",
      "1028.973713509"
    ],
    [
      "974.947092511",
      "540.506179989"
    ],
    [
      "833.943236590",
      "591.825359674"
    ],
    [
      "1361.374754528",
      "502.278891568"
    ],
    [
      "730.631403397",
      "569.056463929"
    ],
    [
      "37.231798417",
      "515.760334544"
    ],
    [
      "586.637924092",
      "816.825716508"
    ],
    [
      "270.549362243",
      "1235.169660191"
    ],
    [
      "1349.096463356",
      "480.374899736"
    ],
    [
      "547.764213322",
      "1367.138044364"
    ],
    [
      "720.926668978",
      "17.316526867"
    ],
    [
      "1380.460086005",
      "648.989463648"
    ],
    [
      "1377.238950856",
      "775.296791750"
    ],
    [
      "996.954820260",
      "1312.235152692"
    ],
    [
      "60.353777896",
      "927.764402112"
    ],
    [
      "26.940903224",
      "781.920057204"
    ],
    [
      "547.580067900",
      "40.422883724"
    ],
    [
      "1158.986449188",
      "1196.964885844"
    ],
    [
      "164.198467610",
      "1110.758744354"
    ],
    [
      "938.961975693",
      "69.703940286"
    ],
    [
      "1185.072065072",
      "233.184781016"
    ],
    [
      "125.148310081",
      "352.110566756"
    ],
    [
      "43.973739622",
      "559.280647138"
    ],
    [
      "398.494801245",
      "440.715611322"
    ],
    [
      "1040.465530021",
      "633.520509505"
    ],
    [
      "340.498425469",
      "661.836807047"
    ],
    [
      "990.784615380",
      "99.605031213"
    ],
    [
      "916.684765790",
      "218.097411525"
    ],
    [
      "1267.146216949",
      "1048.160492524"
    ],
    [
      "673.967548614",
      "214.891976533"
    ],
    [
      "717.280409958",
      "1363.188655101"
    ],
    [
      "1299.893509123",
      "980.988530716"
    ],
    [
      "391.526442221",
      "1284.934186564"
    ],
    [
      "324.373087058",
      "1242.973930838"
    ],
    [
      "950.037980654",
      "1085.621544475"
    ],
    [
      "371.242028103",
      "130.101904617"
    ],
    [
      "301.076651306",
      "178.079189862"
    ],
    [
      "373.016803473",
      "371.162737740"
    ],
    [
      "923.442465565",
      "139.019647848"
    ],
    [
      "866.949171548",
      "67.627710822"
    ],
    [
      "775.162078366",
      "51.315108073"
    ],
    [
      "717.745865396",
      "1278.189929515"
    ],
    [
      "1248.811621444",
      "705.125992034"
    ],
    [
      "1166.358149123",
      "759.959665668"
    ],
    [
      "1349.269763687",
      "711.054839751"
    ],
    [
      "1294.289465203",
      "440.913803495"
    ],
    [
      "611.101105553",
      "1000.670321847"
    ],
    [
      "942.835044035",
      "485.604331165"
    ],
    [
      "491.804544950",
      "1050.478340004"
    ],
    [
      "193.972718786",
      "820.406963345"
    ],
    [
      "919.751829584",
      "1304.778985320"
    ],
    [
      "808.329544047",
      "1333.240789314"
    ],
    [
      "996.082800009",
      "874.903555968"
    ],
    [
      "1201.707335505",
      "979.292845581"
    ],
    [
      "78.570907854",
      "846.907306892"
    ],
    [
      "622.776020857",
      "1333.694241316"
    ],
    [
      "1046.568455098",
      "539.718834116"
    ],
    [
      "273.025853463",
      "730.126279373"
    ],
    [
      "725.143771241",
      "1030.973298647"
    ],
    [
      "304.829589143",
      "461.759091124"
    ],
    [
      "1122.512530582",
      "868.523508064"
    ],
    [
      "497.689418924",
      "1298.291670538"
    ],
    [
      "1181.148082779",
      "1106.644002340"
    ],
    [
      "1170.457897303",
      "491.341090140"
    ],
    [
      "264.234626568",
      "592.606517597"
    ],
    [
      "483.564200509",
      "110.615253129"
    ],
    [
      "410.016846237",
      "740.527271361"
    ],
    [
      "565.247955718",
      "231.626674641"
    ],
    [
      "1146.944403400",
      "634.421891105"
    ],
    [
      "1055.100120497",
      "400.980913252"
    ],
    [
      "320.998578910",
      "862.959577065"
    ],
    [
      "262.461154634",
      "1142.379701117"
    ],
    [
      "1038.231753122",
      "743.497826444"
    ],
    [
      "411.842689040",
      "245.147922942"
    ],
    [
      "359.625194503",
      "1016.214222256"
    ],
    [
      "420.484744853",
      "1167.450499573"
    ],
    [
      "1202.663510056",
      "341.769038916"
    ],
    [
      "881.428336565",
      "789.420783741"
    ],
    [
      "804.786390231",
      "501.839145116"
    ],
    [
      "923.804384481",
      "624.622356698"
    ],
    [
      "1301.457247764",
      "579.728870737"
    ],
    [
      "646.224745841",
      "91.317161550"
    ],
    [
      "1055.958887288",
      "1010.250717639"
    ],
    [
      "796.750920572",
      "186.603399852"
    ],
    [
      "752.708841068",
      "669.957939051"
    ],
    [
      "508.302903363",
      "387.553776238"
    ],
    [
      "573.457772558",
      "711.491713754"
    ],
    [
      "628.370571827",
      "532.145233936"
    ],
    [
      "893.522741939",
      "345.000999545"
    ],
    [
      "874.648695757",
      "971.229867664"
    ],
    [
      "1285.407799791",
      "846.465016123"
    ],
    [
      "140.840647833",
      "477.129567457"
    ],
    [
      "244.333826613",
      "308.249278023"
    ],
    [
      "1034.992160864",
      "1198.155038446"
    ],
    [
      "697.582518871",
      "349.841349192"
    ],
    [
      "435.567776838",
      "567.402605452"
    ],
    [
      "498.576055301",
      "892.623512242"
    ],
    [
      "1054.658166737",
      "220.806771435"
    ],
    [
      "177.080287216",
      "980.518317584"
    ],
    [
      "705.191330003",
      "861.141322595"
    ],
    [
      "827.763813384",
      "1169.006363349"
    ],
    [
      "108.326321890",
      "680.547409863"
    ],
    [
      "611.424910369",
      "1162.669998238"
    ]
  ],
  "radius": "700.204264677"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 109
}

当前第一名的答案

{
  "centers": [
    [
      "1141.105208457",
      "414.823725054"
    ],
    [
      "1120.973971156",
      "732.926968949"
    ],
    [
      "5.479949168",
      "758.799562127"
    ],
    [
      "93.635471849",
      "567.633263495"
    ],
    [
      "504.165718129",
      "783.739745643"
    ],
    [
      "37.541598747",
      "493.417163150"
    ],
    [
      "1151.833362959",
      "1028.973713509"
    ],
    [
      "974.947092511",
      "540.506179989"
    ],
    [
      "833.943236590",
      "591.825359674"
    ],
    [
      "1361.374754528",
      "502.278891568"
    ],
    [
      "730.631403397",
      "569.056463929"
    ],
    [
      "37.231798417",
      "515.760334544"
    ],
    [
      "586.637924092",
      "816.825716508"
    ],
    [
      "270.549362243",
      "1235.169660191"
    ],
    [
      "1349.096463356",
      "480.374899736"
    ],
    [
      "547.764213322",
      "1367.138044364"
    ],
    [
      "720.926668978",
      "17.316526867"
    ],
    [
      "1380.460086005",
      "648.989463648"
    ],
    [
      "1377.238950856",
      "775.296791750"
    ],
    [
      "996.954820260",
      "1312.235152692"
    ],
    [
      "60.353777896",
      "927.764402112"
    ],
    [
      "26.940903224",
      "781.920057204"
    ],
    [
      "547.580067900",
      "40.422883724"
    ],
    [
      "1158.986449188",
      "1196.964885844"
    ],
    [
      "164.198467610",
      "1110.758744354"
    ],
    [
      "938.961975693",
      "69.703940286"
    ],
    [
      "1185.072065072",
      "233.184781016"
    ],
    [
      "125.148310081",
      "352.110566756"
    ],
    [
      "43.973739622",
      "559.280647138"
    ],
    [
      "398.494801245",
      "440.715611322"
    ],
    [
      "1040.465530021",
      "633.520509505"
    ],
    [
      "340.498425469",
      "661.836807047"
    ],
    [
      "990.784615380",
      "99.605031213"
    ],
    [
      "916.684765790",
      "218.097411525"
    ],
    [
      "1267.146216949",
      "1048.160492524"
    ],
    [
      "673.967548614",
      "214.891976533"
    ],
    [
      "717.280409958",
      "1363.188655101"
    ],
    [
      "1299.893509123",
      "980.988530716"
    ],
    [
      "391.526442221",
      "1284.934186564"
    ],
    [
      "324.373087058",
      "1242.973930838"
    ],
    [
      "950.037980654",
      "1085.621544475"
    ],
    [
      "371.242028103",
      "130.101904617"
    ],
    [
      "301.076651306",
      "178.079189862"
    ],
    [
      "373.016803473",
      "371.162737740"
    ],
    [
      "923.442465565",
      "139.019647848"
    ],
    [
      "866.949171548",
      "67.627710822"
    ],
    [
      "775.162078366",
      "51.315108073"
    ],
    [
      "717.745865396",
      "1278.189929515"
    ],
    [
      "1248.811621444",
      "705.125992034"
    ],
    [
      "1166.358149123",
      "759.959665668"
    ],
    [
      "1349.269763687",
      "711.054839751"
    ],
    [
      "1294.289465203",
      "440.913803495"
    ],
    [
      "611.101105553",
      "1000.670321847"
    ],
    [
      "942.835044035",
      "485.604331165"
    ],
    [
      "491.804544950",
      "1050.478340004"
    ],
    [
      "193.972718786",
      "820.406963345"
    ],
    [
      "919.751829584",
      "1304.778985320"
    ],
    [
      "808.329544047",
      "1333.240789314"
    ],
    [
      "996.082800009",
      "874.903555968"
    ],
    [
      "1201.707335505",
      "979.292845581"
    ],
    [
      "78.570907854",
      "846.907306892"
    ],
    [
      "622.776020857",
      "1333.694241316"
    ],
    [
      "1046.568455098",
      "539.718834116"
    ],
    [
      "273.025853463",
      "730.126279373"
    ],
    [
      "725.143771241",
      "1030.973298647"
    ],
    [
      "304.829589143",
      "461.759091124"
    ],
    [
      "1122.512530582",
      "868.523508064"
    ],
    [
      "497.689418924",
      "1298.291670538"
    ],
    [
      "1181.148082779",
      "1106.644002340"
    ],
    [
      "1170.457897303",
      "491.341090140"
    ],
    [
      "264.234626568",
      "592.606517597"
    ],
    [
      "483.564200509",
      "110.615253129"
    ],
    [
      "410.016846237",
      "740.527271361"
    ],
    [
      "565.247955718",
      "231.626674641"
    ],
    [
      "1146.944403400",
      "634.421891105"
    ],
    [
      "1055.100120497",
      "400.980913252"
    ],
    [
      "320.998578910",
      "862.959577065"
    ],
    [
      "262.461154634",
      "1142.379701117"
    ],
    [
      "1038.231753122",
      "743.497826444"
    ],
    [
      "411.842689040",
      "245.147922942"
    ],
    [
      "359.625194503",
      "1016.214222256"
    ],
    [
      "420.484744853",
      "1167.450499573"
    ],
    [
      "1202.663510056",
      "341.769038916"
    ],
    [
      "881.428336565",
      "789.420783741"
    ],
    [
      "804.786390231",
      "501.839145116"
    ],
    [
      "923.804384481",
      "624.622356698"
    ],
    [
      "1301.457247764",
      "579.728870737"
    ],
    [
      "646.224745841",
      "91.317161550"
    ],
    [
      "1055.958887288",
      "1010.250717639"
    ],
    [
      "796.750920572",
      "186.603399852"
    ],
    [
      "752.708841068",
      "669.957939051"
    ],
    [
      "508.302903363",
      "387.553776238"
    ],
    [
      "573.457772558",
      "711.491713754"
    ],
    [
      "628.370571827",
      "532.145233936"
    ],
    [
      "893.522741939",
      "345.000999545"
    ],
    [
      "874.648695757",
      "971.229867664"
    ],
    [
      "1285.407799791",
      "846.465016123"
    ],
    [
      "140.840647833",
      "477.129567457"
    ],
    [
      "244.333826613",
      "308.249278023"
    ],
    [
      "1034.992160864",
      "1198.155038446"
    ],
    [
      "697.582518871",
      "349.841349192"
    ],
    [
      "435.567776838",
      "567.402605452"
    ],
    [
      "498.576055301",
      "892.623512242"
    ],
    [
      "1054.658166737",
      "220.806771435"
    ],
    [
      "177.080287216",
      "980.518317584"
    ],
    [
      "705.191330003",
      "861.141322595"
    ],
    [
      "827.763813384",
      "1169.006363349"
    ],
    [
      "108.326321890",
      "680.547409863"
    ],
    [
      "611.424910369",
      "1162.669998238"
    ]
  ],
  "radius": "700.204264677"
}

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

DISCUSSION

讨论区

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