试举例说明算法的四个特性要求：有穷性、确定性、有效性（可行性）和输入数据和输出数据的要求。