#P6603. 「EZEC-2」甜梦

「EZEC-2」甜梦

Description

nn 个梦境场景,编号 [1,n]\in [1,n] 且互不相同。PF 有精神分裂症,他在同一时间会处于两个梦境。这两个梦境所在的场景编号差别的绝对值不能大于 ll。场景之间有 mm单向关系,其中第 ii 个关系连接场景 uiu_iviv_i。不存在不可能到达的场景。

每个场景都有一个快乐值,其中第 jj 个场景的快乐值为 aja_j,在梦境第一次经过时增加。

一开始两个梦境均在场景 11,当两个梦境都移动到场景 nn 时,PF会醒来。

如果某次移动时,PF 目前梦境所在的两个场景 A,BA,B 都与某个场景 CC 直接相连,那么 PF 可以同时移动 两个梦境到达场景 CC 。否则,PF 一次只能移动一个梦境

请你编一个程序,来计算醒来时可能得到的最大快乐值。

Input Format

第一行三个整数 n,m,ln,m,l,分别表示场景的数量,场景之间的关系数量,以及 PF 两个场景距离的最大值。

接下来一行 nn 个整数,第 ii 个数表示编号为 ii 的场景的快乐值为 aia_i,场景 11 和场景 nn 的快乐值为 00

接下来 mm 行,每行两个整数 u,v(1u<vn)u,v(1\le u<v \le n),表示场景之间存在的一条单向关系。

Output Format

如果有解,一行一个整数 qq,表示能获得的最大快乐值。

如果无解,只需输出 -1

7 9 2
0 4 5 10 10 20 0
1 2
1 3
1 4
1 6
2 5
3 5
4 7
5 7
6 7
25

Hint

大样例

【样例解释 #1】

下文用 A,BA,B 表示目前正在进行的梦境:

移动梦境 A 13A \space 1 \to 3,移动梦境 B 14B \space 1 \to 4,移动梦境 A 35A \space 3 \to 5,之后同时移动梦境 A BA \space B 到达场景 77,快乐值总和为 5+10+10=255+10+10 = 25

注意:如果想移动某一梦境到场景 66,那么另一梦境的编号必须大于等于 44。然而到 66 的线路只有 161\to 6,而同时拥有场景 11 和场景 44 不满足中间相隔场景 l\le l,故唯一通过场景 66 的方案为将两个梦境同时移动到场景 66,而这么做能得到的快乐值为 2020


【数据范围与约定】 | 测试点编号 | n n \le | m m \le | l l \le | ai a_i \le| 时间 | 特殊性质 | | :----------: | :----------: | :----------: | :----------: |:----------: | :----------: |:----------: | | 1,21,2 | 1010 | 1515| 55 | 5050 | 1s1\text s |无 | | 343\sim 4 | 1616 | 4040 | 88 | 5×1035 \times 10^3 |1s1\text s |无 | | 565\sim 6 | 1616 | 120120 | 88 | 5×1035 \times 10^3 |1s1\text s |无 | | 7107 \sim 10 | 100100| 10310^3|1010 | 10410^4|1s1 \text s |无| | 1111 | 100100| 10310^3|1010 | 10410^4|1s1\text s |场景是一棵树| | 121412 \sim 14 | 10310^3| 10410^4|1010 | 10410^4|1s1\text s |无| | 15,1615,16 | 5×1035\times10^3| 3×1043\times10^4|1010 | 10410^4|1s1\text s |无| | 17,1817,18 | 5×1035\times10^3| 3×1043\times10^4|1111 | 10410^4|2s2\text s |无| | 19,2019,20 | 5×1035\times10^3| 3×1043\times10^4|1212 | 10410^4|3s3\text s |无|

对于 100%100\% 的数据,1u<vn1\le u<v \le n, 1n5×1031 \le n \le 5\times 10^3, 1m3×1041 \le m \le 3\times 10^4, 1ai1041 \le a_i \le 10^4, 1l121 \le l \le 12

输入保证每个场景都能从起点到达,并且都能连到终点。

输入不保证没有重边。

输入不对 u,vu,v 的编号差做任何保证。


【移动范例】

假设 l=2l=2 且关系存在,下面的格式表示 A BA \space B \to A BA' \space B' 一次移动:

  • 1 35 31 \space 3 \to 5\space 3 (√)
  • 1 31 41 \space 3 \to 1\space 4 (×)
  • 1 38 81 \space 3 \to 8\space 8 (√)
  • 1 36 81 \space 3 \to 6\space 8 (×)