5.1.1 算法定义与性质