#P10235. [yLCPC2024] C. 舞萌基本练习

    ID: 9651 Type: RemoteJudge 1000ms 512MiB Tried: 0 Accepted: 0 Difficulty: 4 Uploaded By: Tags>二分树状数组洛谷原创洛谷月赛

[yLCPC2024] C. 舞萌基本练习

题目描述

扶苏在游玩舞萌 dx 的过程中,发现一首歌可以分成不超过 kk 段分别进行练习。

具体来说,这首歌共有 nn 个音符,每个音符有一个难度值。第 ii 个音符的难度值为 aia_i。扶苏觉得一段歌曲的音符的难度应该是尽可能变难的。因此对于音符序列的一个区间 [l,r][l, r],她认为这段区间的『不优美度』是这段区间的逆序对数。

一个区间 [l,r][l, r]逆序对数被定义为满足 li<jrl \leq i < j \leq rai>aja_i > a_j 的数对 (i,j)(i, j) 个数。

扶苏希望把这首歌划分成不超过 kk 个子段,满足每个音符都至少属于一个子段,使得不优美度最大的段的不优美度尽可能小。

形式化的,你需要划分出 tkt \leq k 个区间 [l1,r1],[l2,r2],[lt,rt][l_1, r_1], [l_2, r_2], \dots [l_t, r_t],满足:

  • l1=1l_1 = 1rt=nr_t = n
  • 1i<t1 \leq i < tri+1=li+1r_i + 1= l_{i + 1}
  • 1it1 \leq i \leq tliril_i \leq r_i

定义 f(l,r)f(l, r) 表示区间 [l,r][l, r] 的不优美度,最小化 maxi=1tf(li,ri)\max\limits_{i = 1}^t f(l_i, r_i)

输入格式

本题单个测试点内有多组测试数据。第一行是一个正整数 TT,表示数据组数。对每组数据:

第一行是两个整数 n,kn,k1kn1051 \leq k \leq n \leq 10^5),表示歌曲的音符数和最多的划分段数。
第二行有 nn 个整数 a1,a2,,ana_1, a_2, \dots, a_n109ai109-10^9 \leq a_i \leq 10^9),表示每个音符的难度。

数据保证单个测试点内的 nn 之和不超过 10510^5

输出格式

对每组数据,输出一行一个整数表示答案。

2
5 2
1 3 2 5 4
8 2
4 2 3 6 7 1 8 5
1
2