用优先队列式分支限界法解决0-1背包问题

来源:互联网 发布:java常用框架 编辑:程序博客网 时间:2024/05/20 13:37
用优先队列式分支限界法解决0-1背包问题的算法思想:
1.分支限界法常以广度优先或最小耗费优先(最大效益优先)方式搜索问题的解空间树, 对于0-1背包问题的解空间树是一个颗子集树。
2.在分支限界法中有一个活结点表,活结点表中的每个活结点只有一次机会成为扩展结点,一旦成为  扩展结点就一次性产生所有儿子结点,在这些儿子结点中,导致不可行解或导致非最优解的儿子 结点被舍弃,其余儿子结点被加入到活结点表中。对于0-1背包问题中的每个活结点只有两个儿子 结点,分别表示对物品i的选取和对物品i的舍去;在判断儿子结点是否能加入到活结点表中,有两个 函数需要满足,第一个称为约束函数,判断能否满足背包容量约束,第二个称为限界函数,判断 是否可能有最优解。
3.为了尽快找到0-1背包问题的解,每次选取下一个活结点成为扩展结点的判断依据是当前情况下 最有可能找到最优解的下一个结点。因此,每次选择扩展结点的方法:当前情况下,在活结点表中 选择活结点的上界uprofit(通过限界函数Bound求出)最大的活结点成为当前的扩展结点。 这一过程一直持续到找到所需的解或活结点表为空时为止。这个过程体现出分支限界法以“最大 效益优先”方式进行。
4.为了在活结点表中选择拥有最大的上界uprofit的活结点,在活结点表上实现优先队列。
5.通过上述第3点,可以求出0-1背包问题的最优值。为了求出0-1背包问题的最优解,对于每一个在 活结点表中的活结点创建一个树结点,树节点需要反映该结点的父节点和是否有左孩子(有左孩子 表示物品i选取了,没有左孩子表示物品i舍去了)。因此,可以构造一颗子集树,最优解就是从树根 到叶子结点的路径,子集树的第i层的所有结点就是在不同情况下对物品i的取舍结点。构造最优解的 顺序是从叶子结点到根结点的过程。

从上述算法思想中,得出必须解决的问题:
1.优先队列式的活结点表
2.活结点表对应的子集树

算法涉及的函数功能:
1.建立一个最大堆、初始化最大堆、在最大堆中插入一个元素和在最大堆中取出最大元素
2.求解0-1背包问题的主函数Knapsack
3.向子集树和最大堆中插入结点函数AddLiveNode
4.计算结点价值上界函数Bound,为了方便,需要对物品以单位价值量排序
5.负责求解0-1背包问题的最优值和最优解函数MaxKnapsack

算法涉及的类:
1.树结点类,用于构造子集树,以便计算最优解
2.堆结点类,用于定义堆元素类型,便于MaxKnapsack函数使用
3.最大堆类,用于实现优先队列
4.物品类,用于保存物品编号和物品的单位重量价值
5.解决0-1背包问题的主类

以下是具体的代码:

