逆推法解决问题