51nod 1340 差分约束

思路：

带未知量的Floyd

很强

http://yousiki.net/index.php/archives/87/

//By SiriusRen
#include <bits/stdc++.h>
using namespace std;
const int B=;
int cases,n,m1,m2,xx,yy,zz;
typedef long long ll;
ll f[][][],l,r,inf;
void up(ll &x,ll y){x=min(x,y);}
signed main(){
    scanf("%d",&cases);
    while(cases--){
        memset(f,0x3f,sizeof(f));
        scanf("%d%d%d",&n,&m1,&m2),l=n,r=inf=f[][][];
        for(int i=;i<=n;i++)f[i][i][B]=,i?f[i][i-][B]=-:;
        up(f[][n][B+],);up(f[n][][B-],);
        for(int i=;i<=m1;i++)scanf("%d%d%d",&xx,&yy,&zz),up(f[yy][xx][B+(xx>=yy)],-zz);
        for(int i=;i<=m2;i++)scanf("%d%d%d",&xx,&yy,&zz),up(f[xx][yy][B-(xx>=yy)],zz);
        for(int i=;i<=n;i++)for(int j=;j<=n;j++)for(int x=-B;x<=B;x++)if(f[j][i][x+B]<inf)
            for(int k=;k<=n;k++)for(int y=max(-B,-B-x);y<=B&&x+y<=B;y++)if(f[i][k][y+B]<inf)
                up(f[j][k][x+y+B],f[j][i][x+B]+f[i][k][y+B]);
        for(int i=;i<=n;i++)for(int j=;j<=*B;j++){
            if(j==B){if(f[i][i][j]<){puts("");goto be;}}
            else if(f[i][i][j]<inf)j>B?l=max(l,(-f[i][i][j]-)/(j-B)+):r=min(r,-f[i][i][j]/(j-B));
        }printf("%lld\n",r==inf?-:(l<=r?r-l+:));be:;
    }
}