4.1 问题求解过程的形式表示