P16698 [CSPro 29] 施肥
题目背景
洛谷的测试数据仅供民间交流使用,非官方测试数据。官方评测链接:。
题目描述
春天到了,西西艾弗岛上的 $n$ 块田地需要施肥了。$n$ 块田地编号为 $1, 2, \cdots, n$,按照编号从小到大的顺序排成一列。
为了给田地施肥,顿顿准备了 $m$ 辆施肥车。但是由于土地的松软程度不同,施肥车的质量不一,不一定每一辆施肥车都能给每一块田地施肥。其中,第 $i$ 辆施肥车**只能恰好**从第 $l_i$ 块田地开到第 $r_i$ 块田地,并给编号在 $l_i$ 与 $r_i$ 之间的田地(包含 $l_i$ 和 $r_i$)都施一遍肥。其中 $1 \le l_i < r_i \le n$。
顿顿希望制定一个施肥的计划。首先,他将选定二元组 $(L, R)$ ($1 \le L < R \le n$),并选择只给编号在 $L, R$ 之间(包含 $L, R$)的田地施肥。接着,他会从使用这 $m$ 辆施肥车中的一部分(或全部)对田地施肥。他想要保证:**编号在 $L$ 和 $R$ 之内的田地至少被某一辆施肥车施了一次肥,且编号范围外的田地都没有被施过肥。**
现在,他想知道,他能够选择多少种不同的二元组 $(L, R)$ 作为施肥范围,使得可以选出一部分(或全部)施肥车,完成他的目标。
输入格式
从标准输入读入数据。
第一行输入两个正整数 $n, m$,表示田地的块数和施肥车的辆数。数据保证 $2 \le n \le 2 \cdot 10^5$, $1 \le m \le 2 \cdot 10^5$。
接下来 $m$ 行,第 $i$ 行输入两个正整数 $l_i, r_i$,表示第 $i$ 辆施肥车的施肥范围从第 $l_i$ 块田地到第 $r_i$ 块田地。数据保证 $1 \le l_i < r_i \le n$。
输出格式
输出到标准输出。
输出一个正整数,表示顿顿能够选择多少种不同的二元组 $(L, R)$ 作为施肥范围,使得他可以选出一部分(或全部)施肥车,完成他的目标。
说明/提示
### 样例 1 解释
在这组样例中,顿顿可以选择 $6$ 种不同的二元组 $(L, R)$。
第一种:选择 $(L, R) = (1, 2)$,并只选取第 $1$ 个施肥车施肥。
第二种:选择 $(L, R) = (3, 4)$,并只选取第 $2$ 个施肥车施肥。
第三种:选择 $(L, R) = (2, 3)$,并只选取第 $3$ 个施肥车施肥。
第四种:选择 $(L, R) = (1, 4)$,并选取第 $1$ 个和第 $2$ 个施肥车施肥。
第五种:选择 $(L, R) = (1, 3)$,并选取第 $1$ 个和第 $3$ 个施肥车施肥。
第六种:选择 $(L, R) = (2, 4)$,并选取第 $2$ 个和第 $3$ 个施肥车施肥。
### 样例 2
见题目目录下的 `2.in` 与 `2.ans`。
这个样例满足 $n, m \le 18$。
### 样例 3
见题目目录下的 `3.in` 与 `3.ans`。
这个样例满足 $n, m \le 50$。
### 样例 4
见题目目录下的 `4.in` 与 `4.ans`。
这个样例满足 $n, m \le 400$。
### 样例 5
见题目目录下的 `5.in` 与 `5.ans`。
这个样例满足 $n, m \le 3000$。
### 样例 6
见题目目录下的 `6.in` 与 `6.ans`。
这个样例满足特殊性质 A。
### 样例 7
见题目目录下的 `7.in` 与 `7.ans`。
这个样例满足 $n, m \le 200000$。
### 子任务
| 测试点编号 | $n \le$ | $m \le$ | 特殊性质 |
|:----------:|:---------:|:---------:|:--------:|
| $1$ | $18$ | $18$ | 无 |
| $2$ | ^ | ^ | ^ |
| $3$ | ^ | ^ | ^ |
| $4$ | $50$ | $50$ | ^ |
| $5$ | ^ | ^ | ^ |
| $6$ | $400$ | $400$ | ^ |
| $7$ | ^ | ^ | ^ |
| $8$ | $3000$ | $3000$ | ^ |
| $9$ | ^ | ^ | ^ |
| $10$ | ^ | ^ | ^ |
| $11$ | ^ | ^ | ^ |
| $12$ | ^ | ^ | ^ |
| $13$ | $200000$ | $200000$ | A |
| $14$ | ^ | ^ | ^ |
| $15$ | ^ | ^ | ^ |
| $16$ | ^ | ^ | 无 |
| $17$ | ^ | ^ | ^ |
| $18$ | ^ | ^ | ^ |
| $19$ | ^ | ^ | ^ |
| $20$ | ^ | ^ | ^ |
特殊性质 A:保证任意两个施肥车的施肥范围不存在相互包含的关系,也就是说,对任意 $1 \le i < j \le m$,$l_i < l_j, r_i < r_j$ 或 $l_i > l_j, r_i > r_j$。