CF1687C Sanae and Giant Robot

题目描述

> 果然是那个吗!因为其实用性而无法被实现的!只能出现于憧憬中的,二足步行巨大机器人!——东风谷早苗,《东方非想天则》 早苗制造了一台巨大的机器人——非想天则,但是这个机器人出了一些故障。更糟糕的是,早苗不知道如何将其停止运行,因而早苗只能在机器人运行的时候对其修复。 非想天则的状态可以用一个正整数数列 $n$ 来表示。非想天则现在处于状态 $a_1,a_2,\dots a_n$,而早苗希望将其变为 $b_1,b_2,\dots,b_n$。 作为一位优秀的女子高中生,早苗非常了解复制粘贴的艺术。她有 $m$ 个可供选择的区间,在每一次操作中,早苗可以把序列 $b$ 中的一个可选择的区间对应位置地复制粘贴到序列 $a$ 中,前提是要求序列 $a$ 的每个数字的总和不变。形式化地来讲,早苗可以选择一个区间 $[l,r]$,执行操作 $a_i \leftarrow b_i (l \leq i \leq r)$,当且仅当 $\sum \limits_{i=1}^n a_i$ 不变。 请你判断早苗能否通过若干次这样的操作,将非想天则的状态由序列 $a$ 转化为序列 $b$。

输入格式

第一行输入一个正整数 $t(1 \leq t \leq 2 \times 10^4)$,表示输入数据组数。 对于每组数据,首先输入两个正整数 $n,m(2 \leq n \leq 2 \times 10^5,1 \leq m \leq 10^5)$,分别表示数列 $a,b$ 的长度和可以操作的区间个数。 第二行输入 $n$ 个正整数 $a_i(1 \leq a_i \leq 10^9)$,表示非想天则的状态。 第三行输入 $n$ 个正整数 $b_i(1 \leq b_i \leq 10^9)$,表示早苗希望非想天则变成的状态。 接下来输入 $m$ 行,每行两个正整数 $l,r(1 \leq l < r \leq n)$,表示早苗可以进行操作的区间。 数据保证,$\sum n,\sum m \leq 2 \times 10^5$。

输出格式

如果早苗可以将数列 $a$ 转化为数列 $b$,则输出 `YES`,否则输出 `NO`,不区分大小写。

说明/提示

Test case 1: One possible way of turning $ a $ to $ b $ : First, select $ [1,3] $ . After the operation, $ a=[3,2,5,2,3] $ . Then, select $ [2,5] $ . After the operation, $ a=[3,2,5,4,1]=b $ . Test case 2: It can be shown that it is impossible to turn $ a $ into $ b $ .