分支限界法

2018 年 6 月 12 日 算法与数据结构

来源:独酌逸醉

www.cnblogs.com/chinazhangjie/archive/2010/11/01/1866136.html


分支限界法与回溯法

(1)求解目标:回溯法的求解目标是找出解空间树中满足约束条件的所有解,而分支限界法的求解目标则是找出满足约束条件的一个解,或是在满足约束条件的解中找出在某种意义下的最优解。 (2)搜索方式的不同:回溯法以深度优先的方式搜索解空间树,而分支限界法则以广度优先或以最小耗费优先的方式搜索解空间树。

分支限界法的基本思想

分支限界法常以广度优先或以最小耗费(最大效益)优先的方式搜索问题的解空间树。在分支限界法中,每一个活结点只有一次机会成为扩展结点。活结点一旦成为扩展结点,就一次性产生其所有儿子结点。在这些儿子结点中,导致不可行解或导致非最优解的儿子结点被舍弃,其余儿子结点被加入活结点表中。 此后,从活结点表中取下一结点成为当前扩展结点,并重复上述结点扩展过程。这个过程一直持续到找到所需的解或活结点表为空时为止。

常见的两种分支限界法

(1)队列式(FIFO)分支限界法    按照队列先进先出(FIFO)原则选取下一个结点为扩展结点。 (2)优先队列式分支限界法    按照优先队列中规定的优先级选取优先级最高的结点成为当前扩展结点。

一、单源最短路径问题

1、问题描述

在下图所给的有向图G中,每一边都有一个非负边权。要求图G的从源顶点s到目标顶点t之间的最短路径。

下图是用优先队列式分支限界法解有向图G的单源最短路径问题产生的解空间树。其中,每一个结点旁边的数字表示该结点所对应的当前路长。

找到一条路径:

目前的最短路径是8,一旦发现某个结点的下界不小于这个最短路进,则剪枝:

同一个结点选择最短的到达路径:

2.剪枝策略

在算法扩展结点的过程中,一旦发现一个结点的下界不小于当前找到的最短路长,则算法剪去以该结点为根的子树。

在算法中,利用结点间的控制关系进行剪枝。从源顶点s出发,2条不同路径到达图G的同一顶点。由于两条路径的路长不同,因此可以将路长长的路径所对应的树中的结点为根的子树剪去。

3.算法思想

解单源最短路径问题的优先队列式分支限界法用一极小堆来存储活结点表。其优先级是结点所对应的当前路长。

算法从图G的源顶点s和空优先队列开始。结点s被扩展后,它的儿子结点被依次插入堆中。此后,算法从堆中取出具有最小当前路长的结点作为当前扩展结点,并依次检查与当前扩展结点相邻的所有顶点。如果从当前扩展结点i到顶点j有边可达,且从源出发,途经顶点i再到顶点j的所相应的路径的长度小于当前最优路径长度,则将该顶点作为活结点插入到活结点优先队列中。这个结点的扩展过程一直继续到活结点优先队列为空时为止。

实现

* 作者:chinazhangjie

* 邮箱:chinajiezhang@gmail.com

* 开发语言:C++

* 开发环境:Mircosoft Virsual Studio 2008

* 时间: 2010.11.01

*/

 

#include <iostream>

#include <vector>

#include <queue>

#include <limits>

using namespace std;

 

struct node_info

{

public:

    node_info (int i,int w)

        : index (i), weight (w) {}

    node_info ()

        : index(0),weight(0) {}

    node_info (const node_info & ni)

        : index (ni.index), weight (ni.weight) {}

 

    friend

    bool operator < (const node_info& lth,const node_info& rth) {

        return lth.weight > rth.weight ; // 为了实现从小到大的顺序

    }

 

public:

    int index; // 结点位置

    int weight; // 权值

};

 

struct path_info

{

public:

    path_info ()

        : front_index(0), weight (numeric_limits<int>::max()) {}

 

public:

    int front_index;

    int weight;

};

 

// single source shortest paths

class ss_shortest_paths

{

    

public:

    ss_shortest_paths (const vector<vector<int> >& g,int end_location)

        :no_edge (-1), end_node (end_location), node_count (g.size()) , graph (g)

    {}

 

    // 打印最短路径

    void print_spaths () const {

        cout << "min weight : " << shortest_path << endl;

        cout << "path: " ;

        copy (s_path_index.rbegin(),s_path_index.rend(),

            ostream_iterator<int> (cout, " "));

        cout << endl;

    }

 

    // 求最短路径

    void shortest_paths () {

        vector<path_info> path(node_count);

        priority_queue<node_info,vector<node_info> > min_heap;

        min_heap.push (node_info(0,0));    // 将起始结点入队

 

        while (true) {

            node_info top = min_heap.top ();    // 取出最大值

            min_heap.pop ();

 

            // 已到达目的结点

            if (top.index == end_node) {

                break ;

            }

            // 未到达则遍历

            for (int i = 0; i < node_count; ++ i) {

                // 顶点top.index和i间有边,且此路径长小于原先从原点到i的路径长

                if (graph[top.index][i] != no_edge &&

                    (top.weight + graph[top.index][i]) < path[i].weight) {

                    min_heap.push (node_info (i,top.weight + graph[top.index][i]));

                    path[i].front_index = top.index;

                    path[i].weight = top.weight + graph[top.index][i];

                }

            }

            if (min_heap.empty()) {

                break ;

            }

        }

 

        shortest_path = path[end_node].weight;

        int index = end_node;

        s_path_index.push_back(index) ;

        while (true) {

            index = path[index].front_index ;

            s_path_index.push_back(index);

            if (index == 0) {

                break;

            }

        }

    }

 

private:

