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

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

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

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

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

纪录对比

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

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

严格定义

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

当前展示:本站纪录

1287.992853344y0
0x1287.992853344
已验证构造r = 643.996426672

帮助理解

大圆定局与小圆填隙

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

已知证明与开放前沿

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

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

纪录详情

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

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

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

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

答案怎么写

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

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

当前第一名的答案

{
  "centers": [
    [
      "1131.554306994",
      "730.437589348"
    ],
    [
      "85.856392676",
      "959.370633461"
    ],
    [
      "332.574807937",
      "1062.633973273"
    ],
    [
      "254.867223961",
      "136.118528458"
    ],
    [
      "715.398210022",
      "128.280188794"
    ],
    [
      "130.019046807",
      "1012.793981683"
    ],
    [
      "422.989621247",
      "799.957340722"
    ],
    [
      "1275.012745917",
      "570.919945967"
    ],
    [
      "9.932402556",
      "677.681322549"
    ],
    [
      "667.695556717",
      "10.465103690"
    ],
    [
      "272.291848939",
      "725.744274278"
    ],
    [
      "1059.622406279",
      "474.240625544"
    ],
    [
      "1115.398756140",
      "241.804254617"
    ],
    [
      "1058.740958680",
      "1116.279998555"
    ],
    [
      "370.931723394",
      "1210.427064860"
    ],
    [
      "52.923378153",
      "432.037203141"
    ],
    [
      "422.733118835",
      "1102.399308976"
    ],
    [
      "1189.107944915",
      "951.755059201"
    ],
    [
      "987.690969915",
      "662.807528513"
    ],
    [
      "1197.126490957",
      "355.243119357"
    ],
    [
      "696.104213887",
      "23.182987581"
    ],
    [
      "509.185966876",
      "36.785018083"
    ],
    [
      "253.481600287",
      "1126.836702863"
    ],
    [
      "122.571037686",
      "979.351764084"
    ],
    [
      "888.320105861",
      "1212.734077984"
    ],
    [
      "1253.040812293",
      "539.502146108"
    ],
    [
      "293.784259332",
      "136.023958550"
    ],
    [
      "568.867982587",
      "624.667493399"
    ],
    [
      "1248.509911285",
      "757.063007677"
    ],
    [
      "810.082141067",
      "152.283303727"
    ],
    [
      "34.533972852",
      "709.688277940"
    ],
    [
      "250.063777096",
      "175.641119393"
    ],
    [
      "618.293646973",
      "1254.451994687"
    ],
    [
      "348.991671265",
      "110.078984705"
    ],
    [
      "955.488254314",
      "706.303645614"
    ],
    [
      "932.565666092",
      "639.105766561"
    ],
    [
      "741.220255416",
      "492.899709632"
    ],
    [
      "689.028125896",
      "1248.317380473"
    ],
    [
      "134.799259132",
      "317.287196849"
    ],
    [
      "55.009052819",
      "777.808073677"
    ],
    [
      "41.035064028",
      "637.974178769"
    ],
    [
      "963.106709142",
      "133.537490669"
    ],
    [
      "567.175132054",
      "553.687677539"
    ],
    [
      "99.056299161",
      "393.095959754"
    ],
    [
      "1078.054870440",
      "1056.779646484"
    ],
    [
      "1134.794710072",
      "985.634790038"
    ],
    [
      "602.340112405",
      "235.447622033"
    ],
    [
      "608.132016111",
      "845.341738706"
    ],
    [
      "436.278805983",
      "1201.557309273"
    ],
    [
      "693.219714238",
      "893.963581859"
    ],
    [
      "651.966583071",
      "319.953322488"
    ],
    [
      "509.261505696",
      "201.722661344"
    ],
    [
      "874.325544701",
      "99.730615027"
    ],
    [
      "536.814227791",
      "1223.954384127"
    ],
    [
      "433.705435624",
      "736.108732471"
    ],
    [
      "897.728801785",
      "951.506091353"
    ],
    [
      "206.136014021",
      "253.044941244"
    ],
    [
      "396.643365306",
      "398.105318908"
    ],
    [
      "241.956532758",
      "561.123805363"
    ],
    [
      "1050.372376797",
      "710.994413210"
    ],
    [
      "1125.937723047",
      "315.945484957"
    ],
    [
      "761.707420481",
      "74.028039308"
    ],
    [
      "503.332158397",
      "1111.847510865"
    ],
    [
      "1025.563451627",
      "961.152595515"
    ],
    [
      "490.347381453",
      "477.783153707"
    ],
    [
      "448.536367861",
      "100.547280765"
    ],
    [
      "343.323764352",
      "1132.164512561"
    ],
    [
      "700.601355369",
      "775.303025855"
    ],
    [
      "363.398011027",
      "520.676712066"
    ],
    [
      "808.919125942",
      "862.125772059"
    ],
    [
      "1032.441547729",
      "222.765738206"
    ],
    [
      "469.400715101",
      "614.228270446"
    ],
    [
      "331.501505657",
      "659.047998634"
    ],
    [
      "486.428546026",
      "853.842642751"
    ],
    [
      "565.597498189",
      "727.615557648"
    ],
    [
      "725.888770426",
      "216.684206983"
    ],
    [
      "788.680078842",
      "1190.919747472"
    ],
    [
      "640.898877347",
      "1142.773193355"
    ],
    [
      "882.823288122",
      "233.460428123"
    ],
    [
      "632.563914625",
      "449.508470813"
    ],
    [
      "520.122635649",
      "334.278445287"
    ],
    [
      "131.373695219",
      "872.952392433"
    ],
    [
      "837.618274942",
      "711.841511916"
    ],
    [
      "1029.431640793",
      "568.275102684"
    ],
    [
      "962.212163500",
      "826.115118544"
    ],
    [
      "410.967320144",
      "994.929861834"
    ],
    [
      "100.012965355",
      "524.352910174"
    ],
    [
      "584.540748303",
      "982.753448230"
    ],
    [
      "858.797805447",
      "538.193414810"
    ],
    [
      "1166.986875931",
      "461.258825871"
    ],
    [
      "785.370697479",
      "372.755053207"
    ],
    [
      "233.939621041",
      "1013.509252317"
    ],
    [
      "608.029858635",
      "95.563288425"
    ],
    [
      "690.367360224",
      "613.626604112"
    ],
    [
      "763.549348975",
      "1020.765563226"
    ],
    [
      "1191.990592479",
      "645.570556803"
    ],
    [
      "165.862448760",
      "697.306368053"
    ],
    [
      "240.759681466",
      "404.128367380"
    ],
    [
      "940.819264231",
      "1100.396024010"
    ],
    [
      "363.170441103",
      "243.691707636"
    ],
    [
      "1147.750855611",
      "839.206861374"
    ],
    [
      "311.311907113",
      "834.485711821"
    ],
    [
      "978.748956223",
      "388.274365227"
    ]
  ],
  "radius": "643.996426672"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 103
}

