#P15916. [TOPC 2024] Lexicopolis

    ID: 15839 远端评测题 2000ms 512MiB 尝试: 0 已通过: 0 难度: 8 上传者: 标签>动态规划 DP2024矩阵加速ICPC台湾

[TOPC 2024] Lexicopolis

说明

欢迎来到 Lexicopolis,一座充满传说与宝藏的古老城市。这座城市以其错综复杂的单行道网络而闻名。这里有 nn 个路口和 mm 条连接路口的单行道。人们只能沿着道路 ii 从路口 uiu_i 行驶到路口 viv_i,每条道路 ii 都与一个魔法数字 wiw_i 相关联。一条从路口 sstt 的长度为 kk 的路径,是指一系列道路 e1,e2,,eke_1, e_2, \dots, e_k,使得可以从路口 ss 行驶到路口 tt。一条路径在字典序上小于另一条路径,当且仅当在它们第一次出现不同魔法数字(而非下标)的位置上,第一条路径的数字小于第二条路径的数字。

据传,如果能找出从路口 ss 到路口 tt 的长度为 kk 的字典序最小路径,就能获得 Lexicopolis 政 府赠送的礼物。请编写一个程序,找出从 sstt 的长度为 kk 的字典序最小路径。如果无法恰好使用 kk 条道路从 ss 到达 tt,则输出 1-1

输入格式

第一行包含六个整数 n,m,s,t,x,kn, m, s, t, x, knn 表示路口的数量,mm 表示道路的数量,ss 表示起点路口,tt 表示终点路口,xx 是一个用于输出答案的数字,kk 表示路径的长度。接下来的 mm 行,每行包含三个整数 uiu_iviv_iwiw_i,表示第 ii 条道路从路口 uiu_i 通往路口 viv_i,并关联魔法数字 wiw_i

输出格式

如果不存在从 sstt 的长度为 kk 的路径,则输出 1-1。否则,假设存在这样的路径。考虑字典序最小的路径 e1,e2,,eke_1, e_2, \dots, e_k,并输出 i=1kweixki\sum_{i=1}^{k} w_{e_i} x^{k-i}109+710^9+7 取模的结果,其中 xx 是输入第一行给出的第五个数字。

3 6 1 3 10 4
1 2 2
2 1 1
1 3 1
3 1 2
2 3 1
3 2 2
1211
3 6 1 3 10 5
1 2 2
2 1 1
1 3 1
3 1 2
2 3 1
3 2 2
12121
6 7 5 6 10 10
1 2 1
2 4 2
3 4 1
4 5 3
5 3 5
4 6 2
6 5 1
121513477
6 7 1 6 123 2
1 2 1000000000
2 4 2
3 4 3
4 5 4
5 3 1
4 6 2
6 5 1
-1

提示

  • 2n502 \le n \le 50
  • 1mn2n1 \le m \le n^2 - n
  • 1uin1 \le u_i \le n,对于 i{1,2,,m}i \in \{1, 2, \dots, m\}
  • 1vin1 \le v_i \le n,对于 i{1,2,,m}i \in \{1, 2, \dots, m\}
  • 1wi1091 \le w_i \le 10^9,对于 i{1,2,,m}i \in \{1, 2, \dots, m\}
  • uiviu_i \ne v_i,对于 i{1,2,,m}i \in \{1, 2, \dots, m\}
  • (ui,vi)(uj,vj)(u_i, v_i) \ne (u_j, v_j),对于 iji \ne j
  • 1sn1 \le s \le n
  • 1tn1 \le t \le n
  • 1k1091 \le k \le 10^9
  • 1x1091 \le x \le 10^9

翻译由 DeepSeek V3.2 完成