星际争霸1与2中作为组合优化的地形分析

即时战略游戏中的地形分析是实现空间推理的必要步骤。地形分析的目标是收集并处理关于地图拓扑与属性的数据，以获得定性的空间表示。在星际争霸系列游戏中，以往所有地形分析工作都基于连通分量检测、维诺图计算与剪枝以及区域合并提出明确分析。这些方法被实现为特定于游戏的库，且只能为所有地图和所有用户提供同种分析。本文中，我们提出一种将地形分析视为组合优化问题的方法。我们的方法可通过改变问题模型中的约束或目标函数来实现不同种类的分析。我们还提出了一个名为 Taunt 的库，实现了我们的方法并能够处理星际争霸1与星际争霸2的地图。这使得我们的库成为具有不同空间表示需求的星际争霸 bot 的通用工具。我们相信我们的库解锁了拥有真正自适应 AI 游玩星际争霸的可能性，并可作为新一波 bot 的起点。