算法必须满足的五个准则是：输入、输出、有穷性、确定性和______。