12.2 问题形式化定义