计算理论与算法分析设计课件：分支限界法.pptVIP

**of158堆堆如果一个左-完全二叉树有下列性质：任何一个非叶节点的值都大于等于（或小于等于）它的儿子的值则这个树称为大（小）顶堆一个堆对应的序列显然有如下性质：大顶堆小顶堆**of158堆堆96，83，27，38，11，99683273811912，36，24，85，47，30，53，911236248547305391**of158堆堆—堆调整假设已经有一个现成的（大顶）堆，调整的目的是把堆顶（根）的最大元素和序列的最后一个元素交换，然后把剩下是元素继续建成堆**of158堆50243020211831256堆—堆调整假设已经有一个堆，把堆顶元素和最后一个元素交换624302021183125500)剩下的序列中，堆的性质被破坏，调整堆就是把剩余的序列重新建成堆**of158堆堆—堆调整1)新的堆顶元素小于它的儿子，所以不能构成堆，调整它的位置把它和较大的儿子交换62430202118312550302462021183125502)调整后，右子树的根仍小于它的儿子，所以把它和它的大儿子交换**of158堆堆—堆调整3)新堆构成30241820216312550**of158堆排序（HeapSort)堆—堆调整voidHeapAdjust(int*h,introot,intm){

//已知h[root..m]除根root以外都满足堆的定义，目的成为大顶堆intrc;rc=h[root];intj;for(j=2*root;j=m;j*=2){//沿较大儿子向下筛选if(jmh[j]h[j+1])j++;//j为较大儿子的下标if(rc=h[j])break;//rc应该插入在位置root上h[root]=h[j];root=j;}h[root]=rc; }**of158堆堆—堆建立堆建立是把一个无序的序列建成一个堆的过程它是思想是从最底层的子树进行堆调整，先将子树建成堆，然后继续调整，直到整个树构成堆2021356183012502420213524183012506**of158堆堆—堆建立堆建立是把一个无序的序列建成一个堆的过程它是思想是从最底层的子树进行堆调整，先将子树建成堆，然后继续调整，直到整个树构成堆2021350241830125620213050241831256**of158堆堆—堆建立堆建立是把一个无序的序列建成一个堆的过程它是思想是从最底层的子树进行堆调整，先将子树建成堆，然后继续调整，直到整个树构成堆2050302124183125650243021201831256**of158堆堆—堆建立最后一个非叶节点是从[n/2]开始的，所以从这个节点开始向前调整for(inti=length/2;i0;i--){ HeapAdjust(h,i,length);}**of158方法概述:示例1示例1（FIFO队列分枝限界法）问题：0-1背包问题:物品数n=3,重量w=(20,15,15),价值v=(40,25,25),背包容量c=30,试装入最大价值之和的物品?求解：①解空间:{(0,0,0),(0,0,1),…,(1,1,1)}②解空间树:DBHAIEJKFCLMGNO11111110000000**of158方法概述:示例1③BFS搜索（FIFO队列）扩展结点活结点队列(可行结点)可行解(叶结点)解值AB,CBCBD,E(D死结点)CE