P5060.旅行——（分层图最短路）

题目链接：https://www.luogu.org/problem/P5060

题目大意：

给你一个无向图，你需要在图中找到一条从s到t的最短路，使它的长度对p取模的值为0

思路：

这原来是分层图，让我更好的理解分层图的含义。

我们原来最常见的分层图就是，给你一个图，要你求最短路，你可以在图中选择k条道路将花费变为0，这就有点像dp的味道，状态转移为当前这条边，我们选择将他变为0，或者不变，那么我们将每个点u拆成k个点，第j个点表示到达这个点的时候已经选择了j条道路变为0，也就是dis[i][j]的定义。具体可以看这里：https://blog.csdn.net/Q755100802/article/details/82314567

这里，我们同样用状态表示，将点i拆为p个点，dis[i][j]表示到达i点且当前最短距离%p==j，那么明显答案就是dis[t][0]

我的代码被卡了，就贴上标程吧，这是一个值得学习的分层图的新姿势~

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cctype>
using namespace std;

struct edge
{
    int to,next;
    long long w;
}a[400010];

int head[50010],num,n,m,p,A,B,tempu,tempv,tot,pre[50010][50];
long long tempw,dis[50010][50],disp[50010][50];//disp 即dis_pre
bool exist[50][50010];
pair<long long,int> heap[50010*50];


inline void add(int u,int v,long long w)
{
    a[++num].to=v;
    a[num].w=w;
    a[num].next=head[u];
    head[u]=num;
}
inline int read()
{
   register int s=0;
   register char c=getchar();
   while(c<'0'||c>'9')
   c=getchar();
   while(c>='0'&&c<='9')
   s=s*10+c-'0',c=getchar();
   return s;
}
inline void Pop()
{
    heap[1]=heap[tot--];
    register int p=1,s;
    while(p*2<=tot)
    {
        s=p*2;
        if(s<tot&&heap[s+1]<heap[s])
            s++;
        if(heap[s]<heap[p])
            swap(heap[s],heap[p]),p=s;
        else
            break;
    }
}
inline void Push(pair<long long,int> d)
{
    heap[++tot]=d;
    register int p=tot;
    while(p>1)
    {
        if(heap[p/2]>heap[p])
            swap(heap[p/2],heap[p]),p/=2;
        else
            break;
    }
}
inline void dijkstra()
{
    int k;
    long long fd,td;
    memset(dis,127,sizeof(dis));
        dis[A][0]=0;
    heap[++tot]=make_pair(0ll,A);
    while(tot)
    {
        fd=heap[1].first,k=heap[1].second;
        Pop();
        if(fd%p==0&&k==B)
            return;
        exist[fd%p][k]=true;
        for(register int i=head[k];i;i=a[i].next)
        {
            td=dis[k][fd%p]+a[i].w;
            if(td<dis[a[i].to][td%p])
            {
                pre[a[i].to][td%p]=k;
                disp[a[i].to][td%p]=fd%p;
                dis[a[i].to][td%p]=td;
                if(!exist[td%p][a[i].to])
                    Push(make_pair(td,a[i].to));
            }
        }
    }
}
void print(int x,int y)
{
    if(!pre[x][y])
        return;
    print(pre[x][y],disp[x][y]);
    printf("%d->",pre[x][y]);
}


int main()
{
    n=read(),m=read(),p=read(),A=read(),B=read();
    for(register int i=1;i<=m;i++)
    {
        tempu=read(),tempv=read(),tempw=read();
        add(tempu,tempv,tempw);
    }
    dijkstra();
    if(dis[B][0]==dis[0][0])
    {
        printf("jjc fails in travelling");
        return 0;
    }
    printf("%lld\n",dis[B][0]);
    print(B,0);
    printf("%d",B);
    return 0;
}