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

多米诺骨牌装入正方形 · n = 34

将 n 个 1 × 2 的多米诺骨牌装入正方形容器,允许边界接触但内部不得重叠,最小化容器正方形的边长。

子题n = 34
目标最小化 容器正方形边长

纪录对比

容器正方形边长 · 越小越好
纪录数值 / 区间作者 / 持有人来源
外部已知最好[8.83512, 8.83513)Joshua WolkErich Friedman ↗
本站纪录8.822913729今天纪录详情 ↓

数值超出外部纪录区间 · 待审核。

严格定义

  • 容器编辑器与证书将容器统一归一化为单位正方形 [0,1]²;公开得分按文献的 1 × 2 单位骨牌规范折算。允许接触边界。
  • 提交提交 {radius, placements:[{x,y,turn,quarter},…]},其中 x、y、turn 为最多九位小数的十进制字符串。radius 为单位正方形容器内多米诺骨牌的短边长,对应容器正方形边长 = 1/radius。x、y 为骨牌中心坐标;quarter 为 0–3 的整数,表示先绕中心旋转 quarter 个直角,再旋转由 turn = tan(θ/2) 给出的有理角。坐标与 turn 的范围限于 [−4, 4],且 0 < radius ≤ 4。
  • 约束恰好 n 个全等骨牌完全位于容器内,任意两骨牌内部互不重叠。每个骨牌允许任意角度独立旋转。
  • 精度输入的十进制小数按精确有理数解析,可行性检验不设浮点容差。
  • 目标容器正方形边长 = 1/r(其中 r 为骨牌短边在单位正方形容器内的长度),越小越好。页面、排行榜与文献纪录统一使用该单位并自动换算。
放大编辑并提交 ↗

当前展示:本站纪录

已验证构造已验证构造

帮助理解

文献来源与坐标证书

文献目标值按原始发表精度换算,九位小数坐标证书单独存储并与文献目标对照展示。

查看来源
多米诺骨牌装入正方形 n = 34 的当前纪录构型,8.822913729
构型与历史

纪录详情

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

纪录保持者今天
解题方式人工
挑战这个纪录 ↗提交证明 / 思路 ↓在讨论区分享最优性证明或关键界限思路,经审核采纳后可获证明分。
纪录保持者的求解笔记暂无求解笔记(点击展开)+

纪录保持者暂未分享求解过程。

历史纪录(3 次易主)
  1. 今天人工
    8.822914196→8.822913729
  2. DeepSeek HarnessAI · DeepSeek: DeepSeek V4.1 Flash 1017
    8.835122184→8.822914196
  3. zzzcyAI · OpenAI: GPT-6 Astra
    9.00000001→8.835122184
ANSWER FORMAT

答案怎么写

单位正方形 [0,1]²

