给你n个非负整数的数列a，你可以进行K次操作，每次操作可以将任意位置的数数更改成任意一个非负整数，求操作以后，DIFF(a)-MEX（a）的最小值；DIFF代表数组中数的种类。MEX代表数组中未出现的最小自然数。
1. 显然 DIFF(a)-MEX（a）最小，DIFF(a)越小越好，MEX(a)越大越好
2. 假如 DIFF 降低，同时 MEX 提升，这样操作是不亏的，因此我们只需要提升MEX即可，贪心的的构造0-x，x为k次修改，能构建到mex的最大的数列a状态。
3. 在原始a中，0-x中空缺的值即为需要填充个数的值，我们只需要贪心，先填入出现次数少的>x的值，以降低它的DIFF，即MEX固定了，再降低其DIFF
#include<bits/stdc++.h>
using namespace std;
int a[100005], cnt[100005];
map<int, int> mp;
struct node {
int x, y;
} op[100005];
void run() {
int n, k;
cin >> n >> k;
for (int i = 0; i <= n; i++) {
cnt[i] = 0;
}
set<int> s;
mp.clear();
for (int i = 1; i <= n; i++) {
cin >> a[i];
if (a[i] < n)cnt[a[i]]++;
s.insert(a[i]);
mp[a[i]]++;
}
int res = 0, flag = n;
for (int i = 0; i < n; i++) {
if (cnt[i] == 0)res++;
if (res > k) {
flag = i;
break;
}
}
int st = 0;
for (auto [x, y]: mp) {
if (x >= flag)op[++st] = {x, y};
}
sort(op + 1, op + 1 + st, [&](const node &x, const node &y) { return x.y < y.y; });
int sum = 0;
int ree = min(res, k);
for (int i = 1; i <= st; i++) {
ree -= op[i].y;
if (ree >= 0)sum++;
else break;
}
cout << min(res, k) - sum + int(s.size()) - flag << '\n';
}
int main() {
int t;
cin >> t;
while (t--)
run();
return 0;
}
题外话：抑郁场，开局一小时只出A，死活想不来B，最后因为D题出锅ura才保住可怜的分。但咱本来就写不到DB-LongLegs（数论）本题题解法一学自同样抑郁的知乎作者幽血魅影的题解，有讲解原理。法二来着知乎巨佬cup-pyy（大佬说《不难发现》呜呜）题意三种操作：向上走mmm步向右走mmm步给自己一次走的步数加111，即使得m=m+1m=m+1m=m+1问从(0,0)(0,0)(0,0)走到(a,b)(a,b)(a,b)的最小操作次数，值得注意的是操作三不可逆。解析假设我们最终一步的大小增长到mmm，那么在这个过程中我能以[1,m][1,m][1,m]（当步数增长到该数时）之间的任何数字向上或
A.Yura'sNewName题意：给出一个仅由_或^组成的字符串，你可以在任意位置添加_或^字符，使得字符串满足：任意字符要么属于^_^的一部分，要么属于^^的一部分。求最少添加的字符数量。分析：对于_我们只需处理没有组成^_^的_:①如果_在首位置且左边没有^则添加^②如果_在尾位置且右边没有^则添加^③如果_在中间部分且右边没有^则添加^当字符串只有一个^时末尾添加一个^code:#includeusingnamespacestd;intmain(){ std::ios::sync_with_stdio(false); cin.tie(0),cout.tie(0); intt; cin
目录A.Garland（签到）题面翻译思路：代码B.PointsonPlane（数学）题面翻译思路：代码C.SumonSubarray（构造）题面翻译：思路：代码D.BinaryStringSorting题面翻译思路：代码A.Garland（签到）Youhaveagarlandconsistingof 4 coloredlightbulbs,thecolorofthe i-thlightbulbis si.Initially,allthelightbulbsareturnedoff.Yourtaskistoturnallthelightbulbson.Youcanperformthefollo
目录A.Garland（签到）题面翻译思路：代码B.PointsonPlane（数学）题面翻译思路：代码C.SumonSubarray（构造）题面翻译：思路：代码D.BinaryStringSorting题面翻译思路：代码A.Garland（签到）Youhaveagarlandconsistingof 4 coloredlightbulbs,thecolorofthe i-thlightbulbis si.Initially,allthelightbulbsareturnedoff.Yourtaskistoturnallthelightbulbson.Youcanperformthefollo
视频讲解：TBDA.ThreeDoors题目大意有333个门和333把对应的钥匙。其中222把钥匙分别在222扇门后，111把在手上。打开门才能获得门后的钥匙，问能否打开所有的门。题解判断前两次开的门后，是否有钥匙即可。参考代码#includeusingnamespacestd;typedeflonglongll;intmain(){ intT,x,a[5],now; scanf("%d",&T); while(T--) { scanf("%d%d%d%d",&x,&a[1],&a[2],&a[3]); now=3^2^1^a[1]^a[2]^a[3]; if(a[now]==0||a[
视频讲解：TBDA.ThreeDoors题目大意有333个门和333把对应的钥匙。其中222把钥匙分别在222扇门后，111把在手上。打开门才能获得门后的钥匙，问能否打开所有的门。题解判断前两次开的门后，是否有钥匙即可。参考代码#includeusingnamespacestd;typedeflonglongll;intmain(){ intT,x,a[5],now; scanf("%d",&T); while(T--) { scanf("%d%d%d%d",&x,&a[1],&a[2],&a[3]); now=3^2^1^a[1]^a[2]^a[3]; if(a[now]==0||a[
A.Two0-1Sequences 大致翻译：两个长度为n和m的二进制序列a和b（题目保证n>=m）两个操作：op1: 改变a(2)为min(a(1),a(2)),并且移除a（1）op2: 改变a(2)为max(a(1),a(2)),并且移除a（1）每次操作后，原先的a(i)变成a(i+1),长度减少1，即前移。 a二进制序列能否通过这两个操作变成b二进制序列？解题思路：刚开始想的是判断a2后缀跟a1后缀是否相同，再判断，a1前面有没有1和0（因为有1和0，就表示op1和op2可以随意完成）。写的时候又陆陆续续发现需要几个特判，想a1长度为1等。于是就debug，慢慢发现只要前面有a2的第一
A.Two0-1Sequences 大致翻译：两个长度为n和m的二进制序列a和b（题目保证n>=m）两个操作：op1: 改变a(2)为min(a(1),a(2)),并且移除a（1）op2: 改变a(2)为max(a(1),a(2)),并且移除a（1）每次操作后，原先的a(i)变成a(i+1),长度减少1，即前移。 a二进制序列能否通过这两个操作变成b二进制序列？解题思路：刚开始想的是判断a2后缀跟a1后缀是否相同，再判断，a1前面有没有1和0（因为有1和0，就表示op1和op2可以随意完成）。写的时候又陆陆续续发现需要几个特判，想a1长度为1等。于是就debug，慢慢发现只要前面有a2的第一
详情请见：CSDN阿史大杯茶 https://blog.csdn.net/weixin_66946161/article/details/126093709题目意思本题主要意思就是切成一个个小块（小块的面积相同，但小块不相同），使小块之间互不相等，而且旋转之后相同，也算小块相同！例：ABCACDDB这两个是相同的!最后输出一共可以有多少种切法，使他们互不相等，然后输出切出的最小块（这里要注意如果面积相等，则输出a小的那一个）比如说：和，是要输出!思路：这道题主要就是取块以及旋转判断：取块：这个很简单，只需双重for循环，不停的枚举中的a和b，如果a或b不能被N或M整除，那么是不行的所以要co
详情请见：CSDN阿史大杯茶 https://blog.csdn.net/weixin_66946161/article/details/126093709题目意思本题主要意思就是切成一个个小块（小块的面积相同，但小块不相同），使小块之间互不相等，而且旋转之后相同，也算小块相同！例：ABCACDDB这两个是相同的!最后输出一共可以有多少种切法，使他们互不相等，然后输出切出的最小块（这里要注意如果面积相等，则输出a小的那一个）比如说：和，是要输出!思路：这道题主要就是取块以及旋转判断：取块：这个很简单，只需双重for循环，不停的枚举中的a和b，如果a或b不能被N或M整除，那么是不行的所以要co