有解与恒成立问题