第一节 问题描述与符号定义