算法的描述必须满足输入、输出、有限性、确定性和有效性，循环性不属于必须条件，它是算法结构的一种。