等圆覆盖圆盘 · n = 11
用 n 个半径为 1 的圆覆盖尽可能大的圆盘,最大化被覆盖圆盘半径。
子题n = 11
目标最大化 被覆盖圆盘半径
已知最好(未证明)2.631来源精度区间:2.631–2.632(区间内视为追平)本站展示证书 2.631690766Erich Friedman 编录;n=11 Found by Hans Melissen in 1997. 原式:r = 2.631+。
严格定义
- 容器编辑器及证书统一缩放到圆心 (1,1)、半径 1 的闭圆盘;仅是坐标约定,分数按文献的单位图形计算。边界接触允许。
- 提交提交 {radius, placements:[{x,y,turn},…]},每个数用最多九位小数的十进制字符串。x、y 是中心坐标;圆的 turn 必须为 0,多边形 turn = tan(θ/2)。坐标和 turn 限于 ±4,0 < radius ≤ 4。
- 约束n 个圆心互异且位于目标圆盘内。圆可以重叠和伸出边界,但必须覆盖目标每一点。
- 精度输入小数精确表示有理数;正多边形的顶点用代数数定义,不截断成小数。可行性验算没有浮点容差。有限小数证书不等于连续最优性证明。
- 目标被覆盖圆盘半径 R = 1/r,越大越好。