装载问题

  1、回溯法

     (1)描述:回溯法是一种选优搜索法,按选优条件向前搜索,以达到目标。但当探索到某一步时,发现原先选择并不优或达不到目标,就退回一步重新选择,这种走不通就退回再走的技术为回溯法

     (2)原理: 回溯法在问题的解空间树中,按深度优先策略,从根结点出发搜索解空间树。算法搜索至解空间树的任意一点时,先判断该结点是否包含问题的解。如果肯定不包含,则跳过对该结点为根的子树的搜索,逐层向其祖先结点回溯;否则,进入该子树,继续按深度优先策略搜索

      回溯法的基本做法是搜索,或是一种组织得井井有条的,能避免不必要搜索的穷举式搜索法。这种方法适用于解一些组合数相当大的问题。有许多问题,当需要找出它的解集或者要求回答什么解是满足某些约束条件的最佳解时,往往要使用回溯法。

     (3)问题的解空间

     问题的解向量:回溯法希望一个问题的解能够表示成一个n元式(x1,x2,…,xn)的形式。

     显约束:对分量xi的取值限定。

     隐约束:为满足问题的解而对不同分量之间施加的约束。

     解空间:对于问题的一个实例,解向量满足显式约束条件的所有多元组,构成了该实例的一个解空间。

     注意:同一个问题可以有多种表示,有些表示方法更简单,所需表示的状态空间更小(存储量少,搜索方法简单)。

     

     (4)生成问题状态的基本方法

     扩展结点:一个正在产生儿子的结点称为扩展结点。
     活结点:一个自身已生成但其儿子还没有全部生成的节点称做活结点。
     死结点:一个所有儿子已经产生的结点称做死结点。
     深度优先的问题状态生成法:如果对一个扩展结点R,一旦产生了它的一个儿子C,就把C当做新的扩展结点。在完成对子树C(以C为根的子树)的穷尽搜索之后,将R重新变成扩展结点,继续生成R的下一个儿子(如果存在)。

     宽度优先的问题状态生成法:在一个扩展结点变成死结点之前,它一直是扩展结点。
     回溯法:为了避免生成那些不可能产生最佳解的问题状态,要不断地利用限界函数(bounding function)来处死那些实际上不可能产生所需解的活结点,以减少问题的计算量。具有限界函数的深度优先生成法称为回溯法

     (5)回溯法的基本思想

     基本思想:

     用回溯法解题的一个显著特征是在搜索过程中动态产生问题的解空间。在任何时刻,算法只保存从根结点到当前扩展结点的路径。如果解空间树中从根结点到叶结点的最长路径的长度为h(n),则回溯法所需的计算空间通常为O(h(n))。而显式地存储整个解空间则需要O(2h(n))或O(h(n)!)内存空间。

     解题步骤:

     1)针对所给问题,定义问题的解空间
     2)确定易于搜索的解空间结构;
     3)以深度优先方式搜索解空间,并在搜索过程中用剪枝函数避免无效搜索。

    常用剪枝函数:用约束函数在扩展结点处剪去不满足约束的子树;用限界函数剪去得不到最优解的子树。

     递归回溯:

     回溯法对解空间作深度优先搜索,因此,在一般情况下用递归方法实现回溯法。

 

 

    迭代回溯:

    采用树的非递归深度优先遍历算法,可将回溯法表示为一个非递归迭代过程。

 

 

    子集树:当所给的问题是从n个元素的集合S中找出满足某种性质的子集时,相应的解空间称为子集树。例如,那个物品的0-1背包问题所相应的解空间树就是一颗子集树。这类子集问题通常有2^n个叶节点,其节点总个数为2^(n+1)-1。遍历子集树的任何算法均需要O(2^n)的计算时间。

     用回溯法遍历子集树的一般算法可描述如下:

 

 

   排列树:当所给问题是确定n个元素满足某种性质的排列时,相应的解空间树称为排列树。排列树通常有n!个叶子节点。因此遍历排列树需要O(n!)的计算时间。

 

    用回溯法遍历排列树的一般算法可描述如下:

 问题描述:有一批共n个集装箱要装上2艘载重量分别为c1和c2的轮船,其中集装箱i的重量为wi,且,装载问题要求确定是否有一个合理的装载方案可将这些集装箱装上这2艘轮船。如果有,找出一种装载方案。

     例如:当n=3,c1=c2=50,且w=[10,40,40]时,则可以将集装箱1和2装到第一艘轮船上,而将集装箱3装到第二艘轮船上;如果w=[20,40,40],则无法将这3个集装箱都装上轮船。

   基本思路: 容易证明,如果一个给定装载问题有解,则采用下面的策略可得到最优装载方案。
    (1)首先将第一艘轮船尽可能装满;
    (2)将剩余的集装箱装上第二艘轮船。
    将第一艘轮船尽可能装满等价于选取全体集装箱的一个子集,使该子集中集装箱重量之和最接近C1。由此可知,装载问题等价于以下特殊的0-1背包问题。

    用回溯法设计解装载问题的O(2^n)计算时间算法。在某些情况下该算法优于动态规划算法。

    算法设计:

    用回溯法解装载问题时,用子集树表示其解空间显然是最合适的。用可行性约束函数可剪去不满足约束条件的子树。在子集树的第j+1层的结点z处,用cw记当前的装载重量,即cw=,则当cw>c1时,以结点z为根的子树中所有结点都不满足约束条件,因而该子树中的解均为不可行解,故可将该子树剪去。(该约束函数去除不可行解,得到所有可行解)。

     可以引入一个上界函数,用于剪去不含最优解的子树,从而改进算法在平均情况下的运行效率。设z是解空间树第i层上的当前扩展结点。cw是当前载重量;bestw是当前最优载重量;r是剩余集装箱的重量,即r=。定义上界函数为cw+r。在以z为根的子树中任一叶结点所相应的载重量均不超过cw+r。因此,当cw+r<=bestw时,可将z的右子树剪去。

    

  1. #include "stdafx.h"  
  2. #include <iostream>  
  3. using namespace std;   
  4.   
  5. template<class Type>  
  6. Type MaxLoading(Type w[ ], Type c, int n, int bestx[ ]);  
  7.   
  8. int main()  
  9. {     
  10.     int n=3,m;  
  11.     int c=50,c2=50;  
  12.     int w[4]={0,10,40,40};  
  13.     int bestx[4];  
  14.   
  15.     m=MaxLoading(w, c, n, bestx);  
  16.   
  17.     cout<<"轮船的载重量分别为:"<<endl;  
  18.     cout<<"c(1)="<<c<<",c(2)="<<c2<<endl;  
  19.   
  20.     cout<<"待装集装箱重量分别为:"<<endl;  
  21.     cout<<"w(i)=";  
  22.     for (int i=1;i<=n;i++)  
  23.     {  
  24.         cout<<w[i]<<" ";  
  25.     }  
  26.     cout<<endl;  
  27.   
  28.     cout<<"回溯选择结果为:"<<endl;  
  29.     cout<<"m(1)="<<m<<endl;  
  30.     cout<<"x(i)=";  
  31.   
  32.     for (int i=1;i<=n;i++)  
  33.     {  
  34.         cout<<bestx[i]<<" ";  
  35.     }  
  36.     cout<<endl;  
  37.   
  38.     int m2=0;  
  39.     for (int j=1;j<=n;j++)  
  40.     {  
  41.         m2=m2+w[j]*(1-bestx[j]);  
  42.     }  
  43.     cout<<"m(2)="<<m2<<endl;  
  44.   
  45.     if(m2>c2)   
  46.     {  
  47.         cout<<"因为m(2)大于c(2),所以原问题无解!"<<endl;  
  48.     }  
  49.     return 0;  
  50. }  
  51.   
  52.   
  53. template <class Type>  
  54. Type MaxLoading(Type w[],Type c,int n,int bestx[])//迭代回溯法,返回最优载重量及其相应解,初始化根结点  
  55. {  
  56.     int i=1;//当前层,x[1:i-1]为当前路径  
  57.     int *x=new int[n+1];  
  58.   
  59.     Type bestw=0,      //当前最优载重量  
  60.          cw=0,         //当前载重量  
  61.          r=0;          //剩余集装箱重量  
  62.   
  63.     for (int j=1;j<=n;j++)  
  64.     {  
  65.         r+=w[j];  
  66.     }  
  67.   
  68.     while(true)//搜索子树  
  69.     {       
  70.         while(i<=n &&cw+w[i]<=c)//进入左子树  
  71.         {  
  72.             r-=w[i];  
  73.             cw+=w[i];  
  74.             x[i]=1;  
  75.             i++;  
  76.         }  
  77.           
  78.         if (i>n)//到达叶结点  
  79.         {        
  80.             for (int j=1;j<=n;j++)  
  81.             {  
  82.                 bestx[j]=x[j];  
  83.             }  
  84.             bestw=cw;  
  85.         }  
  86.         else//进入右子树  
  87.         {            
  88.             r-=w[i];  
  89.             x[i]=0; i++;  
  90.         }  
  91.         while (cw+r<=bestw)  
  92.         { //剪枝回溯  
  93.             i--;     
  94.             while (i>0 && !x[i])  
  95.             {   
  96.                 r+=w[i];  
  97.                 i--;  
  98.             }     
  99.             //从右子树返回  
  100.             if (i==0)  
  101.             {  
  102.                 delete []x;  
  103.                 return bestw;  
  104.             }  
  105.             x[i]=0;  
  106.             cw-=w[i];  
  107.             i++;  
  108.         }   
  109.     }    
  110. }  

