qb#P10123. 星核配平

星核配平

题目描述

星港的主反应堆由 nn 根控制棒共同维持稳定。第 ii 根控制棒需要被调到一个整数能级 aia_i。由于材料窗口限制,如果最终满足

liairil_i \le a_i \le r_i

则称第 ii 根控制棒处于高效状态;否则它仍可参与配平,但不能计入高效数量。注意,aia_i 可以是任意整数,不要求落在 [109,109][-10^9,10^9] 内。

反应堆中还有 mm 条配平约束。每条约束形如 (x,y,z)(x,y,z),表示最终必须满足

ax+ay=z.a_x+a_y=z.

请你判断是否存在一组整数能级满足所有配平约束。若不存在,输出 1-1;否则,输出在满足所有约束的前提下,最多能让多少根控制棒处于高效状态。

输入格式

第一行包含一个整数 TT,表示测试数据组数。

对于每组测试数据:

  • 第一行包含两个整数 n,mn,m
  • 第二行包含 nn 个整数 l1,l2,,lnl_1,l_2,\ldots,l_n
  • 第三行包含 nn 个整数 r1,r2,,rnr_1,r_2,\ldots,r_n
  • 接下来 mm 行,每行包含三个整数 x,y,zx,y,z,表示一条约束 ax+ay=za_x+a_y=z

输出格式

对于每组测试数据,输出一行一个整数:

  • 若不存在任何整数能级方案满足所有约束,输出 1-1
  • 否则输出最多能处于高效状态的控制棒数量。

样例

输入

2
3 3
1 2 3
1 2 3
1 1 2
2 2 10
1 1 4
3 2
1 2 3
1 2 3
1 1 2
2 2 10

输出

-1
2

样例解释

第一组数据中,约束要求 a1=1a_1=1a2=5a_2=5,同时又要求 a1=2a_1=2,互相矛盾,所以无解。

第二组数据中,约束要求 a1=1a_1=1a2=5a_2=5,可以任选 a3a_3。令 a3=3a_3=3 时,第 11 根和第 33 根控制棒处于高效状态,答案为 22

数据范围

对于所有测试数据,满足:

  • 1T101\le T\le 10
  • 1n2×1051\le n\le 2\times 10^5
  • 0m4×1050\le m\le 4\times 10^5
  • 109liri109-10^9\le l_i\le r_i\le 10^9
  • 1x,yn1\le x,y\le n
  • 109z109-10^9\le z\le 10^9
  • 所有测试数据中,nn 的总和与 mm 的总和均不超过 4×1054\times 10^5

子任务

子任务 分值 特殊限制
11 1010 n8n\le 8m12m\le 12,且所有 li=ril_i=r_i
22 1515 所有约束均满足 x=yx=y
33 2020 忽略方向后,约束图是一片森林,且不存在 x=yx=y
44 忽略方向后,约束图是二分图,且不存在 x=yx=y
55 3535 无额外限制

限制

时间限制:1s1\text{s}

空间限制:512MB512\text{MB}