luogu#P6603. 「EZEC-2」甜梦

「EZEC-2」甜梦

题目背景

昨是今非望无尽,生死相隔两茫茫。
解愁肠,度思量,人间如梦,倚笑乘风凉。

题目描述

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 一次只能移动一个梦境

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

输入格式

第一行三个整数 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),表示场景之间存在的一条单向关系。

输出格式

如果有解,一行一个整数 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

提示

大样例

【样例解释 #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 (×)