【NOIP2017提高组正式赛】逛公园

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,就不用这个状态了