等边三角形装入正方形 · n = 16
把 n 个边长为 1 的等边三角形装入正方形,允许接触但内部不能重叠,最小化容器正方形边长。
子题n = 16
目标最小化 容器正方形边长
已知最好(未证明)2.9000来源精度区间:2.9–2.9001(区间内视为追平)本站展示证书 2.900039516Erich Friedman 编录;Found by Ian Watson in April 2026. 原式:s = 2.9000+。
严格定义
- 容器编辑器及证书统一缩放到单位正方形 [0,1]²;仅是坐标约定,分数按文献的单位图形计算。边界接触允许。
- 提交提交 {radius, placements:[{x,y,turn},…]},每个数用最多九位小数的十进制字符串。x、y 是中心坐标;圆的 turn 必须为 0,多边形 turn = tan(θ/2)。坐标和 turn 限于 ±4,0 < radius ≤ 4。
- 约束恰好 n 个同样大的图形,完整位于容器内,任意两图形内部不重叠。多边形可独立旋转,不限直角。
- 精度输入小数精确表示有理数;正多边形的顶点用代数数定义,不截断成小数。可行性验算没有浮点容差。有限小数证书不等于连续最优性证明。
- 目标容器正方形边长 = 1/(2 sin(π/3) r),越小越好。页面、排行榜和外部纪录使用相同单位,自动计算,无需手工换算。