算法应具备以下5个特性：（）、正确性、（）、输入和输出。