数据集概述
该数据集包含《超级银河战士》游戏的节点抽象与瓦片抽象文件，对应论文《交互式媒体的认证合成：高保障银河恶魔城生成》中第九章和第十章的内容，为游戏关卡分析与生成研究提供结构化数据支持。
文件详解
- 文件名称: node_dsl.zip
- 文件格式: ZIP压缩包
- 内容说明: 包含节点抽象相关文件，其中rooms.txt定义游戏房间，exits.txt定义房间连接关系；rooms_for_alloy.txt与exits_for_alloy.txt为简化版抽象（不适合模块化分析）。解析代码位于GitHub仓库/encoding/parse_rooms.py
- 文件名称: tile_rules.zip
- 文件格式: ZIP压缩包
- 内容说明: 包含瓦片抽象的移动规则与测试场景文件。解析代码位于GitHub仓库/world_rando/parse_rules.py，规则应用代码位于/world_rando/rules.py
适用场景
- 游戏关卡生成研究: 用于基于抽象规则的银河恶魔城类游戏关卡自动化生成
- 游戏AI路径规划: 支持游戏智能体在抽象化房间与瓦片层级的路径搜索与决策
- 游戏设计分析: 辅助分析《超级银河战士》关卡设计逻辑与玩家移动模式
- 形式化验证研究: 为游戏系统的高保障认证合成提供实验数据支撑
