formal-analysis

标签

#formal-analysis

标准A*平局处理策略下的最终高原扩展次数

arXiv cs.AI ↗ · 2026-09-23 缓存

本文形式化分析了A*搜索中的平局处理策略，表明标准策略在扩展次数上成对不可比较，并提供了对启发式加权效果的见解。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