转载于:https://www.cnblogs.com/yuxingxing/p/5500168.html

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/403770.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

android开发(13) 尝试在流布局中移动控件

我们常用的linearlayout,等都属于流布局&#xff0c;在流布局中如何移动控件呢&#xff1f; 我决定做个尝试。虽然可以使用绝对布局&#xff0c;但我不倾向使用这个布局。那么看看我的方式吧。 记得margin这个属性吗&#xff0c;我们就用来它来控制控件的位置&#xff0c;改动它…

第一章 处理器体系结构

1.请简述精简指令集RISC和复杂指令集CISC的区别 2.请简述数值 0x123456789 在大小端字节序处理器的存储器中的存储方式 3.请简述在你所熟悉的处理器&#xff08;比如双核Cortex-A9&#xff09;中一条存储读写指令的执行全过程 4.请简述内存屏障&#xff08;memory barrier&am…

给element的select添加复选框

需求&#xff1a;要求给select多选的时候&#xff0c;给下拉框前加上复选框样式 element select原样式 需要更改后的样式 html <el-selectv-model"searchObj.knowledgeIds"class"select-box"filterablemultiplecollapse-tagsstyle"margin-left…

修改复选框样式

//默认input[type"checkbox"] {margin-top: 7px;cursor: pointer;position: relative;width: 14px;height: 14px;font-size: 14px;margin-right: 8px;background-color:#fff;}//选中后修改input[type"checkbox"]::after {position: absolute;top: 0;//修改…

