添加了伪序贯的函数，并对所有函数添加了状态查找功能，提高了程序的计算速度。