XSokoban

该数据集名为XSokoban，是学术文献中关于Sokoban解算器编程的实际标准测试套件，其中包含的实例被标记为“四个现代解算器都无法解决”。该数据集用于评估不同解算器在限时和不同难度级别下的性能。它包含了具有不同箱子数量（例如8箱、13箱、16箱）的实例。该数据集的任务是人工智能规划，特别是解决Sokoban谜题。This dataset, named XSokoban, is the de facto standard test suite for programming Sokoban solvers in academic literature. The instances contained herein are labeled as 'unsolvable by all four modern solvers'. This dataset is utilized to evaluate the performance of various solvers under time limits and across different difficulty levels. It includes instances with varying numbers of boxes, such as 8, 13, and 16 boxes. The task addressed by this dataset falls under the scope of artificial intelligence planning, specifically the solving of Sokoban puzzles.

搜集汇总

背景与挑战

背景概述

该数据集页面是Sokoban解算器程序的统计信息汇总，而非实际游戏关卡数据集。它通过多个测试套件（如XSokoban、Large、Open等）比较了不同解算器（如Sokolution、Takaken、Festival等）的性能，包括解决关卡数量和推箱最优解的表现，旨在展示解算器的基准测试结果。