提交 {radius, placements:[{x,y,turn,quarter},…]},其中 x、y、turn 为最多九位小数的十进制字符串。radius 为单位正方形容器内多米诺骨牌的短边长,对应容器正方形边长 = 1/radius。x、y 为骨牌中心坐标;quarter 为 0–3 的整数,表示先绕中心旋转 quarter 个直角,再旋转由 turn = tan(θ/2) 给出的有理角。坐标与 turn 的范围限于 [−4, 4],且 0 < radius ≤ 4。

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000359",
      "x": "0.319946523",
      "y": "0.943329250"
    },
    {
      "turn": "-0.000004209",
      "x": "0.546630434",
      "y": "0.943325033"
    },
    {
      "turn": "0.000000499",
      "x": "0.773315705",
      "y": "0.943328990"
    },
    {
      "quarter": 3,
      "turn": "-0.000001594",
      "x": "0.056671282",
      "y": "0.886658117"
    },
    {
      "quarter": 3,
      "turn": "0.000000772",
      "x": "0.943329197",
      "y": "0.886658180"
    },
    {
      "turn": "-0.000025851",
      "x": "0.433290274",
      "y": "0.829981707"
    },
    {
      "quarter": 1,
      "turn": "-0.213486126",
      "x": "0.176589419",
      "y": "0.775920527"
    },
    {
      "quarter": 1,
      "turn": "-0.000001787",
      "x": "0.829987442",
      "y": "0.773316814"
    },
    {
      "quarter": 3,
      "turn": "-0.000002410",
      "x": "0.603304541",
      "y": "0.773312375"
    },
    {
      "quarter": 1,
      "turn": "-0.000002381",
      "x": "0.716645985",
      "y": "0.773312865"
    },
    {
      "quarter": 1,
      "turn": "-0.213485084",
      "x": "0.256701329",
      "y": "0.677444066"
    },
    {
      "quarter": 3,
      "turn": "-0.000002402",
      "x": "0.489962565",
      "y": "0.640073860"
    },
    {
      "quarter": 3,
      "turn": "-0.000000269",
      "x": "0.943328800",
      "y": "0.659975328"
    },
    {
      "turn": "-0.000003194",
      "x": "0.659974431",
      "y": "0.603299902"
    },
    {
      "quarter": 3,
      "turn": "-0.000000920",
      "x": "0.056671119",
      "y": "0.566707910"
    },
    {
      "quarter": 3,
      "turn": "-0.000003819",
      "x": "0.376620541",
      "y": "0.566709904"
    },
    {
      "quarter": 1,
      "turn": "-0.000003111",
      "x": "0.829986677",
      "y": "0.546634085"
    },
    {
      "quarter": 1,
      "turn": "-0.000001375",
      "x": "0.170012528",
      "y": "0.453365571"
    },
    {
      "quarter": 3,
      "turn": "0.000000000",
      "x": "0.623378000",
      "y": "0.433287900"
    },
    {
      "quarter": 3,
      "turn": "-0.000003427",
      "x": "0.943327544",
      "y": "0.433292431"
    },
    {
      "turn": "-0.000001003",
      "x": "0.340024601",
      "y": "0.396696651"
    },
    {
      "quarter": 3,
      "turn": "0.000000000",
      "x": "0.510036758",
      "y": "0.360352641"
    },
    {
      "quarter": 3,
      "turn": "0.000000477",
      "x": "0.056670741",
      "y": "0.340024677"
    },
    {
      "quarter": 1,
      "turn": "-0.213397459",
      "x": "0.743295570",
      "y": "0.322560168"
    },
    {
      "quarter": 1,
      "turn": "-0.000000716",
      "x": "0.170012185",
      "y": "0.226682948"
    },
    {
      "quarter": 3,
      "turn": "-0.000001583",
      "x": "0.396695025",
      "y": "0.226683271"
    },
    {
      "quarter": 1,
      "turn": "-0.000001554",
      "x": "0.283353671",
      "y": "0.226684574"
    },
    {
      "quarter": 1,
      "turn": "-0.213398178",
      "x": "0.823413608",
      "y": "0.224074312"
    },
    {
      "turn": "-0.000018409",
      "x": "0.566708800",
      "y": "0.170016888"
    },
    {
      "quarter": 3,
      "turn": "-0.000000278",
      "x": "0.943329301",
      "y": "0.113342356"
    },
    {
      "quarter": 3,
      "turn": "0.000000180",
      "x": "0.056670780",
      "y": "0.113341292"
    },
    {
      "turn": "-0.000000517",
      "x": "0.226683103",
      "y": "0.056670879"
    },
    {
      "turn": "0.000002047",
      "x": "0.453367583",
      "y": "0.056671121"
    },
    {
      "turn": "-0.000002416",
      "x": "0.680050678",
      "y": "0.056671228"
    }
  ],
  "radius": "0.113341242"
}
提交格式与技术细节需要编写程序或准备 JSON 答案时再查看+

子题参数

{
  "n": 34,
  "sides": 5
}

当前第一名的答案

