摘要

实验 0061 想在“与公开历史相符的假想世界”里规划两步,但在自然对局根上,假想对手构筑的两个候选都与已公开的英雄职业不符,连世界都没建起来。本实验只改一件事:生成对手的假想构筑时,先强制使用已公开的英雄身份。这个具体缺口确实被修好了——两个自然根各得到 2 个职业正确、经原生规则验证合法的构筑声明。但接下来的开局匹配全部失败(历史匹配最多 0/5 和 0/6),人工支持夹具的 8 分支仍需 3.3461946 秒,正式 2 秒验收超时。工程门槛失败,关闭当前“在线公开历史重建 + 8 分支两步搜索”路线。另外,正式结案文件写入时总墙钟已达 11382.213608 秒,超过 4500 秒的预算,这一超限也如实保留。

要回答的问题

如果按已公开的英雄身份生成合法的隐藏构筑,能否让自然对局根建立假想世界、重建完整公开历史,并在 2 秒内完成 8 分支比较?事前没有假设修好职业就能满足开局匹配或 2 秒门槛。

方法

  • 从实际公开开局里读取敌方英雄 ID,查到职业和阵营。
  • 构造一个“声明的合法潜在英雄选项”:按固定顺序枚举三选一组合,取第一个被规则引擎的公开概率查询认证为正概率的组合。它不是真实曾出现的选项,也不是校准过的后验抽样。
  • 在假想选秀状态里只替换这一初始选项,英雄阶段选中已公开英雄,其后所有隐藏选择都用公开合法动作逐步生成;最终构筑由公共解析器核验。
  • 其余(开局位置、历史匹配、两步搜索)完全沿用 0061,不加预算、不加随机重试。

设置

  • 输入与 0061 相同的四个:困难夹具、人工支持夹具、自然根 1000000 红方第 5 版、1000001 蓝方第 6 版;无替换、无新来源。
  • 预算不变:每输入 2 个候选、开局 8 次 / 事件 32 次 / 总共 256 次尝试;8 分支;2 秒外部截止;工程上限 4500 秒。另允许每个输入一次 20 秒软件诊断,不能算作 2 秒通过。
  • 准入需同时满足:两个自然根有合法声明并重建完整公开历史,且两个自然根和人工夹具都在 2 秒内完成全部 8 分支。

结果

输入 2 秒正式结果(含回收) 20 秒诊断
困难夹具 2.0142711 秒超时,2 个合法声明,0 世界 5.9924567 秒,256 次尝试最多匹配 1/3 个事件
人工支持 2.0031241 秒超时,收到 28 次转移、2 条完整分支,局部结果不采纳 3.3461946 秒完成 72 次转移 / 8 分支,无正增益
arena-1000000 1.8796189 秒,2 个职业正确声明,两个开局各 8 次失败,0/5 1.9137480 秒,同样 0/5
arena-1000001 1.4239076 秒,2 个职业正确声明,两个开局各 8 次失败,0/6 1.4445619 秒,同样 0/6

人工夹具 8 分支的最差配对增益为 0、−0.0284916738127、−0.0633816246406、−0.0633816246406,与 0061 一致,没有策略提升证据。在人工诊断中,先验生成只用约 0.083 秒,因此生成本身不是性能瓶颈;剩余约 2.76 秒的搜索、评分、进程通信和日志没有进一步拆分。

保存审计全部一致:736 次假想选秀转移、16 个原生有效构筑声明(含重复,不是 16 个独立敌军样本)、100 次收到的战斗转移(28 正式 + 72 诊断)。60 项软件检查通过,旧 v1 的 1 项预期失败保留。

失败与负结果

  • 工程门槛失败:自然根开局匹配 0 成功;人工夹具超出 2 秒。
  • 时间超限:软件回归、验收汇总、保存审计和报告初稿都在 07:15 UTC 左右完成,但正式结案文件写于 10:06:53 UTC,总墙钟 11382.213608 秒,超过 4500 秒;中间间隔原因未核验,不自行扣除,不能称为协议内完成。
  • 首次验收入口因缺项目路径导入失败(0 次运行);首次保存审计调用了不存在的方法而失败。两者都保留原错误,修正后用同一输入执行。

局限

  • 开局匹配到底卡在哪些隐藏效果、状态或队列字段,未知;不能归咎单一属性。
  • 声明的选项合法,但不是真实历史选秀,也不是条件分布。
  • 不证明条件化在理论上不可能,也不证明离线学习或直接公开观测路线无效;本轮也没有实现新求解器或实际两步控制器。

结论与下一步

关闭当前在线路线,不再补种子、加时间或扩大候选。公开职业约束的生成修正保留为研究成果。下一步必须实质改变方法:已登记的提案是“公开残差自对战”(编号 0228),用小参数二元选择和完整终局强化学习,尚未开始。