1.输入:在算法中可以有零个或者多个输入 2.输出:在算法中至少有一个或者多个输出3.有穷行:在执行有限的步骤之后,自动结束不会出现无限循环并且每一个步骤在可接受的时间内完成 4.确定性:算法的每一个步骤都具有确定的含义,不会出现二义性 5.可行性:算法的每一步都必须是可行的,也就是说,每一步都能够通过执行有限的次数完成