Vue 作用域插槽

原博出处&#xff1a; 作者&#xff1a;SentMes 链接&#xff1a;SentMes作者书写的作用于插槽链接 https://www.jianshu.com/p/0c9516a3be80 来源&#xff1a;简书 ** ** ** 十分感谢原作者&#xff0c;写的十分详细&#xff0c;原作者辛苦了&#xff01; 深入理解vue中的s…

I/O多路复用之epoll

2019独角兽企业重金招聘Python工程师标准>>> 在上一章&#xff0c;我们对select进行了大致的描述&#xff0c;知道了它相对传统的阻塞式服务提高了并发度&#xff0c;但是它也由于轮询而导致效率底下。本文对epoll进行讲解&#xff0c;相比select它的并发度更高&…

Xtreme TaskPanel

原文来自方案网 http://www.fanganwang.com/Product-detail-item-1230.html&#xff0c;欢迎转载。 关键字&#xff1a;TaskPanel Codejock Xtreme TaskPanel为Windows开发者提供了一个非常熟悉的任务栏&#xff0c;与Windows资源管理器类似。该任务面板可以像VS.NET工具一样被…

vscode tab键快捷生成元素html标签

按照上图在设置中找到对应的文件夹&#xff0c; 直接加上"emmet.triggerExpansionOnTab": true,这段代码保存 重新打开vscode即可

