[51Nod 1326]：遥远的旅途

传送门
这个题的思路就是个dp，不过是在模意义下的dp
我们来设计一个dp[i][j]，代表在i这个点，当前路径长度%mod==j，的最小路径长度
我们枚举终点周围的每一条边x，然后mod=2*x，跑spfa，看dp[n][T%mod]是否被访问过
关于证明可以采用反证法。
这个题细节挺多的
代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<cmath>
#include<algorithm>
#include<cstdlib>
#define ll long long
using namespace std;
inline int read(){
    int x=0;char ch=' ';int f=1;
    while(ch!='-'&&(ch<'0'||ch>'9'))ch=getchar();
    if(ch=='-')f=-1,ch=getchar();
    while(ch>='0'&&ch<='9')x=(x<<3)+(x<<1)+(ch^48),ch=getchar();
    return x*f;
}
const int N=55,M=2e4+5;
int T,n,m,tot;
int head[N],inq[N][M],to[M],Next[M];
ll t,dp[N][M],val[M];
int q1[M*200],q2[M*200];
inline void addedge(int x,int y,int l){to[++tot]=y;Next[tot]=head[x];head[x]=tot;val[tot]=l;}
inline bool spfa(int p){
    for(int i=1;i<=n;i++)for(int j=0;j<p;j++)dp[i][j]=t+1,inq[i][j]=0;
    int l=M*100,r=M*100;q1[l]=1;q2[l]=0;dp[1][0]=0;
    while(l<=r){
        int x=q1[l],y=q2[l++];
        for(int i=head[x];i;i=Next[i]){
            int u=to[i],ty=(y+val[i])%p;
            if(dp[x][y]+val[i]<dp[u][ty]){
                dp[u][ty]=dp[x][y]+val[i];
                if(!inq[u][ty]){
                    inq[u][ty]=1;
                    if(dp[u][ty]<dp[q1[l]][q2[l]])q1[--l]=u,q2[l]=ty;
                    else q1[++r]=u,q2[r]=ty;
                }
            }
        }
        inq[x][y]=0;
    }
    return dp[n][t%p]<t+1;
}
int main(){
    T=read();
    while(T--){
        memset(head,0,sizeof(head));
        tot=0;
        n=read();m=read();scanf("%lld",&t);
        for(int i=1;i<=m;i++){
            int x=read()+1,y=read()+1,l=read();
            addedge(x,y,l);addedge(y,x,l);
        }
        int flag=0;
        for(int i=head[n];i;i=Next[i]){
            flag|=spfa(val[i]*2);
            if(flag)break;
        }
        if(flag)printf("Possible\n");
        else printf("Impossible\n");
    }
    return 0;
}