一个算法应该包含如下几条性质，除了（ ）。