回溯法--装载问题

问题描述:

  有一批共n个集装箱要装上2艘载重量分别为c1和c2的轮船,其中集装箱i的重量是wi,且不能超。

算法思想:

  最优装载方案: 将第一艘轮船尽可能的装满;  然后将剩余的装载第二艘船上

算法描述:

template <class Type>
class Loading
{
    friend Type MaxLoading(Type [],Type,int);
    private:
        void Backtrack(int i);
        int n;
        Type * w,c,cw,bestw;
};
template <class Type>
void Loading<Type>::Backtrack(int i)
{
    if(i>n)
    {
        if(cw>bestw)
            bestw = cw;
        return;
    }
    if(cw+w[i] <= c)
    {
        cw += w[i];
        Backtrack(i+1);
        cw -= w[i];
    }
    Backtrack(i+1);
}
template <class Type>
Type MaxLoading(Type w[],Type c,int n)
{
    Loading<Type> X;
    X.w = w;
    X.c = c;
    X.n = n;
    X.bestw = 0;
    X.cw = 0;
    X.Backtrack(1);
    return X.bestw;
}

上界函数:

引入上界函数,用于剪去不含最优解的子树:

template <class Type>
class Loading
{
    friend Type MaxLoading(Type [],Type,int);
    private:
        void Backtrack(int i);
        int n;
        Type * w,
            c,
            cw,
            bestw,
            r;//剩余集装箱重量
};
template <class Type>
void Loading<Type>::Backtrack(int i)
{
    if(i>n)
    {
        if(cw>bestw)
            bestw = cw;
        return;
    }
    r-=w[i];//计算剩余的集装箱的重量
    if(cw+w[i] <= c)
    {
        cw += w[i];
        Backtrack(i+1);
        cw -= w[i];
    }
    Backtrack(i+1);
    r+=w[i];//如果得不到最优解,再取消当前的集装箱,表示未选,因此剩余容量要再加上当前集装箱重量
}
template <class Type>
Type MaxLoading(Type w[],Type c,int n)
{
    Loading<Type> X;
    X.w = w;
    X.c = c;
    X.n = n;
    X.bestw = 0;
    X.cw = 0;
    X.r = 0;
    for(int i=1;i<=n;i++)//计算总共的剩余集装箱重量
        X.r += w[i];
    X.Backtrack(1);
    return X.bestw;
}

构造最优解:

  为了构造最优解,必须在算法中保存最优解的记录。因此需要两个成员数组 x ,bestx,一个用于记录当前的选择,一个用于记录最优记录。

改进后的算法描述如下:

template <class Type>
class Loading
{
    friend Type MaxLoading(Type [],Type,int);
    private:
        void Backtrack(int i);
        int n,
            * x,
            * bestx;
        Type * w,
            c,
            cw,
            bestw,
            r;//剩余集装箱重量
};
template <class Type>
void Loading<Type>::Backtrack(int i)
{
    if(i>n)
    {
        if(cw>bestw)
        {
            for(j=1;j<=n;j++)
                bestx[j] = x[j];
            bestw = cw;
        }
        return;
    }
    r-=w[i];//计算剩余的集装箱的重量
    if(cw+w[i] <= c)
    {
        x[i] =1;
        cw += w[i];
        Backtrack(i+1);
        cw -= w[i];
    }
    if(cw+r > bestw)
    {
        x[i] = 0;
        Backtrack(i+1);
    }
    r+=w[i];//如果得不到最优解,再取消当前的集装箱,表示未选,因此剩余容量要再加上当前集装箱重量
}
template <class Type>
Type MaxLoading(Type w[],Type c,int n)
{
    Loading<Type> X;
    X.w = w;
    X.c = c;
    X.n = n;
    X.bestx = bestx;
    X.bestw = 0;
    X.cw = 0;
    X.r = 0;
    for(int i=1;i<=n;i++)//计算总共的剩余集装箱重量
        X.r += w[i];
    X.Backtrack(1);
    delete []X,x;
    return X.bestw;
}

迭代回溯方式:

利用数组x所含的信息,可将上面方法表示成非递归的形式。省去O(n)递归栈空间。

template <class Type>
Type MaxLoading(Type w[],Type c,int n,int bestx[])
{
    //迭代回溯法,返回最优装载量及其相应解,初始化根节点
    int i =1;
    int *x = new int[n+1];
    Type bestw = 0,
        cw = 0,
        r = 0;
    for(int j=1;j<=n;j++)
        r+=w[j];
    while(true)
    {
        while(i<=n && cw+w[i]<=c)
        {
            r -= w[i];
            cw +=w[i];
            x[i] =1;
            i++;
        }
        if(i>n)
        {
            for(int j=1;j<=n;j++)
                bestx[j] = x[j];
            bestw = cw;
        }
        else
        {
            r -= w[i];
            x[i] = 0;
            i++;
        }
        while(cw+w[i] <= bestw)
        {
            i--;
            while(i>0 && !x[i])
            {
                r+=w[i];
                i--;
            }
            if(i == 0)
            {
                delete[] x;
                return bestw;
            }
            x[i] =0;
            cw -= w[i];
            i++;
        }
    }
}
时间: 2024-10-10 17:50:45

回溯法--装载问题的相关文章

回溯法——装载问题

问题描述: 有一批共n个集装箱要装上2艘载重量分别为c1和c2的轮船,其中集装箱i的重量是wi,且不能超,即Σwi<=c1+c2. 算法思想: --在给定的装载问题有解的情况下 最优装载方案: 首先将第一艘轮船尽可能的装满:  然后将剩余的集装箱装上第二艘轮船. 将第一艘轮船尽可能的装满等价于选取全体集装箱的一个子集,使该子集中集装箱重量之和最接近c1. 算法设计: 先考虑装载一艘轮船的情况,依次讨论每个集装箱的装载情况,共分为两种,要么装(1),要么不装(0),因此很明显其解空间树可以用子集树

