四、递归 [orS-H7^
{YIf rM
递归是设计和描述算法的一种有力的工具,由于它在复杂算法的描述中被经常采用,为此在进一步介绍其他算法设计方法之前先讨论它。 *n_7~ZX
能采用递归描述的算法通常有这样的特征:为求解规模为N的问题,设法将它分解成规模较小的问题,然后从这些小问题的解方便地构造出大问题的解,并且这些规模较小的问题也能采用同样的分解和综合方法,分解成规模更小的问题,并从这些更小问题的解构造出规模较大问题的解。特别地,当规模N=1时,能直接得解。 Vi>`g{\
【问题】 编写计算斐波那契(Fibonacci)数列的第n项函数fib(n)。 f,VJfY?#
斐波那契数列为:0、1、1、2、3、……,即: v5 I}a7
fib(0)=0; \@$V^;OP/
fib(1)=1; S8Yti
fib(n)=fib(n-1)+fib(n-2) (当n>1时)。 Y))x'<T'Q
写成递归函数有: k? !'OHmBL
int fib(int n) \*\ )zj*r
{ if (n==0) return 0; {Z1^/Fv3
if (n==1) return 1; -5GRit1q?
if (n>1) return fib(n-1)+fib(n-2); C%Fc%}[
} W$`p ,$ .n
递归算法的执行过程分递推和回归两个阶段。在递推阶段,把较复杂的问题(规模为n)的求解推到比原问题简单一些的问题(规模小于n)的求解。例如上例中,求解fib(n),把它推到求解fib(n-1)和fib(n-2)。也就是说,为计算fib(n),必须先计算fib(n-1)和fib(n-2),而计算fib(n-1)和fib(n-2),又必须先计算fib(n-3)和fib(n-4)。依次类推,直至计算fib(1)和fib(0),分别能立即得到结果1和0。在递推阶段,必须要有终止递归的情况。例如在函数fib中,当n为1和0的情况。 XX'mM v
在回归阶段,当获得最简单情况的解后,逐级返回,依次得到稍复杂问题的解,例如得到fib(1)和fib(0)后,返回得到fib(2)的结果,……,在得到了fib(n-1)和fib(n-2)的结果后,返回得到fib(n)的结果。 u.,l_D_
在编写递归函数时要注意,函数中的局部变量和参数知识局限于当前调用层,当递推进入“简单问题”层时,原来层次上的参数和局部变量便被隐蔽起来。在一系列“简单问题”层,它们各有自己的参数和局部变量。 7i88iT
由于递归引起一系列的函数调用,并且可能会有一系列的重复计算,递归算法的执行效率相对较低。当某个递归算法能较方便地转换成递推算法时,通常按递推算法编写程序。例如上例计算斐波那契数列的第n项的函数fib(n)应采用递推算法,即从斐波那契数列的前两项出发,逐次由前两项计算出下一项,直至计算出要求的第n项。 9Bi{X_.9
【问题】 组合问题 i|CAN,'
问题描述:找出从自然数1、2、……、n中任取r个数的所有组合。例如n=5,r=3的所有组合为: (1)5、4、3 (2)5、4、2 (3)5、4、1 Bn5$TiTcl
(4)5、3、2 (5)5、3、1 (6)5、2、1 a1gaB:w5n
(7)4、3、2 (8)4、3、1 (9)4、2、1 O_^;wey0}?
(10)3、2、1 ;fZ9:WB
分析所列的10个组合,可以采用这样的递归思想来考虑求组合函数的算法。设函数为void comb(int m,int k)为找出从自然数1、2、……、m中任取k个数的所有组合。当组合的第一个数字选定时,其后的数字是从余下的m-1个数中取k-1数的组合。这就将求m个数中取k个数的组合问题转化成求m-1个数中取k-1个数的组合问题。设函数引入工作数组a[ ]存放求出的组合的数字,约定函数将确定的k个数字组合的第一个数字放在a[k]中,当一个组合求出后,才将a[ ]中的一个组合输出。第一个数可以是m、m-1、……、k,函数将确定组合的第一个数字放入数组后,有两种可能的选择,因还未去顶组合的其余元素,继续递归去确定;或因已确定了组合的全部元素,输出这个组合。细节见以下程序中的函数comb。 PLhlbzc f
【程序】 n0opb [ ?
# include <stdio.h> AZfW
# define MAXN 100 UJk/Lxv
int a[MAXN]; !@9G9<NK
void comb(int m,int k) tQIa6c4|
{ int i,j; ab^>_xD<
for (i=m;i>=k;i--) >_SqM! ^v
{ a[k]=i; qORRpWyx&
if (k>1) @]@6(To
comb(i-1,k-1); XG01g3
else @Q%<~b[y
{ for (j=a[0];j>0;j--) ev9ltl{
printf(“%4d”,a[j]); {R}Kt;L:Ut
printf(“\n”); E@7);i5K
} lFbf9s:$B
} /7hC
/!@
} o>Q=V0?
^(~%'f
void main() 6 B*,Mu4A
{ a[0]=3; }$Z0v`
comb(5,3); lC'U3Q&
} ]B3f$;W
【问题】 背包问题 Uq^-km#a
问题描述:有不同价值、不同重量的物品n件,求从这n件物品中选取一部分物品的选择方案,使选中物品的总重量不超过指定的限制重量,但选中物品的价值之和最大。 H,0Io
设n件物品的重量分别为w0、w1、…、wn-1,物品的价值分别为v0、v1、…、vn-1。采用递归寻找物品的选择方案。设前面已有了多种选择的方案,并保留了其中总价值最大的方案于数组option[ ],该方案的总价值存于变量maxv。当前正在考察新方案,其物品选择情况保存于数组cop[ ]。假定当前方案已考虑了前i-1件物品,现在要考虑第i件物品;当前方案已包含的物品的重量之和为tw;至此,若其余物品都选择是可能的话,本方案能达到的总价值的期望值为tv。算法引入tv是当一旦当前方案的总价值的期望值也小于前面方案的总价值maxv时,继续考察当前方案变成无意义的工作,应终止当前方案,立即去考察下一个方案。因为当方案的总价值不比maxv大时,该方案不会被再考察,这同时保证函数后找到的方案一定会比前面的方案更好。 1s6L]&B
对于第i件物品的选择考虑有两种可能: tPaNhm[-q7
(1) 考虑物品i被选择,这种可能性仅当包含它不会超过方案总重量限制时才是可行的。选中后,继续递归去考虑其余物品的选择。 \JbOT%1
(2) 考虑物品i不被选择,这种可能性仅当不包含物品i也有可能会找到价值更大的方案的情况。 dT'd C
按以上思想写出递归算法如下: DLd1Cl:"~:
try(物品i,当前选择已达到的重量和,本方案可能达到的总价值tv) JXq l=/%
{ /*考虑物品i包含在当前方案中的可能性*/ 9z kRwrQ
if(包含物品i是可以接受的) \`Ow)t:
{ 将物品i包含在当前方案中;
q.!<GqSgb
if (i<n-1) ,_z"3B)]
try(i+1,tw+物品i的重量,tv); #H.DnW
else xP-\)d-.aN
/*又一个完整方案,因为它比前面的方案好,以它作为最佳方案*/ pYz\GSd
以当前方案作为临时最佳方案保存; +{L=cWA"
恢复物品i不包含状态; S(PU"}vZy
} ,*CPG$L
/*考虑物品i不包含在当前方案中的可能性*/ PauF)p
if (不包含物品i仅是可男考虑的) /&+*X)#v
if (i<n-1) .qS(-7<
try(i+1,tw,tv-物品i的价值); qyL!>kZr@
else 8:fq!m
/*又一个完整方案,因它比前面的方案好,以它作为最佳方案*/ |syvtS{
以当前方案作为临时最佳方案保存; /@Ec[4^=!.
} hw2Sb,bY
为了理解上述算法,特举以下实例。设有4件物品,它们的重量和价值见表: Ni>!b6Z`[
物品 0 1 2 3 yR1v3D4E
重量 5 3 2 1 Iad&Z8E
价值 4 4 3 1 B3&C=*y
)4^Sz &\
并设限制重量为7。则按以上算法,下图表示找解过程。由图知,一旦找到一个解,算法就进一步找更好的佳。如能判定某个查找分支不会找到更好的解,算法不会在该分支继续查找,而是立即终止该分支,并去考察下一个分支。 $7*@TMX
QC6:ZxP
按上述算法编写函数和程序如下: <+_WMSf;4
【程序】 vP'#x
# include <stdio.h> }///k]_Sh
# define N 100 X+QoO=02LR
double limitW,totV,maxV; [oOV@GE
int option[N],cop[N]; N#GMvU#R
struct { double weight; D[dI_|59a
double value; ]JHInt
}a[N]; cC]lO
int n; &] O^d4/
void find(int i,double tw,double tv) `]F#j ]"
{ int k; LAY~hF"
/*考虑物品i包含在当前方案中的可能性*/ 95sK ;`rE+
if (tw+a.weight<=limitW) ,:8oVq>?
{ cop=1; /_r` A
if (i<n-1) find(i+1,tw+a.weight,tv); x:+]^?}r
else BG/RNem
{ for (k=0;k<n;k++) WHcw5_3#
option[k]=cop[k]; y.gjs<y
maxv=tv; 'u3,+guz
} \m#{{SGm
cop=0; gP`CQ0t
} PAXm
/*考虑物品i不包含在当前方案中的可能性*/ ?%*p!m
if (tv-a.value>maxV) byPqPSY
if (i<n-1) find(i+1,tw,tv-a.value); P52qt N<
else kOQ!]-;
{ for (k=0;k<n;k++) >cH}sNHy
option[k]=cop[k]; @PV3G
KJ
maxv=tv-a.value; cToT_Mk
} uOPLJ?%
} /L=Y8tDt
\7G.anY
void main() 0E#?H0<OeG
{ int k; Va^(cnwa
double w,v; *d:$vaL
printf(“输入物品种数\n”); (};/,t1#$
scanf((“%d”,&n); )H+ p6<
printf(“输入各物品的重量和价值\n”); Esf\Bo"
for (totv=0.0,k=0;k<n;k++) aa}U87]k
{ scanf(“%1f%1f”,&w,&v); JG@Zb}b
a[k].weight=w; ucFfxar"
a[k].value=v; DJ`xCs!R
totV+=V; KgXu x-q
} "Iacs s0;
printf(“输入限制重量\n”); 8Yf=)
scanf(“%1f”,&limitV); EPU3Jban
maxv=0.0; T}Wse{
for (k=0;k<n;k++) cop[k]=0; $Y8iT<nP
find(0,0.0,totV); eg"A?S
for (k=0;k<n;k++) =oTj3+7
if (option[k]) printf(“%4d”,k+1); C)ic;!$Qhb
printf(“\n总价值为%.2f\n”,maxv); IGo+O*dMw
} V5p->X2#
作为对比,下面以同样的解题思想,考虑非递归的程序解。为了提高找解速度,程序不是简单地逐一生成所有候选解,而是从每个物品对候选解的影响来形成值得进一步考虑的候选解,一个候选解是通过依次考察每个物品形成的。对物品i的考察有这样几种情况:当该物品被包含在候选解中依旧满足解的总重量的限制,该物品被包含在候选解中是应该继续考虑的;反之,该物品不应该包括在当前正在形成的候选解中。同样地,仅当物品不被包括在候选解中,还是有可能找到比目前临时最佳解更好的候选解时,才去考虑该物品不被包括在候选解中;反之,该物品不包括在当前候选解中的方案也不应继续考虑。对于任一值得继续考虑的方案,程序就去进一步考虑下一个物品。 r ?z}TtDp
【程序】 ~'N+O K
# include <stdio.h> T1;>qgp4b
# define N 100 goc; .~?
double limitW; Nt687
int cop[N]; Wz;@Rl|F
struct ele { double weight; %`lLX/4~
double value; (V0KmNCW`
} a[N]; 68~5Dx
int k,n; PNH>LT^
struct { int flg; 9r
](/"=f
double tw; d3NER} f4V
double tv; zpg512\y
}twv[N]; G$2Pny<!
void next(int i,double tw,double tv) ,_@) IN
{ twv.flg=1; <DhuY/o
twv.tw=tw; Z<'iT%6+r
twv.tv=tv; 8F/zrPG
} 8:K_S a%
double find(struct ele *a,int n) \vE-;,
{ int i,k,f; (/7cXd@\6
double maxv,tw,tv,totv; G> sqfYkK
maxv=0; EjP)e;
for (totv=0.0,k=0;k<n;k++) sn+ kFvk}S
totv+=a[k].value; <g64N
next(0,0.0,totv); C|]Zpn#{K
i=0; ,My'_"S?
While (i>=0) CKX3t:HP0
{ f=twv.flg; 1*:BOoYx
tw=twv.tw; m?=J;r"Re
tv=twv.tv; **c"}S6:mC
switch(f) xPJ@!ks9
{ case 1: twv.flg++; WfQZ7e
if (tw+a.weight<=limitW) QN#tj$x
if (i<n-1) 0CI\Yd=
{ next(i+1,tw+a.weight,tv); WA5.qw
i++; rj/nn)vv;
} [B j\h7G
else mqDI'~T9 u
{ maxv=tv; rpEN\S%7P
for (k=0;k<n;k++) r+tHVh
cop[k]=twv[k].flg!=0; oVd7ucnK
} | NyANsI
break; 3S
@)Ans
case 0: i--; {uxTgX
break; }4?z<. V
default: twv.flg=0; -4obX
if (tv-a.value>maxv) ViU5l*n;
if (i<n-1) [@@EE>
y
{ next(i+1,tw,tv-a.value); Us_1 #$p,
i++; %0'7J@W
} u R]8ZT")
else KLjvPT\
{ maxv=tv-a.value; &,* ILz
for (k=0;k<n;k++) B[d%?L_
cop[k]=twv[k].flg!=0; KfQ?b_H.
} 4jzjrG
break; 7v}(R:*
} orAr3`AR3
} p[}~Z|(
return maxv; [EK@f,iM
} @Thrizh
1/%5pb2\
void main() B &3sV+
{ double maxv; TY?O$d2b3
printf(“输入物品种数\n”);
Az/B/BLB
scanf((“%d”,&n); u1>WG?/`
printf(“输入限制重量\n”); R:[#OH.c
scanf(“%1f”,&limitW); 0D0uzUD-
printf(“输入各物品的重量和价值\n”); 6#ktw)e
for (k=0;k<n;k++) x+v&3YF
scanf(“%1f%1f”,&a[k].weight,&a[k].value); @h(Z;
maxv=find(a,n); f/"IC;<~t>
printf(“\n选中的物品为\n”); Bq,MTzxD
for (k=0;k<n;k++) 0 c]]
if (option[k]) printf(“%4d”,k+1); 0qm CIcg
printf(“\n总价值为%.2f\n”,maxv); KL"_h`UW
}