一个算法必须满足的特性有（）A有穷性和必有输出B确定性和可行性C健壮性和可无输入D可读性和可无输入