4.1.1 算法的定义