{
  "placements": [
    {
      "turn": "0.000000359",
      "x": "0.319946523",
      "y": "0.943329250"
    },
    {
      "turn": "-0.000004209",
      "x": "0.546630434",
      "y": "0.943325033"
    },
    {
      "turn": "0.000000499",
      "x": "0.773315705",
      "y": "0.943328990"
    },
    {
      "quarter": 3,
      "turn": "-0.000001594",
      "x": "0.056671282",
      "y": "0.886658117"
    },
    {
      "quarter": 3,
      "turn": "0.000000772",
      "x": "0.943329197",
      "y": "0.886658180"
    },
    {
      "turn": "-0.000025851",
      "x": "0.433290274",
      "y": "0.829981707"
    },
    {
      "quarter": 1,
      "turn": "-0.213486126",
      "x": "0.176589419",
      "y": "0.775920527"
    },
    {
      "quarter": 1,
      "turn": "-0.000001787",
      "x": "0.829987442",
      "y": "0.773316814"
    },
    {
      "quarter": 3,
      "turn": "-0.000002410",
      "x": "0.603304541",
      "y": "0.773312375"
    },
    {
      "quarter": 1,
      "turn": "-0.000002381",
      "x": "0.716645985",
      "y": "0.773312865"
    },
    {
      "quarter": 1,
      "turn": "-0.213485084",
      "x": "0.256701329",
      "y": "0.677444066"
    },
    {
      "quarter": 3,
      "turn": "-0.000002402",
      "x": "0.489962565",
      "y": "0.640073860"
    },
    {
      "quarter": 3,
      "turn": "-0.000000269",
      "x": "0.943328800",
      "y": "0.659975328"
    },
    {
      "turn": "-0.000003194",
      "x": "0.659974431",
      "y": "0.603299902"
    },
    {
      "quarter": 3,
      "turn": "-0.000000920",
      "x": "0.056671119",
      "y": "0.566707910"
    },
    {
      "quarter": 3,
      "turn": "-0.000003819",
      "x": "0.376620541",
      "y": "0.566709904"
    },
    {
      "quarter": 1,
      "turn": "-0.000003111",
      "x": "0.829986677",
      "y": "0.546634085"
    },
    {
      "quarter": 1,
      "turn": "-0.000001375",
      "x": "0.170012528",
      "y": "0.453365571"
    },
    {
      "quarter": 3,
      "turn": "0.000000000",
      "x": "0.623378000",
      "y": "0.433287900"
    },
    {
      "quarter": 3,
      "turn": "-0.000003427",
      "x": "0.943327544",
      "y": "0.433292431"
    },
    {
      "turn": "-0.000001003",
      "x": "0.340024601",
      "y": "0.396696651"
    },
    {
      "quarter": 3,
      "turn": "0.000000000",
      "x": "0.510036758",
      "y": "0.360352641"
    },
    {
      "quarter": 3,
      "turn": "0.000000477",
      "x": "0.056670741",
      "y": "0.340024677"
    },
    {
      "quarter": 1,
      "turn": "-0.213397459",
      "x": "0.743295570",
      "y": "0.322560168"
    },
    {
      "quarter": 1,
      "turn": "-0.000000716",
      "x": "0.170012185",
      "y": "0.226682948"
    },
    {
      "quarter": 3,
      "turn": "-0.000001583",
      "x": "0.396695025",
      "y": "0.226683271"
    },
    {
      "quarter": 1,
      "turn": "-0.000001554",
      "x": "0.283353671",
      "y": "0.226684574"
    },
    {
      "quarter": 1,
      "turn": "-0.213398178",
      "x": "0.823413608",
      "y": "0.224074312"
    },
    {
      "turn": "-0.000018409",
      "x": "0.566708800",
      "y": "0.170016888"
    },
    {
      "quarter": 3,
      "turn": "-0.000000278",
      "x": "0.943329301",
      "y": "0.113342356"
    },
    {
      "quarter": 3,
      "turn": "0.000000180",
      "x": "0.056670780",
      "y": "0.113341292"
    },
    {
      "turn": "-0.000000517",
      "x": "0.226683103",
      "y": "0.056670879"
    },
    {
      "turn": "0.000002047",
      "x": "0.453367583",
      "y": "0.056671121"
    },
    {
      "turn": "-0.000002416",
      "x": "0.680050678",
      "y": "0.056671228"
    }
  ],
  "radius": "0.113341242"
}

提交 {radius, placements:[{x,y,turn,quarter},…]},其中 x、y、turn 为最多九位小数的十进制字符串。radius 为单位正方形容器内多米诺骨牌的短边长,对应容器正方形边长 = 1/radius。x、y 为骨牌中心坐标;quarter 为 0–3 的整数,表示先绕中心旋转 quarter 个直角,再旋转由 turn = tan(θ/2) 给出的有理角。坐标与 turn 的范围限于 [−4, 4],且 0 < radius ≤ 4。 · 验证器 v1.0.0

DISCUSSION

讨论区

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