一个算法一该具有（）这五种特性。