算法回溯法总结.docx

算法回溯法总结 　　回溯法概述　　与穷举的“笨拙”搜索相比，回溯法则是一种“聪明”的求解效益更高的搜索法。下面介绍回溯设计及其应用，体会回溯法相对于穷举的特点与优势。　　回溯的概念　　有许多问题，当需要找出它的解集或者要求回答什么解是满足某些约束条件的最佳解时，往往使用回溯法。　　回溯法是一种试探求解的方法：通过对问题的归纳分析，找出求解问题的一个线索，沿着这一线索往前试探，若试探成功，即得到解；若试探失败，就逐步往回退，换其他路线再往前试探。因此，回溯法可以形象地概括为“向前走，碰壁回头”。　　回溯法的基本做法是试探搜索，是一种组织得井井有条的、能避免一些不必要搜索的穷举式搜索法。回溯法在问题的解空间树中，从根结点出发搜索解空间树，搜索至解空间树的任意一点，先判断该结点是否包含问题的解；如果肯定不包含，则跳过对该结点为根的子树的搜索，逐层向其父结点回溯；否则，进入该子树，继续搜索。　　从解的角度理解，回溯法将问题的候选解按某种顺序进行枚举和检验。当发现当前候选解不可能是解时，就选择下一个候选解。在回溯法中，放弃当前候选解，寻找下一个候选解的过程称为回溯。倘若当前候选解除了不满足问题规模要求外，满足所有其他要求时，继续扩大当前候选解的规模，并继续试探。如果当前候选解满足包括问题规模在内的所有要求时，该候选解就是问题的一个解。　　与穷举法相比，回溯法的“聪明”之处在于能适时“回头”，若再往前走不可能得到解，就回溯，退一步另找线路，这样可省去大量的无效操作。因此，回溯与穷举相比，回溯更适宜于量比较大，候选解比较多的问题。　　回溯描述　　1．回溯的一般方法　　下面简要阐述回溯的一般方法。　　回溯求解的问题P，通常要能表达为：对于已知的由n元组(x1,x2,?,xn)组成的一个状态空间E={(x1,x2,?,xn)|xi∈si,i=1,2,?,n}，给定关于n元组中的一个分量的一个约束集D，要求E中满足D的全部约束条件的所有n元组。其中si是分量xi的定义域，且|si|有限，i=1,2,?,n。称E中满足D的全部约束条件的任一n元组为问题P的一个解。　　解问题P的最朴素的方法就是穷举法，上面已经作了介绍，即对E中的所有n元组逐一地检验其是否满足D的全部约束，若满足，则为问题P的一个解。显然，其计算量是相当大的。　　对于许多问题，所给定的约束集D具有完备性，即i元组(x1,x2,?,xi)满足D中仅涉及到x1,x2,?,xi的所有约束，意味着j(j;　　while(1)　　{　　for(g=1,k=i-1;k=1;k--)　　if()g=0;//检测约束条件,不满足则返回if(g)　　printf(a[1-m]);//输出一个解　　if(i;continue;}　　while(a[i]==i1)i--;//向前回溯　　if(a[i]==ni==1)break;//退出循环，结束　　elsea[i]=a[i]+1;　　}　　具体求解问题的试探搜索范围与要求不同，在应用回溯设计时，需根据问题的具体实际确定数组元素的初值、取值点与回溯点，同时需把问题中的约束条件进行必要的分解，以适应上述回溯流程。　　其中实施向前回溯的循环　　while(a[i]==i1)i--;　　是向前回溯一步，还是回溯两步或更多步，完全根据a[i]是否达到回溯点来确定。例如，回溯点是n，i=6，当a[6]=n时回溯到i=5；若a[5]=n时回溯到i=4；依此类推，到a[i]达到回溯点则停止。　　图5-1所示的4皇后问题迭代回溯过程描述为：　　n=4;i=1;a[i]=1;　　while(1)　　{　　g=1;for(k=i-1;k=1;k--)　　if(a[i]=a[k]abs(a[i]-a[k])=i-k)　　g=0;//检测约束条件,不满足则返回　　if(gi==4)　　printf(a[1-4]);//输出一个解　　if(i1)i--;//向前回溯　　if(a[i]==ni==1)break;//退出循环结束　　elsea[i]=a[i]+1;　　}　　以上回溯体现在迭代式i=i-1，因而又称为迭代回溯。　　此外，递归也能实现回溯。　　递归回溯　　intput(intk)　　{inti,j,u;　　if(k)　　u=1;//当k时不可操作　　if(u==0)//当k时可操作　　{if(k==规模)//若已满足规模，则打印出一个解　　printf();　　elseput(k+1);//调用put(k+1)　　}　　}　　}　　在调用put(k)时，当检测约束条件知不可操作，即再往前不可能得解，此时当然不可能输出解，也不调用put(k+1)，而是回溯，返回