确定性推理算法解决八数码难题