算法要满足四个基本特性