P16699 [MCO 2026] 知道得越少越好
题目描述
龙 Evirir 写了关于信息学奥林匹克的 $N$ 页内容。对于每个整数 $i = 0, 1, \ldots, N - 1$,恰好有一页的知识量为 $i$。Evirir 将把这些页装订成一本书。形式化地,Evirir 会从 $0$ 到 $N - 1$ 中选择一个长度为 $N$ 的由互不相同整数组成的序列 $A_0, A_1, \ldots, A_{N - 1}$。然后,它会制作一本书,使得第 $i$ 页($0 \le i \le N - 1$)的知识量为 $A_i$。
由于古老的龙族法律,某些页的知识量是固定的。法律规定了 $N$ 个整数 $B_0, B_1, \ldots, B_{N - 1}$。对于每个 $0 \le i \le N - 1$,如果 $B_i \ne -1$,那么必须有 $A_i = B_i$。满足 $B_i \ne -1$ 的 $B_i$ 一共有 $K$ 个。
Evirir 希望它的 $M$ 个学生(编号为 $0, 1, \ldots, M - 1$)阅读整本书。然而,由于注意力持续时间较短,每个学生 $i$ 只会阅读第 $L_i, L_i + 1, \ldots, R_i$ 页。一个学生的知识收益定义为该学生所阅读页面的知识量之和。
如果 Evirir 以最优方式装订这些页面,所有学生的总知识收益最大可以是多少?
输入格式
第一行包含三个用空格分隔的整数 $N$、$M$ 和 $K$。
第二行包含 $N$ 个用空格分隔的整数 $B_0, B_1, \ldots, B_{N - 1}$。
接下来有 $M$ 行,其中第 $i$ 行包含两个用空格分隔的整数 $L_i$ 和 $R_i$。
输出格式
输出一个整数,表示所有学生可能获得的最大总知识收益。
说明/提示
### 提示
$\underline{样例\ 1}$
这个样例适用于子任务 1、4 和 6。
Evirir 写了 $N = 5$ 页,并且有 $M = 2$ 个学生。所有 $K = N$ 页都是固定的。
- 学生 0 阅读第 0 到 2 页,获得的知识收益为 $3 + 4 + 1 = 8$。
- 学生 1 阅读第 1 到 4 页,获得的知识收益为 $4 + 1 + 0 + 2 = 7$。
因此,总知识收益为 $8 + 7 = 15$。
$\underline{样例\ 2}$
这个样例适用于子任务 4 和 6。
有 $K = 2$ 页是固定的:0 和 3。一种最优的装订方式是 $A = [2, 0, 4, 1, 3]$。
- 学生 0 阅读第 2 到 2 页,获得 $4$ 的知识收益。
- 学生 1 阅读第 0 到 0 页,获得 $2$ 的知识收益。
- 学生 2 阅读第 3 到 4 页,获得 $1 + 3 = 4$ 的知识收益。
总知识收益为 $4 + 2 + 4 = 10$。注意,可能还存在其他最优的装订方式。
一些 Evirir 不能选择的 $A$ 的例子:
- $A = [4, 0, 3, 1, 2]$:第 0 页被固定为 $B_0 = 2$,但这里 $A_0 = 4$。
- $A = [2, 4, 4, 1, 4]$:各页的知识量并非互不相同。
- $A = [2, 3, 5, 1, 4]$:各页的知识量必须在 $0$ 到 $N - 1$ 之间。
$\underline{样例\ 3}$
这个样例适用于子任务 3、4 和 6。
由于 $K = 0$,没有任何页的知识量是固定的。一种最优的装订方式是 $A = [0, 4, 2, 1, 3]$。
- 学生 0 阅读第 1 到 3 页,获得的知识收益为 $4 + 2 + 1 = 7$。
- 学生 1 阅读第 4 到 4 页,获得的知识收益为 $3$。
- 学生 2 阅读第 0 到 4 页,获得的知识收益为 $0 + 4 + 2 + 1 + 3 = 10$。
总知识收益为 $7 + 3 + 10 = 20$。
### 评分
对于所有测试数据,输入满足以下限制:
- $1 \le N \le 5 \cdot 10^5$
- $1 \le M \le 10^5$
- $0 \le K \le N$
- 对所有 $0 \le i \le N - 1$,有 $-1 \le B_i \le N - 1$
- 恰好有 $K$ 个 $i$ 满足 $B_i \ne -1$
- 所有固定值互不相同:如果 $B_i \ne -1$ 且 $B_j \ne -1$ 且 $i \ne j$,那么 $B_i \ne B_j$
- 对所有 $0 \le i \le M - 1$,有 $0 \le L_i \le R_i \le N - 1$
| 子任务 | 分值 | 额外限制 |
| :---: | :---: | :---: |
| $1$ | $15$ | $N, M \le 5000$, $K = N$ |
| $2$ | $10$ | $N, M \le 5000$, $K = 0$, 对所有 $0 \le i \le M - 1$,$(L_i, R_i) = (L_0, R_0)$ |
| $3$ | $25$ | $N, M \le 5000$, $K = 0$ |
| $4$ | $15$ | $N, M \le 5000$ |
| $5$ | $10$ | 对所有 $0 \le i \le M - 1$,$L_i = 0$ |
| $6$ | $25$ | -- |