解决vscode格式化代码html属性换行问题; ctrl+s格式化去除分号,格式化自动单引号;解决js格式化换行问题;mac上的settings.json完整配置

右键格式化文档或者ctrl s保存 html不换行 1.安装两个插件①vetur ②Prettier - Code formatter 2.在vetur的settings.json中设置 配置ctrls触发格式化去除分号和单引号&#xff1b;配置格式化js换行&#xff1b;配置解决html属性换行 将最后一部分的设置&#xff0c;修改…

uniapp使用iconfont字体图标

vue引入字体图标看这篇 本文介绍两种方案&#xff1a;一、使用iconfont字体图标 二、使用icon图片 情景1&#xff1a;使用灰色的字体图标 方案一&#xff1a;使用iconfont字体图标 步骤1&#xff1a;下载iconfont 步骤2&#xff1a;解压后只需要将ifonfont.css这一个文件 &am…

socket选项: SO_REUSEADDR, SO_RCVBUF, SO_SNDBUF

From: http://blog.csdn.net/jasonliuvip/article/details/22591531 最近在看《linux高性能服务器编程》&#xff0c;在此做个日记&#xff0c;以激励自己&#xff0c;同时分享于有需要的朋友。 1. 读取和设置socket文件描述符属性&#xff1a; [cpp] view plaincopy#include …

VScode配置eslint保存自动格式化,eslint格式化去掉分号和双引号。vscode自动保存去掉分号和双引号;““

本文是开启eslint检验和配置eslint格式化&#xff1b;如果想要关闭eslint&#xff0c;查看这篇关闭eslint方法&#xff1b; 1.必须安装的三个插件eslint&#xff0c; prettier-Code formatter &#xff0c;vetur 2.配置setting.json 3.直接将下方代码复制&#xff0c;黏…

uniapp网络请求封装;小程序请求接口封装;uni.request接口封装

另一篇全面封装文章 资源文章下载地址 1.正常使用uni.request()发送请求(未封装) get() {uni.request({url: http://192.168.1.191/abc//main/jiekouming/abclist?workType2,data: {},header: {Token: b042b36fwq909qwe9iiidsai2323sd232dw3},method: GET,success: (res) &…

Nginx_lua

首先让我们来了解一下Nginx_lua的设计指导思想&#xff1a; 1、基于Nginx 快速开发高性能、大并发的网络服务。 2、提供“同步非阻塞” 的I/O 访问接口简化I/O 多路复用体系中的业务逻辑开发&#xff1a; ■“同步”的主体是用户代码与其发起的I/O 请求处理流程之间的时序关系&…

MyTask4

最近稍微做了点修改&#xff0c;把几处bug修复了下&#xff0c;另外新增了授权码功能和数据缓冲功能 先看看效果图 1. 如果要把软件做的高大上一些&#xff0c;你可以加一个授权验证&#xff0c;授权码以字符串形式存放在程序里面&#xff0c;当然你也可以另外开一个窗体&#…

2015年第六届蓝桥杯C/C++程序设计本科B组决赛

1.积分之谜&#xff08;枚举&#xff09; 2.完美正方形 3.关联账户&#xff08;并查集&#xff09; 4.密文搜索 5.居民集会 6.模型染色 1.积分之迷 小明开了个网上商店&#xff0c;卖风铃。共有3个品牌&#xff1a;A&#xff0c;B&#xff0c;C。为了促销&#xff0c;每件商品都…

js上传文件;input上传文件;

html原生上传文件方式1&#xff1a; <!DOCTYPE html> <html><head><meta charset"utf-8" /><title>Document</title><script></script></head><body><div>选择文件(可多选):<input type&quo…

vuex随记

1.下载vue 2.引入封装 import Vue from vue import Vuex from vuex import getters from ./gettersVue.use(Vuex)const modulesFiles require.context(./modules, true, /\.js$/)const modules modulesFiles.keys().reduce((modules, modulePath) > {// set ./app.js &g…

接口报Provisional headers are shown原因和解决方法

1.前端访问后端接口报has been blocked by CORS policy: Request header field authorization is not allowed by Access-Control-Allow-Headers in preflight response. 2.原因&#xff1a;可能是你的接口请求头没有设置token