算法必须满足五个基本特性：输入、输出、确定性、有限性和可行性。无限性不是算法的基本特性，因此选项D是错误的。