zoukankan      html  css  js  c++  java
  • 【bzoj1598】【 [Usaco2008 Mar]牛跑步】启发式搜索思路+spfa

    这里写图片描述
    (上不了p站我要死了,侵权度娘背锅)

    最近复习搜索,先从启发式搜索来吧。
    感觉启发式搜索这玩意挺玄学的,先从其思想入手,做一道经典的K短路。

    Description
    BESSIE准备用从牛棚跑到池塘的方法来锻炼. 但是因为她懒,她只准备沿着下坡的路跑到池塘, 然后走回牛棚. BESSIE也不想跑得太远,所以她想走最短的路经. 农场上一共有M (1 <= M <= 10,000)条路, 每条路连接两个用1..N(1 <= N <= 1000)标号的地点. 更方便的是,如果X>Y,则地点X的高度大于地点Y的高度. 地点N是BESSIE的牛棚;地点1是池塘. 很快, BESSIE厌倦了一直走同一条路.所以她想走不同的路,更明确地讲,她想找出K (1 <= K <= 100)条不同的路经.为了避免过度劳累,她想使这K条路经为最短的K条路经. 请帮助BESSIE找出这K条最短路经的长度.你的程序需要读入农场的地图, 一些从X_i到Y_i 的路经和它们的长度(X_i, Y_i, D_i). 所有(X_i, Y_i, D_i)满足(1 <= Y_i < X_i; Y_i < X_i <= N, 1 <= D_i <= 1,000,000).
    Input
    * 第1行: 3个数: N, M, 和K
    * 第 2..M+1行: 第 i+1 行包含3个数 X_i, Y_i, 和 D_i, 表示一条下坡的路.
    Output
    * 第1..K行: 第i行包含第i最短路经的长度,或-1如果这样的路经不存在.如果多条路经有同样的长度,请注意将这些长度逐一列出.
    Sample Input
    5 8 7
    5 4 1
    5 3 1
    5 2 1
    5 1 1
    4 3 4
    3 1 1
    3 2 1
    2 1 1
    Sample Output
    1
    2
    2
    3
    6
    7
    -1
    HINT
    输出解释:
    路经分别为(5-1), (5-3-1), (5-2-1), (5-3-2-1), (5-4-3-1),
    (5-4-3-2-1).

    启发式搜索的关键在于估价函数。这个估价函数可以用于搜索的剪枝,当然也可以应用于这种直接判断的问题。

    估价函数通常为:f(n)=g(n)+h(n),g(n)表示到达n状态的实际(已用)步数,h(n)则是n状态到达目标状态的最佳路径的估计。

    在此题中,一个点的估价 f(u)=step(u)+dis(u),step(u)表示到达这个点已经经过的状态,相当于g函数,而dis(u)是u到终点的精确最短路,相当于h函数。意思是:这个u点在这种状态(走了一些路到达u)下,到达终点的最小距离。

    具体做法为:将已到达点(有step(u)值的)扔进优先队列里面,按step(u)+dis(u)排序。每次取队首元素,像四周更新。第k次到达终点的估价f(n)就是k短路。

    注意队列中可以有多个相同的点,但是其估价函数f(n)是不同的。这是因为这个点可以由多条路径到达,所以step(u)的函数值不同。

    到这里就可以稍微理解到启发式搜索的估价函数了。这个估价函数并不是真实会走的方案,而是给我们的一个参考。真实的方案是我们从当前节点(状态)扩展出去的所有方案。也就是说,所有情况我们仍然可以遍历到,但是估价函数帮助我们先向期望的答案搜索。

    说了这么多感觉还是没有扯清楚。。

    1A代码
    (另外,才发现写了这么久的堆优化spfa就是堆优化的dijkstra。。qwq)

    #include<queue>
    #include<cstdio>
    #include<cstring>
    #include<algorithm>
    using namespace std;
    #define ll long long 
    #ifdef WIN32
    #define RIN "%I64d"
    #else
    #define RIN "%lld"
    #endif
    
    template <typename T>inline void read(T &res){
        T k=1,x=0;char ch=0;
        while(ch<'0'||ch>'9'){if(ch=='-')k=-1;ch=getchar();}
        while(ch>='0'&&ch<='9'){x=(x<<3)+(x<<1)+ch-'0';ch=getchar();}
        res=k*x;
    }
    
    const int N=1000+5;
    const int M=10000+5;
    
    priority_queue<pair<int,int>,vector<pair<int,int> >,greater<pair<int,int> > > q;
    int n,m,k;
    ll val1[M],val2[M];
    int head1[N],to1[M],nxt1[M],hh1=0;
    int head2[N],to2[M],nxt2[M],hh2=0;
    bool exi[N];
    ll dis[N];
    ll ans[105],cnt=0;
    
    void adde1(int a,int b,ll v){
        hh1++;
        to1[hh1]=b;
        val1[hh1]=v;
        nxt1[hh1]=head1[a];
        head1[a]=hh1;
    }
    void adde2(int a,int b,ll v){
        hh2++;
        to2[hh2]=b;
        val2[hh2]=v;
        nxt2[hh2]=head2[a];
        head2[a]=hh2;
    }
    void spfa2(){
        memset(dis,65,sizeof(dis));
        while(!q.empty()) q.pop();
        dis[1]=0;
        exi[1]=1;
        q.push(make_pair(dis[1],1));
        while(!q.empty()){
            int u=q.top().second;q.pop();
            exi[u]=0;
            for(int i=head2[u];i;i=nxt2[i]){
                int v=to2[i];
                if(dis[u]+val2[i]<dis[v]){
                    dis[v]=dis[u]+val2[i];
                    if(!exi[v]){
                        exi[v]=1;
                        q.push(make_pair(dis[v],v));
                    }
                }
            }
        }
    }
    void spfa1(){
        while(!q.empty()) q.pop();
        q.push(make_pair(dis[n],n));
        while(!q.empty()){
            int u=q.top().second,len=q.top().first;q.pop();
            if(u==1){
                ans[++cnt]=len;
                if(cnt>=k) break;
                continue;
            }
            for(int i=head1[u];i;i=nxt1[i]){
                int v=to1[i];
                q.push(make_pair(len-dis[u]+val1[i]+dis[v],v));
            }
        }
    }
    int main(){
        read(n),read(m),read(k);
        int x,y;ll d;
        for(int i=1;i<=m;i++){
            read(x),read(y),read(d);
            if(x<y) swap(x,y);
            adde1(x,y,d),adde2(y,x,d);
        }
        spfa2();
        memset(ans,-1,sizeof(ans));
        spfa1();
        for(int i=1;i<=k;i++)
            printf("%d
    ",ans[i]);
        return 0;
    }
  • 相关阅读:
    分布式系统的架构思路
    可汗学院超经典、超实用概率论总结——商女不知忘国恨,隔江犹看概率论
    傅里叶分析之掐死教程(完整版)
    谈谈敏捷开发
    C# 读xml注释或过滤xml注释
    CTF中那些脑洞大开的编码和加密
    C#关闭一个窗口的同时打开另一个窗口
    继《关于讯飞语音SDK开发学习》之打包过程中遇到小问题
    使用ffmpeg录音
    leetcode 1. Two Sum
  • 原文地址:https://www.cnblogs.com/LinnBlanc/p/7763076.html
Copyright © 2011-2022 走看看