第三节 对问题可解决性的判断