用问题的形式定义挑战