广搜的优化技巧：电路维修（新手上路）

先贴上洛谷的题解：

正统双端队列搜索

回顾：普通队列进行边权为定值的最短路

每次到达都是最优的（意味着不用取min）

why？

因为所有状态按照 入队的先后顺序 具有 层次单调性，每次扩展，都往外走一步，满足从起始到该状态的最优性（不用取min/也不用比大小，如果如此失去了意义）

回到正题：双端队列可以进行边权两个定值（我们在此简化成1/0）的最短路

操作：对于一条边u到v，如果此边权值为0，我们将它push_front（v），否则push_back(k)，每次取队首 这样我们保证了单调性（即每次优先选择最优的）

注意细节：我们放入队列里的还有u，这样才能做到将每次取出的时候更新，也就是说在队列中放入二元组（u，v），具体看代码

至于建边（其实我没有建），只要认为某一方格对角两点间有边，边权为0，否则为1

复杂度：O（r*c）

实测：开o2(76ms)（毕竟deque常数大）

不开o2（300ms）速度相当可以

希望大家能通过此题正确认识到双端队列的bfs（不用取min哦）

#include<iostream>
#include<cstdio>
#include<cstring>
#include<deque>
using namespace std;
const int MAXX=550;
int dis[MAXX][MAXX];
bool vis[MAXX][MAXX],Map[MAXX][MAXX];
int dx[4]={1,-1,1,-1};
int dy[4]={1,-1,-1,1};//此处为了方便
int t,r,c;
char s[MAXX];

inline bool check(int x,int y){
    if(x>=1&&y>=1&&x<=r+1&&y<=c+1)return true;
    else return false;
}//检查是否到边界
inline int edge(int x,int xx,int y,int yy)
{
    if((xx<x&&yy<y)||(xx>x&&yy>y))return !Map[min(x,xx)][min(y,yy)];
    else return Map[min(x,xx)][min(y,yy)];
}
inline void bfs(){
    Map[0][0]=1;
    deque< pair < pair<int ,int> ,pair<int ,int > > >q;//二元组队列 
    pair<int ,int > u=make_pair(0,0);
    pair<int ,int > v=make_pair(1,1);
    q.push_back(make_pair(u,v));
    dis[0][0]=0;
    while(!q.empty()){
        pair< pair<int ,int > , pair<int ,int > >t=q.front();
        q.pop_front();
        pair<int ,int >u=t.first;
        pair<int ,int >v=t.second;
        int xx=u.first;
        int yy=u.second;
        int x=v.first;
        int y=v.second;
        if(vis[x][y])continue;//这里保证复杂度O(r*c)
        dis[x][y]=dis[xx][yy]+edge(x,xx,y,yy);
        vis[x][y]=1;
        for(int i=0;i<4;++i){
            int xv=x+dx[i];
            int yv=y+dy[i];
            pair<int ,int >s=make_pair(xv,yv);
            if(check(xv,yv)&&!vis[xv][yv]){
                if(edge(xv,x,yv,y))q.push_back(make_pair(v,s));
                else q.push_front(make_pair(v,s));
            }
        }
    }
}
int main(){
    init();
    scanf("%d%d",&r,&c);
    for(int i=1;i<=r;++i)
    {
        scanf("%s",s+1);
        for(int j=1;j<=c;++j)
        if(s[j]=='\\') Map[i][j]=1;//这里有c++的转义字符我么可以这么处理/
        else Map[i][j]=0;
    }
    bfs();
    if(vis[r+1][c+1])printf("%d",dis[r+1][c+1]);
    else printf("NO SOLUTION\n");
}

 

---

 

Q1、为什么判断s [ j ]时用了'\\'？

　　后来明白原因是第一个'\'为转义字符。

Q2、为什么if条件成立后，将Map置为1呢？

Q3、最大的问题：deque的用法和make_pair的用法？