Description
策策同学特别喜欢逛公园。公园可以看成一张��个点��条边构成的有向图,且没有自环和重边。其中1号点是公园的入口,��号点是公园的出口,每条边有一个非负权值,代表策策经过这条边所要花的时间。
策策每天都会去逛公园,他总是从1号点进去,从��号点出来。
策策喜欢新鲜的事物,他不希望有两天逛公园的路线完全一样,同时策策还是一个特别热爱学习的好孩子,他不希望每天在逛公园这件事上花费太多的时间。如果1号点到��号点的最短路长为��,那么策策只会喜欢长度不超过�� + ��的路线。
策策同学想知道总共有多少条满足条件的路线,你能帮帮他吗?
为避免输出过大,答案对��取模。
如果有无穷多条合法的路线,请输出−1。
Input
输入文件名为 park.in 。
第一行包含一个整数 ��, 代表数据组数。
接下来��组数据,对于每组数据:
第一行包含四个整数 ��,��,��,��,每两个整数之间用一个空格隔开。
接下来��行,每行三个整数�� �� ,�� �� ,�� �� , 代表编号为�� �� ,�� �� 的点之间有一条权值为 �� �� 的有向边,每两个整数之间用一个空格隔开。
Output
输出文件包含 ��行,每行一个整数代表答案。
Sample Input
2
5 7 2 10
1 2 1
2 4 0
4 5 2
2 3 2
3 4 1
3 5 2
1 5 3
2 2 0 10
1 2 0
2 1 0
Sample Output
3
-1
样例说明:
对于第一组数据,最短路为 3。
1 – 5, 1 – 2 – 4 – 5, 1 – 2 – 3 – 5 为 3 条合法路径。
对于 100%的数据, 1 ≤ p≤ 10^ 9 ,1 ≤ bi ,ci ≤ 0,0 ≤ di ≤ 1000。
想法:
跑两遍SPFA,分别求出dis[i],dis1[i]分别表示1到i的距离,i到n的距离
-1的情况就是有0环,且dis[0环的某个点]+dis1[那个点]<=dis[n]+k
先构造出最短路图(dis[x]+(x,y)==dis[y]的话,(x,y)是最短路图的一条边),最短路图中的一个环肯定会是0环
拓补排序然后,如果会-1就输出
按照拓补序DP,设f[i][j]为到第i个点,距离为dis[i]+j的方案总数,按照拓补序和原边dp
为了避免后效性,将j循环放外面,且如果dis[i]+dis1[i]+j>dis[n]+k,就不用这个状态了