算法设计与分析-Read.ppt

算法设计与分析 第2部分 算法设计策略 第8章 回溯法 8.1 一般方法 8.1.1 基本概念 8.1.2剪枝函数和回溯法 8.1.3?回溯法的效率分析 8.2 n-皇后 8.2.1? ?问题描述 8.2.2 回溯法求解 8.2.3? n-皇后算法 8.2.4 时间分析 8.3 子集和数 8.3.1? 问题描述 8.3.2 回溯法求解 8.3.3?子集和数算法 8.4 图的着色 8.4.1 问题描述 8.4.2?回溯法求解 8.4.3 图着色算法 8.4.4 时间分析 8. 5? 哈密顿环 8.5.1? 问题描述 8.5.2? 哈密顿环算法 8.7 批处理作业调度 8.7.1 问题描述 8.7.2 回溯法求解 8.7.3 批处理作业调度算法 称这种从n个元素的集合中找出满足某些性质的子集的状态空间树为子集树。子集树有2n个解状态，遍历子集树的时间为Ω(2n)。 约束函数： Bk(x0,x1,?,xk) 为true，当且仅当 【程序8－5】子集和数的回溯算法 void SumOfSub (float s,int k,float r,int* x,float m,float* w) { x[k]=1; if (s+w[k]==m) { for (int j=0;j=k;j++) coutx[j] ; coutendl; } else if (s+w[k]+w[k+1]=m) SumOfSub(s+w[k],k+1,r-w[k],x,m,w); if ((s+r-w[k]=m)(s+w[k+1]=m)) { x[k]=0; SumOfSub(s,k+1,r-w[k],x,m,w); } } void SumOfSub (int* x,int n,float m,float* w) { float r=0; for(int i=0;in;i++) r=r+w[i]; if(r=m w[0]=m) SumOfSub(0,0,r,x,m,w); } 例8－3 设有n=6个正数的集合W=(5,10,12,13,15,18)和整数M=30，求W的所有元素之和为M的子集。 已知无向图G=(V,E)和m种不同的颜色，如果只允许使用这m种颜色对图G的结点着色，每个结点着一种颜色。问是否存在一种着色方案，使得图中任意相邻的两个结点都有不同的颜色。这就是m-着色判定问题（m-colorability decision problem） 设无向图G=(V,E)采用如下定义的邻接矩阵a表示： 解的形式：n-元组(x0,x1,?,xn－1), xi?{1，…，m}, 0?in，表示结点i的颜色，这就是显式约束。xi=0表示没有可用的颜色。因此解空间的大小为mn。 隐式约束可描述为：如果边(i,j)?E，则 xi?xj。 约束函数：对所有i和j，0?i,jk，i?j，若a[i][j]=1，则xi?xj。 【程序8－6】 图的m着色算法 template class T void MGraphT::NextValue(int k,int m,int *x) { do { x[k]=(x[k]+1) % (m+1); if (!x[k]) return; for (int j=0; jk; j++) if (a[k][j] x[k] == x[j]) break; if (j==k) return; } while (1); } template class T void MGraphT:: mColoring(int k,int m,int *x) { do { NextValue(k,m,x); if (!x[k]) break; if (k == n-1) {