    vector<vector<int> >    graph ;            // 图的数组表示

    int                        node_count;        // 结点个数

    const int                no_edge;        // 无通路

    const int                end_node;        // 目的结点

    vector<int>                s_path_index;    // 最短路径

    int                        shortest_path;    // 最短路径

};

 

int main()

{

    const int size = 11;

    vector<vector<int> > graph (size);

    for (int i = 0;i < size; ++ i) {

        graph[i].resize (size);

    }

    for (int i = 0;i < size; ++ i) {

        for (int j = 0;j < size; ++ j) {

            graph[i][j] = -1;

        }

    }

    graph[0][1] = 2;

    graph[0][2] = 3;

    graph[0][3] = 4;

    graph[1][2] = 3;

    graph[1][5] = 2;

    graph[1][4] = 7;

    graph[2][5] = 9;

    graph[2][6] = 2;

    graph[3][6] = 2;

    graph[4][7] = 3;

    graph[4][8] = 3;

    graph[5][6] = 1;

    graph[5][8] = 3;

    graph[6][9] = 1;

    graph[6][8] = 5;

    graph[7][10] = 3;

    graph[8][10] = 2;

    graph[9][8] = 2;

    graph[9][10] = 2;

 

    ss_shortest_paths ssp (graph, 10);

    ssp.shortest_paths ();

    ssp.print_spaths ();

    return 0;

}


测试数据(图)

测试结果

min weight : 8

path: 0 2 6 9 10


参考书籍 《算法分析与设计(第二版)》 王晓东 编著
授课教师 张阳教授



●编号671,输入编号直达本文

●输入m获取文章目录

推荐↓↓↓

Python编程

更多推荐18个技术类公众微信

涵盖:程序人生、算法与数据结构、黑客技术与网络安全、大数据技术、前端开发、Java、Python、Web开发、安卓开发、iOS开发、C/C++、.NET、Linux、数据库、运维等。

登录查看更多
1

相关内容

最新《自动微分手册》77页pdf
专知会员服务
100+阅读 · 2020年6月6日
【学科交叉】抗生素发现的深度学习方法
专知会员服务
24+阅读 · 2020年2月23日
专知会员服务
41+阅读 · 2020年2月20日
必读的7篇 IJCAI 2019【图神经网络(GNN)】相关论文
专知会员服务
91+阅读 · 2020年1月10日
一文搞懂反向传播
机器学习与推荐算法
18+阅读 · 2020年3月12日
深度学习在图像处理的应用一览
极市平台
17+阅读 · 2019年11月21日
深度学习优化算法总结(SGD,AdaGrad,Adam等)
极市平台
34+阅读 · 2019年4月30日
深度学习面试100题(第71-75题)
七月在线实验室
5+阅读 · 2018年8月2日
递归神经网络
Datartisan数据工匠
4+阅读 · 2018年8月2日
机器学习面试题精讲(一)
七月在线实验室
4+阅读 · 2018年1月11日
机器学习、深度学习 知识点总结及面试题
全球人工智能
17+阅读 · 2018年1月4日
算法|学习人工智能算法,你必须掌握的32个算法!
全球人工智能
24+阅读 · 2017年9月17日
干货 | 机器学习算法大总结(ML岗面试常考)
机器学习算法与Python学习
6+阅读 · 2017年8月1日
GAFT:一个使用 Python 实现的遗传算法框架
Python开发者
10+阅读 · 2017年8月1日
Arxiv
13+阅读 · 2020年4月12日
S4Net: Single Stage Salient-Instance Segmentation
Arxiv
10+阅读 · 2019年4月10日
Panoptic Feature Pyramid Networks
Arxiv
3+阅读 · 2019年1月8日
Arxiv
5+阅读 · 2018年4月22日
Arxiv
15+阅读 · 2018年2月4日
Arxiv
7+阅读 · 2018年1月24日
VIP会员
相关资讯
一文搞懂反向传播
机器学习与推荐算法
18+阅读 · 2020年3月12日
深度学习在图像处理的应用一览
极市平台
17+阅读 · 2019年11月21日
深度学习优化算法总结(SGD,AdaGrad,Adam等)
极市平台
34+阅读 · 2019年4月30日
深度学习面试100题(第71-75题)
七月在线实验室
5+阅读 · 2018年8月2日
递归神经网络
Datartisan数据工匠
4+阅读 · 2018年8月2日
机器学习面试题精讲(一)
七月在线实验室
4+阅读 · 2018年1月11日
机器学习、深度学习 知识点总结及面试题
全球人工智能
17+阅读 · 2018年1月4日
算法|学习人工智能算法,你必须掌握的32个算法!
全球人工智能
24+阅读 · 2017年9月17日
干货 | 机器学习算法大总结(ML岗面试常考)
机器学习算法与Python学习
6+阅读 · 2017年8月1日
GAFT:一个使用 Python 实现的遗传算法框架
Python开发者
10+阅读 · 2017年8月1日
相关论文
Arxiv
13+阅读 · 2020年4月12日
S4Net: Single Stage Salient-Instance Segmentation
Arxiv
10+阅读 · 2019年4月10日
Panoptic Feature Pyramid Networks
Arxiv
3+阅读 · 2019年1月8日
Arxiv
5+阅读 · 2018年4月22日
Arxiv
15+阅读 · 2018年2月4日
Arxiv
7+阅读 · 2018年1月24日
Top
微信扫码咨询专知VIP会员