第07章.限界剪枝法.ppt

《算法设计与分析》第07章限界剪枝法吸斜瑚晶鸥仗调貌邯重苹铲诬拇蚁留颈碘警心躲碉***,也是对状态空间树进行搜索求解,不同的是限界剪枝法的求解目标是要找到使得某一目标函数极大或极小的一个解结点,即某种意义下的最优解。在算法设计上,限界剪枝法不仅通过约束条件来控制搜索路径,还通过目标函数的限界来减少搜索规模;限界剪枝法在搜索时,通常先进行广度扩展,将满足约束条件且不越过目标函数的子结点加入到活结点表中等待搜索;常见的活结点表有队列式(FIFO)、栈式(LIFO)和优先队列式(PQ);,即求解A中耗费最小的解结点。设A中的结点x所需的耗费为D(x),在T上构造耗费函数:C(x)=min{D(y)|y∈Tx∩A} Tx∩A≠{}C(x)=∞ Tx∩A={}Tx表示以x为根的子树;易见,子结点的耗费函数值不小于父结点的耗费函数;理想情况下,以耗费值作为优先级建立优先队列,按优先顺序扩展搜索,就可以很快找到具有最小求解耗费的解结点;然而在实际情况中,通常是求解过程中才能得到求解的耗费,因此可以采用一个耗费的估计值~C(x)作为C(x)的近似解;;~C(x)为耗费估计函数;初始化优先队列Q;计算~C(T),并将T入队;循环,直到队列Q空(无解): 结点e出队; 若e是回答结点,则输出解或求解路径,求解结束;否则检查e的所有子结点x:若x满足约束条件,则计算~C(x),并将x入队;记录搜索路径;当~C(x)满足:~C(x)≤C(x),C(x)单调,解结点的~C(x)=C(x)时,上述算法可以正确找到C(x)的最小耗费解;,用空格的移动来表述状态的演化;用根结点到解结点的路径长度作为耗费函数;而用根到当前结点的路径长度加上当前结点与目标解的差异量作为耗费估计函数;1310981411671252154311514131211**********,还包括已经推演的步数和与目标布局的差异,以及指向父结点的指针。算法描述初始化集合S={},记录曾经出现过的布局;初始化优先队列Q,以布局的~C(x)作为权值;起始布局入队,并记入S;循环,直至队列空布局T出队;若T为目标布局,则从T倒推出移动步骤,求解结束;将T的所有未处理的可推演布局入队,并记入S;鼻受诽啤罗陈必餐静港暴哭藕宇崔西搓孪晚床昧岛追妹付侨猩***(x),求解解结点集上的离散最优化问题;类似最小耗费搜索法,定义耗费函数C(x):C(x)=min{D(y)|y∈Tx∩A} Tx∩A≠{}C(x)=∞ Tx∩A={}C(x)为单调非减函数;同样地,由于C(x)无法做即时计算,引入估值函数~C(x),满足条件:~C(x)≤C(x);对解结点x,~C(x)=C(x);,若能找到最优解的耗费上界U,即对于最优解结点x*,有C(x*)≤U,则:在进行最小耗费搜索时,对于待展开的状态结点y,若~C(y)>U,则由C(x)的单调性和~C(x)是C(x)的下界可知:U<~C(y)≤C(y)≤C(x)x为解结点即,在y的子树中不会包含所要求的最优解结点x*,因而可以放弃对该子树的搜索。,引入耗费函数的上界函数u(x),满足:~C(x)≤C(x)≤u(x);和当前最小上界值U;初始时令U=u(T),T为起始结点;在符合约束条件的结点x入队前,检查,若~C(x)>U,则该结点不入队(不激活);在结点x入队时,检查,若u(x)<U,则用u