01bfs

针对一类特殊图求最短路，如果边权只有01则可以使用双端队列代替堆，将最短路的时间复杂度从 $O(nlogn)$ 降为 $O(n)$ 。原理：每次所走边边权为0则放队首，边权为1则放队尾。

（对于 $01bfs$ 是否需要 $vis$ 数组，我不是很清楚，而且各种版本都有，我自己觉得使用 $vis$ 数组应该会有更小的常数，而且一般是在出队的时候标记，出队的时候一定是最优的）

题目1

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
#define inf 0x3f3f3f3f
#define db double
#define il inline
#define x first
#define y second
#define endl '\n'
const int N=505;
const int mod=998244353;
char a[N][N];
int n,m;
int fx[4][2]={0,1,0,-1,1,0,-1,0};
int vis[N][N];
int safe(int x,int y) { return (x>=1)&&(x<=n)&&(y>=1)&&(y<=m); }
struct node { int x,y,w; };
void solve()
{
    while(cin>>n>>m&&n&&m)
    {
        memset(vis,0,sizeof vis);
        for(int i=1;i<=n;i++)
        {
            string p;cin>>p;
            for(int j=1;j<=m;j++) a[i][j]=p[j-1];
        }
        int x1,y1,x2,y2;cin>>x1>>y1>>x2>>y2;
        deque<node>q;
        q.push_back({x1+1,y1+1,0});
        vis[x1+1][y1+1]=1;
        while(q.size())
        {
            auto [x,y,w]=q.front();
            q.pop_front();
            if(x==x2+1&&y==y2+1) 
            {
                cout<<w<<endl;
                break;
            }
            for(int i=0;i<4;i++)
            {
                int nx=x+fx[i][0],ny=y+fx[i][1];
                if(safe(nx,ny)&&vis[nx][ny]==0)
                {
                    vis[nx][ny]=1;
                    if(a[x][y]==a[nx][ny]) q.push_front({nx,ny,w});
                    else q.push_back({nx,ny,w+1});
                }
            }
        }
    }
}
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    int T=1;//cin>>T;
    while(T--)
    {
        solve();
    }
    return 0;
}

题目2

#include <bits/stdc++.h>
using namespace std;
//#define ll long long
#define pii pair<int,int>
#define inf 0x3f3f3f3f
#define db double
#define il inline
#define endl '\n'
const int N=2e3+5;
const int mod=998244353;
char a[N][N];
int n,m;
int fx[4][2]={0,1,0,-1,1,0,-1,0};
int vis[N][N];
int safe(int x,int y) { return (x>=1)&&(x<=n)&&(y>=1)&&(y<=m); }
struct node { int x,y,l,r; };
void solve()
{
    cin>>n>>m;
    int x,y;cin>>x>>y;
    int ll,rr;cin>>ll>>rr;
    for(int i=1;i<=n;i++)
    {
        string p;cin>>p;
        for(int j=1;j<=m;j++) a[i][j]=p[j-1];
    }
    deque<node>q;
    q.push_back({x,y,0,0});
    vis[x][y]=1;
    int ans=0;
    while(q.size())
    {
        auto [x,y,l,r]=q.front();
        q.pop_front();
        if(l<=ll&&r<=rr) ans++;
        for(int i=0;i<4;i++)
        {
            int nx=x+fx[i][0],ny=y+fx[i][1];
            if(vis[nx][ny]) continue;
            if(a[nx][ny]=='*') continue;
            if(!safe(nx,ny)) continue;
            vis[nx][ny]=1;
            if(fx[i][1]==-1) q.push_back({nx,ny,l+1,r});
            else if(fx[i][1]==1) q.push_back({nx,ny,l,r+1});
            else q.push_front({nx,ny,l,r});
        }
    }
    cout<<ans<<endl;
}
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    int T=1;//cin>>T;
    while(T--)
    {
        solve();
    }
    return 0;
}

题目3 最大值最小，这很二分。首先二分结果，然后 $bfs$ 遍历边时，该边权大于结果，则将“代价”加一并放在队尾，反之放在队首。（或者将该图中边权大于二分结果的改为 $1$ ，反之边权为 $0$ ，然后用 $01bfs$ 跑最短路看看到终点的距离是否小于等于所给 $k$ ）。

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
#define inf 0x3f3f3f3f
#define db double
#define il inline
#define x first
#define y second
#define endl '\n'
const int N=2e3+5;
const int mod=998244353;
vector<pii>g[N];
int n,m,k;
int vis[N];
int check(int mid)
{
    memset(vis,0,sizeof vis);
    deque<pii>q;
    q.push_back({1,0});
    while(q.size())
    {
        auto [v,num]=q.front();
        q.pop_front();
        if(vis[v]) continue;
        vis[v]=1;
        if(v==n) 
        {
            if(num>k) return 0;
            else return 1;
        }
        for(auto i:g[v])
        {
            auto [vv,w]=i;
            if(w>mid) q.push_back({vv,num+1});
            else q.push_front({vv,num});
        }
    }
    return 0;
}
void solve()
{
    cin>>n>>m>>k;
    for(int i=1;i<=m;i++)
    {
        int u,v,w;cin>>u>>v>>w;
        g[u].push_back({v,w}),g[v].push_back({u,w});
    }
    int l=0,r=1e6,ans=r+1;
    int tr=r;
    while(l<=r)
    {
        int mid=(l+r)/2;
        if(check(mid)) ans=min(ans,mid),r=mid-1;
        else l=mid+1;
    }
    if(ans>tr) ans=-1;
    cout<<ans<<endl;
}
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    int T=1;//cin>>T;
    while(T--)
    {
        solve();
    }
    return 0;
}

题目4 和正常的方格没什么大区别，只是注意所达到的坐标与对应块位置不是同一个 $fx$ 数组。

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
#define inf 0x3f3f3f3f
#define db double
#define il inline
#define x first
#define y second
#define endl '\n'
const int N=505;
const int mod=998244353;
char a[N][N];
int n,m;
int vis[N][N];
int fx[4][2]={-1,-1,1,1,-1,1,1,-1};
int afx[4][2]={-1,-1,0,0,-1,0,0,-1};
int safe(int x,int y) { return (x>=1)&&(x<=n+1)&&(y>=1)&&(y<=m+1); }
struct node { int x,y,w; };
void solve()
{
    memset(vis,0,sizeof vis);
    cin>>n>>m;
    for(int i=1;i<=n;i++) 
    {
        string p;cin>>p;
        for(int j=1;j<=m;j++) a[i][j]=p[j-1];
    }
    deque<node>q;
    q.push_back({1,1,0});
    while(q.size())
    {
        auto [x,y,w]=q.front();
        q.pop_front();
        if(vis[x][y]) continue;
        vis[x][y]=1;
        if(x==n+1&&y==m+1)
        {
            cout<<w<<endl;
            return;
        }
        for(int i=0;i<4;i++)
        {
            int nx=x+fx[i][0],ny=y+fx[i][1];
            int ax=x+afx[i][0],ay=y+afx[i][1];
            if(!safe(nx,ny)) continue;
            if(vis[nx][ny]) continue;
            if(i<2)
            {
                if(a[ax][ay]=='\\') q.push_front({nx,ny,w});
                else q.push_back({nx,ny,w+1});
            } 
            else
            {
                if(a[ax][ay]=='/') q.push_front({nx,ny,w});
                else q.push_back({nx,ny,w+1});
            }
        }   
    }
    cout<<"NO SOLUTION"<<endl;
}
signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    int T;cin>>T;
    while(T--)
    {
        solve();
    }
    return 0;
}