验证问题

以求解的验证模型。