#include "stdafx.h"#include <iostream>using namespace std;   typedef int Typew;typedef int Typep;//物品类class Object{friend Typep Knapsack(Typew *, Typep *, Typew, int, int *);public:int operator <= (Object a) const{return (d >= a.d);}private:int ID; //物品编号float d; //单位重量价值};//树结点类class bbnode{friend class Knap;friend Typep Knapsack(Typew *, Typep *, Typew, int, int *);private:bbnode *parent; //指向父节点的指针int LChild; //如果是左儿子结点取1,也即说明该物品已装进背包};//堆结点类class HeapNode{friend class Knap;friend class MaxHeap;public:operator Typep()const{return uprofit;};private:Typep uprofit, //结点的价值上界  profit; //结点所相应的价值Typew weight; //结点所相应的重量int level; //活结点在子集树中所处的层序号bbnode *elemPtr; //指向该活结点在子集树中相应结点的指针};//最大堆类class MaxHeap{public:MaxHeap(int maxElem){HeapElem = new HeapNode* [maxElem+1]; //下标为0的保留capacity = maxElem;size = 0;}void InsertMax(HeapNode *newNode);HeapNode DeleteMax(HeapNode* &N);private:int capacity;         int size;         HeapNode **HeapElem; };//0-1背包问题的主类class Knap{//Knapsack主函数功能:解决初始化、求解最优值和最优解、回收内存friend Typep Knapsack(Typew *, Typep *, Typew, int, int *);public:Typep MaxKnapsack();private:MaxHeap *H;//Bound辅助Maxknapsack函数:计算结点价值上界Typep Bound(int i);//AddLiveNode辅助Maxknapsack函数:将活结点插入子集树和优先队列中void AddLiveNode(Typep up, Typep cp, Typew cw, int ch, int level);bbnode *E; //指向扩展结点的指针Typew c; //背包容量int n; //物品总数Typew *w; //物品重量数组(以单位重量价值降序)Typep *p; //物品价值数组(以单位重量价值降序)Typew cw; //当前装包重量Typep cp; //当前装包价值int *bestx; //最优解};void MaxHeap::InsertMax(HeapNode *newNode){//极端情况下暂未考虑,比如堆容量已满等等int i = 1;for (i = ++size; i/2 > 0 && HeapElem[i/2]->uprofit < newNode->uprofit; i /= 2){HeapElem[i] = HeapElem[i/2];}HeapElem[i] = newNode;}HeapNode MaxHeap::DeleteMax(HeapNode *&N){//极端情况下暂未考虑if(size >0 ){N = HeapElem[1];//从堆顶开始调整int i = 1;while(i < size){if(((i*2 +1) <= size) && HeapElem[i*2]->uprofit > HeapElem[i*2 +1]->uprofit){HeapElem[i] = HeapElem[i*2];i = i*2;}else{ if(i*2 <= size){HeapElem[i] = HeapElem[i*2];i = i*2;}elsebreak;}}if(i < size) HeapElem[i] = HeapElem[size];}size--;return *N;}Typep Knap::MaxKnapsack(){H = new MaxHeap(1000);bestx = new int [n+1];//初始化,为处理子集树中的第一层做准备,物品i处于子集树中的第i层int i = 1; //生成子集树中的第一层的结点E = 0; //将首个扩展点设置为null,也就是物品1的父节点cw = 0;cp = 0;Typep bestp = 0; //当前最优值 Typep up = Bound(1); // 选取物品1之后的价值上界//当选择左儿子结点时,上界约束up不用关心,重量约束wt需要考虑。因为上界约束跟父节点相同。//当选择右儿子结点时,上界约束up需要考虑,重量约束不需要考虑。因为父节点和该结点重量相同。while (i != n+1){//检查当前扩展结点的左儿子结点Typew wt = cw + w[i]; //当前选择物品i之后的总重量wtif(wt <= c) //背包能将物品i装下,也即当前扩展结点的左儿子结点可行{if(cp + p[i] > bestp)bestp = cp + p[i];AddLiveNode(up, cp + p[i], cw + w[i], 1, i);}//检查当前扩展结点的右儿子结点up = Bound(i + 1); //未选择物品i之后的价值上界if(up >= bestp)AddLiveNode(up, cp, cw, 0, i);//从优先队列中选择价值上界最大的结点成为扩展结点HeapNode* N;H->DeleteMax(N);E = N->elemPtr;cw = N->weight;cp = N->profit;up = N->uprofit;i = N->level + 1; //准备生成N.level+1层的子集树结点}//从子集树中的某叶子结点开始构造当前最优解for (int i = n; i > 0; i--){bestx[i] = E->LChild;E = E->parent;}return cp;}Typep Knap::Bound(int i){Typew cleft = c - cw;Typep b = cp;while (i<=n && w[i] <= cleft){cleft -= w[i];b += p[i];i++;}if(i<=n) b += p[i]/w[i] * cleft;return b;}void Knap::AddLiveNode(Typep up, Typep cp, Typew cw, int ch, int level){bbnode *b=new bbnode;         b->parent=E;         b->LChild=ch;     HeapNode *N = new HeapNode;      N->uprofit=up;      N->profit=cp;      N->weight=cw;         N->level=level;  N->elemPtr=b;     H->InsertMax(N);  }//Knapsack返回最大价值,最优值保存在bestxTypep Knapsack(Typew *w, Typep *p, Typew c, int n, int *bestx){//数组w、p和bestx中下标为0的元素保留不用//初始化Typew W = 0;Typep P = 0;Object *Q = new Object[n];for(int i =1; i<=n; i++){Q[i-1].ID = i;Q[i-1].d = 1.0*p[i]/w[i];P += p[i];W += w[i];}//所有物品的总重量小于等于背包容量cif (W <= c) {for(int i =1; i<=n; i++){bestx[i] = p[i];}return P;}//所有物品的总重量大于背包容量c,存在最佳装包方案//sort(Q,n);对物品以单位重量价值降序排序//采用简单冒泡排序for(int i = 1; i<n; i++)for(int j = 1; j<= n-i; j++){if(Q[j-1].d < Q[j].d){Object temp = Q[j-1];Q[j-1] = Q[j];Q[j] = temp;}}Knap K;K.p = new Typep [n+1];K.w = new Typew [n+1];for(int i = 1; i<=n; i++){K.p[i] = p[Q[i-1].ID];//(以单位重量价值降序排序)K.w[i] = w[Q[i-1].ID];//(以单位重量价值降序排序)}K.cp = 0;K.cw = 0;K.c = c;K.n = n;Typep bestp = K.MaxKnapsack();for(int i = 1; i<=n; i++){bestx[Q[i-1].ID] = K.bestx[i];}delete [] Q;delete [] K.w;delete [] K.p;delete [] K.bestx;delete [] K.H;return bestp;}int _tmain(int argc, _TCHAR* argv[]){const int N = 4;             Typew c=8; //背包容量  int bestx[N+1]; //最优解int bestp; //最优值//需要说明的是,这里的数组p[]和w[]的第一个元素是-1,这是因为我在操作过程中//都是从数组元素的1开始的,而我们知道数组中第一个元素是0号元素,所以我这里用-1填上    Typep p[]={-1,6,4,7,4};//物品价值     Typew w[]={-1,2,3,5,2};//物品重量 bestp = Knapsack(w, p, c, N, bestx);cout<<"物品总数N = "<< N<<",背包容量C = "<< c<<endl;for (int i = 1; i <= N; i++){if(i ==1 ) cout<<"重量数组:";cout<<w[i];if(i != N) cout<<",";elsecout<<endl;}for (int i = 1; i <= N; i++){if(i ==1 ) cout<<"价值数组:";cout<<p[i];if(i != N) cout<<",";elsecout<<endl;}for (int i = 1; i <= N; i++){if(i ==1 ) cout<<"是否选取:";cout<<bestx[i];if(i != N) cout<<",";elsecout<<endl;}cout<<"背包最优价值:"<<bestp<<endl;system("pause");return 0;}
运行结果如下图:



1 0
原创粉丝点击