回溯法求装载问题

1.回溯法 (1)描述:回溯法是一种选优搜索法,按选优条件向前搜索,以达到目标.但当探索到某一步时,发现原先选择并不优或达不到目标,就退回一步重新选择,这种走不通就退回再走的技术为回溯法.  (2)原理: 回溯法在问题的解空间树中,按深度优先策略,从根结点出发搜索解空间树.算法搜索至解空间树的任意一点时,先判断该结点是否包含问题的解.如果肯定不包含,则跳过对该结点为根的子树的搜索,逐层向其祖先结点回溯:否则,进入该子树,继续按深度优先策略搜索. 回溯法的基本做法是搜索,或是一种组织得井井有条的,

回溯法--无优化 最优装载问题

//#include "stdafx.h" // 回溯法,解空间分为排列数和子集树,前者是不同节点顺序的排列,后者是一个(0,1,...)的向量子集// 最大装载问题,是一个NP问题,目前只计算第一艘船,属于子集树// 有几个货物,子集树就有几层,当前题目为5层// 我感觉递归还是太过于精巧和经凑,很难挖空心思自己写出来,多熟悉别人现有的程序是一个好办法. #include<iostream>using namespace std; template<class T&

回溯法 -数据结构与算法

1.回溯法算法思想: 定义: 回溯法(探索与回溯法)是一种选优搜索法,按选优条件向前搜索,以达到目标.但当探索到某一步时,发现原先选择并不优或达不到目标,就退回一步重新选择,这种走不通就退回再走的技术为回溯法,而满足回溯条件的某个状态的点称为“回溯点”. 1.回溯法适用:有许多问题,当需要找出它的解集(全部解)或者要求回答什么解是满足某些约束条件的最优解时,往往要使用回溯法. 2.有组织的穷举式搜索:回溯法的基本做法是搜索或者有的组织穷尽搜索.它能避免搜索所有的可能性.即避免不必要的搜索.这种方

0-1背包-回溯法

算法描述: 0-1背包的回溯法,与装载问题的回溯法十分相似.在搜索解空间树时,只要其左儿子结点是一个可行结点,搜索就进入其左子树.当右子树中有可能包含最优解时才进入右子树进行搜索.否则将右子树剪去. 计算右子树上界的更好算法是: 将剩余物品依其单位重量价值排序,然后依次装入物品,直至装不下时,再装入该物品的一部分而装满背包. 算法实现: 由Bound函数计算当前节点处的上界. 类Knap的数据成员记录解空间树的节点信息,以减少参数传递及递归调用所需的栈空间. 在解空间树的当前扩展结点处,仅当要进

回溯法-01背包问题之一:递归模式

一.回溯法 回溯法是一个既带有系统性又带有跳跃性的搜索算法.它在包含问题的所有解的解空间树中按照深度优先的策略,从根节点出发搜索解空间树.算法搜索至解空间树的任一节点时,总是先判断该节点是否肯定不包含问题的解.如果肯定不包含,则跳过对以该节点为根的子树的系统搜索,逐层向其原先节点回溯.否则,进入该子树,继续按深度优先的策略进行搜索. 运用回溯法解题通常包含以下三个步骤: · 针对所给问题,定义问题的解空间: · 确定易于搜索的解空间结构: · 以深度优先的方式搜索解空间,并且在搜索过程中用剪枝函

回溯法与分支限界

回溯法 1.有许多问题,当需要找出它的解集或者要求回答什么解是满足某些约束条件的最佳解时,往往要使用回溯法. 2.回溯法的基本做法是搜索,或是一种组织得井井有条的,能避免不必要搜索的穷举式搜索法.这种方法适用于解一些组合数相当大的问题. 3.回溯法在问题的解空间树中,按深度优先策略,从根结点出发搜索解空间树.算法搜索至解空间树的任意一点时,先判断该结点是否包含问题的解.如果肯定不包含(剪枝过程),则跳过对该结点为根的子树的搜索,逐层向其祖先结点回溯:否则,进入该子树,继续按深度优先策略搜索. 问

回溯法--0-1背包问题

算法描述: 0-1背包的回溯法,与装载问题的回溯法十分相似.在搜索解空间树时,只要其左儿子结点是一个可行结点,搜索就进入其左子树.当右子树中有可能包含最优解时才进入右子树进行搜索.否则将右子树剪去. 计算右子树上界的更好算法是: 将剩余物品依其单位重量价值排序,然后依次装入物品,直至装不下时,再装入该物品的一部分而装满背包. 算法实现: 由Bound函数计算当前节点处的上界. 类Knap的数据成员记录解空间树的节点信息,以减少参数传递及递归调用所需的栈空间. 在解空间树的当前扩展结点处,仅当要进

算法设计与分析——回溯法算法模板

以深度优先方式系统搜索问题解的算法称为回溯法.在回溯法中,解空间树主要分为了四种子集树.排列树.n叉树和不确定树. 在<算法设计与分析课本>中介绍了11个回溯法的问题样例,这里根据解空间树的类型做一个分类. 子集树 装载问题 符号三角形问题 0-1背包问题 最大团问题 算法模板: void backtrack(int t) { if(搜索到叶子结点) { return; } for(i=0; i<=1; i++) //01二叉树 { if(满足约束函数和限界函数)//剪枝 { backt