5.1.3 算法的抽象本质