算法的设计要求中包括算法的有穷性。