八数码难题有无解的判断