#P5192. Zoj3229 Shoot the Bullet|东方文花帖|【模板】有源汇上下界最大流

Zoj3229 Shoot the Bullet|东方文花帖|【模板】有源汇上下界最大流

题目背景

Translated by @chen_zhe

幻想乡是一个被博丽大结界和虚幻与现实的境界所包围起来的一个美妙的地方。这里人和其他生物,例如妖怪、妖精等核平共处。

射命丸文(Syameimaru Aya)是一只鸦天狗,拥有操纵风的能力,已经活了千岁以上,是《文文。新闻》的主编,拥有着一本叫做《文花帖》的手账,记录幻想乡各地的大新闻。她不仅是天狗中速度最快的鸦天狗,思考能力非常强,以别人的几倍的思考速度思考,也拥有幻想乡最高等级的力量。

(译者内心O.S.:远古的东方众都那么硬核科普的吗)

题目描述

(附注:文花帖8-8 西行寺幽幽子 「死蝶浮月」)

在接下来的nn天中,射命丸文将要拍摄幻想乡的少女的照片并且从中为第xx个少女拍摄至少GxG_x张照片刊登在《文文。新闻》上。在第kk天的时候文文有CkC_k个取材对象,且对于每个取材对象拍的照片必须在闭区间[Lki,Rki][L_{k_i},R_{k_i}]中。如果过少,文文就搞不出大新文;如果过多,就会有少女很安格瑞。

除此之外,因为拍照设备的原因,对于第ii天,每天的拍照数量不能超过DiD_i张。在满足这些限定的条件下,文文希望拍到的照片尽可能地多。

由于文文需要去取材,因此她把这个任务交给了你,让你帮她去解决。

输入格式

本题不定组数据,确保数据组数不超过1010

第一行输入两个整数nnmm,分别表示有nn天,有mm位少女。其中n365,m1000n \leq 365,m \leq 1000

接下来一行,有mm个数字G1GmG_1 \cdots G_m,对于每一个GxG_x,都满足Gx[0,105]G_x \in [0,10^5]

再接下来nn段,每一段的第一行有两个整数C,D(1C300,0D30000)C,D(1 \leq C \leq 300, 0 \leq D \leq 30000)

接下来有CC行,每一行有三个整数T,L,R(0T<m,0LR100)T,L,R(0 \leq T < m, 0 \leq L \leq R \leq 100),其中TT指的是少女的编号。

输出格式

如果无法满足文文的需求,那么请输出-1

否则请输出在满足需求的情况下,文文最多能拍多少张照片。

注意每输出完一组数据之后,中间要空一行。

2 3
12 12 12
3 18
0 3 9
1 3 9
2 3 9
3 18
0 3 9
1 3 9
2 3 9
36
2 3
12 12 12
3 18
0 3 9
1 3 9
2 3 9
3 18
0 3 9
1 3 9
2 3 9
2 3
12 12 12
3 18
0 3 9
1 3 9
2 3 9
3 18
0 3 9
1 3 9
2 3 9
36

36