当前第一名的答案

{
  "centers": [
    [
      "1131.554306994",
      "730.437589348"
    ],
    [
      "85.856392676",
      "959.370633461"
    ],
    [
      "332.574807937",
      "1062.633973273"
    ],
    [
      "254.867223961",
      "136.118528458"
    ],
    [
      "715.398210022",
      "128.280188794"
    ],
    [
      "130.019046807",
      "1012.793981683"
    ],
    [
      "422.989621247",
      "799.957340722"
    ],
    [
      "1275.012745917",
      "570.919945967"
    ],
    [
      "9.932402556",
      "677.681322549"
    ],
    [
      "667.695556717",
      "10.465103690"
    ],
    [
      "272.291848939",
      "725.744274278"
    ],
    [
      "1059.622406279",
      "474.240625544"
    ],
    [
      "1115.398756140",
      "241.804254617"
    ],
    [
      "1058.740958680",
      "1116.279998555"
    ],
    [
      "370.931723394",
      "1210.427064860"
    ],
    [
      "52.923378153",
      "432.037203141"
    ],
    [
      "422.733118835",
      "1102.399308976"
    ],
    [
      "1189.107944915",
      "951.755059201"
    ],
    [
      "987.690969915",
      "662.807528513"
    ],
    [
      "1197.126490957",
      "355.243119357"
    ],
    [
      "696.104213887",
      "23.182987581"
    ],
    [
      "509.185966876",
      "36.785018083"
    ],
    [
      "253.481600287",
      "1126.836702863"
    ],
    [
      "122.571037686",
      "979.351764084"
    ],
    [
      "888.320105861",
      "1212.734077984"
    ],
    [
      "1253.040812293",
      "539.502146108"
    ],
    [
      "293.784259332",
      "136.023958550"
    ],
    [
      "568.867982587",
      "624.667493399"
    ],
    [
      "1248.509911285",
      "757.063007677"
    ],
    [
      "810.082141067",
      "152.283303727"
    ],
    [
      "34.533972852",
      "709.688277940"
    ],
    [
      "250.063777096",
      "175.641119393"
    ],
    [
      "618.293646973",
      "1254.451994687"
    ],
    [
      "348.991671265",
      "110.078984705"
    ],
    [
      "955.488254314",
      "706.303645614"
    ],
    [
      "932.565666092",
      "639.105766561"
    ],
    [
      "741.220255416",
      "492.899709632"
    ],
    [
      "689.028125896",
      "1248.317380473"
    ],
    [
      "134.799259132",
      "317.287196849"
    ],
    [
      "55.009052819",
      "777.808073677"
    ],
    [
      "41.035064028",
      "637.974178769"
    ],
    [
      "963.106709142",
      "133.537490669"
    ],
    [
      "567.175132054",
      "553.687677539"
    ],
    [
      "99.056299161",
      "393.095959754"
    ],
    [
      "1078.054870440",
      "1056.779646484"
    ],
    [
      "1134.794710072",
      "985.634790038"
    ],
    [
      "602.340112405",
      "235.447622033"
    ],
    [
      "608.132016111",
      "845.341738706"
    ],
    [
      "436.278805983",
      "1201.557309273"
    ],
    [
      "693.219714238",
      "893.963581859"
    ],
    [
      "651.966583071",
      "319.953322488"
    ],
    [
      "509.261505696",
      "201.722661344"
    ],
    [
      "874.325544701",
      "99.730615027"
    ],
    [
      "536.814227791",
      "1223.954384127"
    ],
    [
      "433.705435624",
      "736.108732471"
    ],
    [
      "897.728801785",
      "951.506091353"
    ],
    [
      "206.136014021",
      "253.044941244"
    ],
    [
      "396.643365306",
      "398.105318908"
    ],
    [
      "241.956532758",
      "561.123805363"
    ],
    [
      "1050.372376797",
      "710.994413210"
    ],
    [
      "1125.937723047",
      "315.945484957"
    ],
    [
      "761.707420481",
      "74.028039308"
    ],
    [
      "503.332158397",
      "1111.847510865"
    ],
    [
      "1025.563451627",
      "961.152595515"
    ],
    [
      "490.347381453",
      "477.783153707"
    ],
    [
      "448.536367861",
      "100.547280765"
    ],
    [
      "343.323764352",
      "1132.164512561"
    ],
    [
      "700.601355369",
      "775.303025855"
    ],
    [
      "363.398011027",
      "520.676712066"
    ],
    [
      "808.919125942",
      "862.125772059"
    ],
    [
      "1032.441547729",
      "222.765738206"
    ],
    [
      "469.400715101",
      "614.228270446"
    ],
    [
      "331.501505657",
      "659.047998634"
    ],
    [
      "486.428546026",
      "853.842642751"
    ],
    [
      "565.597498189",
      "727.615557648"
    ],
    [
      "725.888770426",
      "216.684206983"
    ],
    [
      "788.680078842",
      "1190.919747472"
    ],
    [
      "640.898877347",
      "1142.773193355"
    ],
    [
      "882.823288122",
      "233.460428123"
    ],
    [
      "632.563914625",
      "449.508470813"
    ],
    [
      "520.122635649",
      "334.278445287"
    ],
    [
      "131.373695219",
      "872.952392433"
    ],
    [
      "837.618274942",
      "711.841511916"
    ],
    [
      "1029.431640793",
      "568.275102684"
    ],
    [
      "962.212163500",
      "826.115118544"
    ],
    [
      "410.967320144",
      "994.929861834"
    ],
    [
      "100.012965355",
      "524.352910174"
    ],
    [
      "584.540748303",
      "982.753448230"
    ],
    [
      "858.797805447",
      "538.193414810"
    ],
    [
      "1166.986875931",
      "461.258825871"
    ],
    [
      "785.370697479",
      "372.755053207"
    ],
    [
      "233.939621041",
      "1013.509252317"
    ],
    [
      "608.029858635",
      "95.563288425"
    ],
    [
      "690.367360224",
      "613.626604112"
    ],
    [
      "763.549348975",
      "1020.765563226"
    ],
    [
      "1191.990592479",
      "645.570556803"
    ],
    [
      "165.862448760",
      "697.306368053"
    ],
    [
      "240.759681466",
      "404.128367380"
    ],
    [
      "940.819264231",
      "1100.396024010"
    ],
    [
      "363.170441103",
      "243.691707636"
    ],
    [
      "1147.750855611",
      "839.206861374"
    ],
    [
      "311.311907113",
      "834.485711821"
    ],
    [
      "978.748956223",
      "388.274365227"
    ]
  ],
  "radius": "643.996426672"
}

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

DISCUSSION

讨论区

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