本研究提出了一种新方法Avalon，通过自动验证来改善Match-3游戏的条件关卡生成。该方法利用游戏中的难度统计信息，提高了关卡生成的有效性和趣味性，实验结果表明生成的关卡更具有效性。