题解
很好的贪心题
考虑去掉的矩形一定是几个 \(a\) 最小的，几个 \(b\) 最小的，枚举去掉几个 \(a\)，剩下的去掉 \(b\)
先对 \(a\) 排序，用小根堆维护 \(b\) ，记录哪些已经在 \(a\) 中删了，这些在 \(b\) 中就需要跳过
但跳过时也需要记录一下曾经跳过，因为以后在放回 \(a\) 时，如果它在 \(b\) 中出现过，直接填坑即可
Code
#include<bits/stdc++.h>
#define ri register signed
#define p(i) ++i
using namespace std;
namespace IO{
char buf[1<<21],*p1=buf,*p2=buf;
#define gc() p1==p2&&(p2=(p1=buf)+fread(buf,1,1<<21,stdin),p1==p2)?EOF:*p1++
template<typename T>inline void read(T &x) {
ri f=1;x=0;register char ch=gc();
while(ch<'0'||ch>'9') {if (ch=='-') f=0;ch=gc();}
while(ch>='0'&&ch<='9') {x=(x<<1)+(x<<3)+(ch^48);ch=gc();}
x=f?x:-x;
}
}
using IO::read;
namespace nanfeng{
#define FI FILE *IN
#define FO FILE *OUT
template<typename T>inline T cmax(T x,T y) {return x>y?x:y;}
template<typename T>inline T cmin(T x,T y) {return x>y?y:x;}
typedef long long ll;
static const int N=5e5+7;
struct node{int a,b,id;}sq[N];
int vis[N],st[N],vb[N],cnt,T,n,m;
ll ans;
inline int operator<(const node &n1,const node &n2) {return n1.b>n2.b;}
inline int cmp(node n1,node n2) {return n1.a<n2.a;}
priority_queue<node> que;
inline int main() {
// FI=freopen("nanfeng.in","r",stdin);
// FO=freopen("nanfeng.out","w",stdout);
read(T);
for (ri z(1);z<=T;p(z)) {
read(n),read(m);
ans=0;
memset(vis,0,sizeof(vis));
memset(vb,0,sizeof(vb));
for (ri i(1);i<=n;p(i)) read(sq[i].a),read(sq[i].b),sq[i].id=i;
sort(sq+1,sq+n+1,cmp);
for (ri i(1);i<=m;p(i)) vis[sq[i].id]=1;
for (ri i(1);i<=n;p(i)) que.push(sq[i]);
while(vis[que.top().id]) vb[que.top().id]=1,que.pop();
ans=cmax(ans,(ll)sq[m+1].a*que.top().b);
for (ri i(m);i;--i) {
if (!vb[sq[i].id]) {
vis[sq[i].id]=0;
while(vis[que.top().id]) vb[que.top().id]=1,que.pop();
vb[que.top().id]=vis[que.top().id]=1;
que.pop();
while(vis[que.top().id]) vb[que.top().id]=1,que.pop();
ans=cmax(ans,(ll)sq[i].a*que.top().b);
}
while(!que.empty()) que.pop();
printf("%lld\n",ans);
}
return 0;
}
}
int main() {return nanfeng::main();}