5.2 算法的基本性质