第9章分支限界法技术方案.pptVIP

9.2.3 装载问题 问题描述：略。 分析： 解空间：X=(x1,x2,…,xn)，xi∈Si={0, 1}，i=1,2,…,n 约束函数： 目标函数： 下界：… 上界：… 上限界函数： 左孩子：Ew+w[i+1] = c1 右孩子：Ew+ bestw 改进 搜索算法设计： 队列式分支限界： while (true) { // 检查左儿子结点 Type wt = Ew + w[i]; // 左儿子结点的重量 if (wt = c) { // 可行结点 if (wt bestw) bestw = wt; // 加入活结点队列 if (i n) Q.Add(wt); } // 检查右儿子结点 if (Ew + r bestw i n) Q.Add(Ew); // 可能含最优解 Q.Delete(Ew); // 取下一扩展结点 if (Ew == -1) { // 同层结点尾部 if (Q.IsEmpty()) return bestw; Q.Add(-1); // 同层结点尾部标志 Q.Delete(Ew); // 取下一扩展结点 i++; r-=w[i];} // 进入下一层 } } 提前更新bestw 右儿子剪枝 优先队列式分支限界： 采用最大优先队列存储活结点表。活结点x在优先队列中的优先级定义为：从根结点到结点x的路径所相应的载重量Ew + 剩余集装箱的重量r。 子集树中叶结点所相应的载重量与其优先级相同，一旦有一个叶结点成为当前扩展结点，则可以断言该叶结点所相应的解即为最优解。此时可终止算法。 实现方法：(PT表结点的结构) 在活结点中保存从解空间树的根结点到该活结点的路径； 搜索进程中保存当前已构造出的部分解空间树； 算法描述（采用第二种方式实现PT表）： templateclass Type class HeapNode; class bbnode { friend void AddLiveNode(MaxHeapHeapNodeint , bbbnode *, int, bool, int); friend int MaxLoading(int *, int, int, int *); friend class AdjacencyGraph; private: bbnode * parent; //指向父结点的指针 bool LChild; //左孩子结点标志 }; templateclass Type class HeapNode { friend void AddLiveNode(MaxHeapHeapNodeType , bbnode *, Type, bool, int); friend Type MaxLoading(Type *, Type, int, int *); public: operator Type() const {return uweight;} private: bbnode *ptr; //指向活结点在子集树中相应结点的指针 Type uweight; //活结点优先级(上界) int level; //活结点在子集树中所处的层序号 }; templateclass Type void AddLiveNode(MaxHeapHeapNodeType H, bbnode *E, Type wt, bool ch, int lev) {//将活结点加入到表示活结点优先队列的最大堆H中 bbnode *b = new bbnode; b-parent = E; b-Lchild = ch; HeapNodeType N; N.uweight = wt; N.level = lev; N.ptr = b; H.Inset