最近,小 Z 对冒泡排序产生了浓厚的兴趣。
下面是冒泡排序的伪代码:
输入: 一个长度为 n 的序列 a[1...n]
输出: a 从小到大排序后的结果
for i = 1 to n do:
for j = 1 to n - 1 do
if (a[j] > a[j + 1])
交换 a[j] 与 a[j + 1] 的值
冒泡排序的交换次数被定义为在排序时进行交换的次数,也就是上面冒泡排序伪代码第六行的执行次数。他希望找到一个交换次数尽量少的序列。
题目描述
小 Z 所研究的序列均由非负整数构成。它的长度为 $n$,且必须满足 $m$ 个附加条件。其中第 $i$ 个条件为:下标在 $[L_i, R_i]$ 中的数,即 $a_{L_i}, a_{L_{i+1}},\cdots,a_{R_i}$ 这些数,其最小值恰好为 $V_i$。
他知道冒泡排序时常会超时。所以,他想要知道,在所有满足附加条件的序列中,进行冒泡排序的交换次数的最少值是多少。
输入格式
本题有多组数据。
输入的第一行包含一个正整数 $T$。
对于每组数据,第一行包含两个正整数 $n,m$。数据保证 $1 \leq n,m \leq 10^6$。
接下来 $m$ 行,每行三个非负整数 $L_i, R_i, V_i$,表示一组附加条件。数据保证 $1 \leq L_i \leq R_i \leq n$, $0 \leq V_i \leq 10^9$。
输出格式
输出共 $T$ 行,每行一个整数。
对于每组数据,如果存在满足这 $m$ 个附加条件的序列,则输出在所有满足附加条件的序列中,冒泡排序交换次数的最小值。如果不存在满足所有条件的序列,则输出 -1
。
样例一
input
1
3 2
1 1 2022
2 3 39
output
1
explanation
这组数据的约束条件为 $a_1 = 2022, \min\{a_2, a_3\} = 39$。
若 $a_2 = 39$,且 $39 \leq a_3 < 2022$,则冒泡排序只有第一轮有交换操作,这一轮交换了 $a_1, a_2$ 和 $a_2, a_3$,总交换次数为 $2$。
若 $a_2 = 39$,且 $a_3 \geq 2022$,则冒泡排序只有第一轮有交换操作,这一轮仅仅交换 $a_1, a_2$,总交换次数为 $1$。
若 $a_3 = 39$,且 $39 < a_2 < 2022$,则冒泡排序算法第一轮交换 $a_1, a_2$ 和 $a_2, a_3$,第二轮交换 $a_1, a_2$。总交换次数为 $3$。
若 $a_3 = 39$,且 $a_2 \geq 2022$,则冒泡排序算法第一轮交换 $a_2, a_3$,第二轮交换 $a_1, a_2$。总交换次数为 $2$。
因此,交换次数的最小值为 $1$。
样例二
见附件下载。
样例三
见附件下载。
这个样例满足测试点 $8 \sim 10$ 的条件。
样例四
见附件下载。
这个样例满足测试点 $13 \sim 14$ 的条件。
样例五
见附件下载。
这个样例满足测试点 $15 \sim 16$ 的条件。
样例六
见附件下载。
这个样例满足测试点 $23 \sim 25$ 的条件。
数据范围
本题共 $25$ 个测试点。全部测试点满足:$1 \leq T \leq 1000$,$1 \leq \sum n, \sum m \leq 10^6$,$1 \leq L_i \leq R_i \leq n$,$0 \leq V_i \leq 10^9$。
其中 $\sum n, \sum m$ 分别表示所有测试点的 $n$ 的总和和 $m$ 的总和。$\sum n^2, \sum m^2, \sum n^3, \sum m^3$ 的含义类似。
测试点 | 数据范围 | 特殊性质 |
---|---|---|
$1 \sim 4$ | $n,m \leq 7$,且最多 $2$ 组数据不满足 $n, m \leq 5$ | |
$5 \sim 7$ | $n,m \leq 17$,且最多 $3$ 组数据不满足 $n, m \leq 9$ | A |
$8 \sim 10$ | $n,m \leq 100$, $\sum n^3,\sum m^3 \leq 4 \times 10^7$ | |
$11 \sim 12$ | $n,m \leq 2000$, $\sum n^2,\sum m^2 \leq 4 \times 10^7$ | |
$13 \sim 14$ | B | |
$15 \sim 16$ | C | |
$17 \sim 18$ | ||
$19$ | $\sum n,\sum m \leq 10^6$ | A |
$20$ | B | |
$21 \sim 22$ | C | |
$23 \sim 25$ |
- 特殊性质 A:对于 $1 \leq i \leq m$,$0 \leq V_i \leq 1$。
- 特殊性质 B:对于 $1 \leq i \leq m$,$L_i = R_i$。
- 特殊性质 C:输入给出的 $m$ 个区间 $[L_i, R_i]$ 两两不相交。
时间限制:2s$\texttt{4s}$
空间限制:$1\texttt{GB}$
提示
本题的部分测试点输入量较大。我们建议你使用较为快速的读入方式。