#P14103. [ZJCPC 2017] Let's Chat

[ZJCPC 2017] Let's Chat

Description

ACM(ACMers' Chatting Messenger)是 Marjar 科技公司开发的一款著名的即时通讯软件。为了吸引更多用户,Marjar 公司的老板 Edward 最近为该软件新增了一个功能。该功能的描述如下:

如果两个用户 AABB 在最近连续 mm 天内,每天都互相发送了消息\textbf{每天都互相发送了消息},则他们之间的“友谊值”会增加 11

更正式地说,如果用户 AA 在第 (im+1)(i-m+1) 天到第 ii 天(包括这两天)中,每天都给用户 BB 发送了消息,并且用户 BB 在同样的时间段内也每天都给用户 AA 发送了消息,那么在第 ii 天结束时,他们之间的“友谊值”将增加 11

现已知用户 AABB 在连续 nn 天内的聊天记录,请问在第 nn 天结束时他们之间的友谊值是多少(已知初始友谊值为 00)?

Input Format

有多组测试数据。输入的第一行包含一个整数 TT1T101 \le T \le 10),表示测试数据的组数。对于每组测试数据:

第一行包含四个整数 nn1n1091 \le n \le 10^9)、mm1mn1 \le m \le n)、xxyy1x,y1001 \le x, y \le 100)。nnmm 的含义见题面,xx 表示 AABB 发送消息的记录区间数,yy 表示 BBAA 发送消息的记录区间数。

接下来的 xx 行,每行包含两个整数 la,il_{a,i}ra,ir_{a,i}1la,ira,in1 \le l_{a,i} \le r_{a,i} \le n),表示 AA 在第 la,il_{a,i} 天到第 ra,ir_{a,i} 天(包括这两天)每天都给 BB 发送了消息。

接下来的 yy 行,每行包含两个整数 lb,il_{b,i}rb,ir_{b,i}1lb,irb,in1 \le l_{b,i} \le r_{b,i} \le n),表示 BB 在第 lb,il_{b,i} 天到第 rb,ir_{b,i} 天(包括这两天)每天都给 AA 发送了消息。

保证对于所有 1i<x1 \le i < x,有 ra,i+1<la,i+1r_{a,i} + 1 < l_{a,i+1},且对于所有 1i<y1 \le i < y,有 rb,i+1<lb,i+1r_{b,i} + 1 < l_{b,i+1}

Output Format

对于每组测试数据,输出一行一个整数,表示在第 nn 天结束时 AABB 之间的友谊值。

2
10 3 3 2
1 3
5 8
10 10
1 8
10 10
5 3 1 1
1 2
4 5
3
0

Hint

对于第一个测试点,用户 AABB 在第 11223355667788 和第 1010 天互相发送了消息。由于 m=3m=3,他们的友谊值会在第 33 天、第 77 天和第 88 天分别增加 11。所以答案是 33

由 ChatGPT 5 翻译