【pascal教程】第6章 函数.ppt

例6.28 已知一个一维数组A[1..N](N50)，又已知一整数M。 如能使数组A中任意几个元素之和等于M，则输出YES，反之则为NO。 【分析】对于一个已确定的数组a[1]至a[n]和一个确定的数m，判断能否使数组a中任意几个元素之和等于m，等价于判断能否从数组a中取任意数使其和为m。 此时若a[n]=m，则可以输出“YES”，否则若n=1，则可以输出“NO”。 否则可以按以下规则进行判断：对于a中任意元素a[n]只有取与不取两种情况： (１)取a[n]： 则此时问题转化为：对于一个已确定的数组a[1]至a[n-1]和一个确定的数m-a[n]，判断能否使数组a中任意几个元素之和等于m-a[n]。 (２)不取a[n]： 则此时问题转化为：对于一个已确定的数组a[1]至a[n-1]和一个确定的数m，判断能否使数组a中任意几个元素之和等于m。 若用函数sum(n,m)表示能否从数组a[1]至a[n]中取任意数使其和为m，只要sum(n-1,m-a[n])和sum(n-1,m)当中有一个值为真，则sum(n,m)为真，否则为假。因此，可以用递归来解此题。 递归终止条件为： if a[n]=m then sum:=true else if n=1 then sum