link
巧妙的題。
我們相當於選擇一個儘量小的集合 \(S\)，重新分配 \(S\) 中所有人的分數，使得最後所有人都滿足要求。
先把本來就不符合要求的加入 \(S\)，然後考慮再多加哪些人。
考慮轉化條件：考慮從值域入手。發現 \(S\) 合法的充要條件是：\(\forall k\)，\(\sum\limits_{x \in S} [a_x \le k] \ge \sum\limits_{x \in S} [b_x \le k]\)。
證明比較顯然。
那麼我們可以離散化，然後從小到大列舉值域。維護 \(a_x\le k\) 和 \(b_x\le k\) 的人的個數 \(cnta,cntb\)，用大根堆維護可以其他的可以貢獻的人即可。
這啟示我們，條件的轉化不一定需要性質，換個入手點也一樣行。
點選檢視程式碼
#include<bits/stdc++.h>
#define ll long long
#define pb push_back
#define pir pair <ll, ll>
#define fi first
#define se second
#define mkp make_pair
using namespace std;
const ll maxn = 6e5 + 10;
ll n, a[maxn], b[maxn], h[maxn], ht, cnta, cntb, dr[maxn], tr[maxn];
vector <ll> vec[maxn], vect[maxn];
priority_queue <pir> q;
int main() {
scanf("%lld", &n);
for(ll i = 1; i <= n; i++) {
scanf("%lld%lld", a + i, b + i);
h[++ht] = a[i], h[++ht] = b[i];
}
sort(h + 1, h + 1 + ht);
ht = unique(h + 1, h + 1 + ht) - h - 1;
for(ll i = 1; i <= n; i++) {
a[i] = lower_bound(h + 1, h + 1 + ht, a[i]) - h;
b[i] = lower_bound(h + 1, h + 1 + ht, b[i]) - h;
if(a[i] >= b[i]) vec[b[i]].pb(i);
else vect[a[i]].pb(i);
}
for(ll i = 1; i <= ht; i++) {
for(ll j: vect[i]){
++dr[b[j]];
++cnta;
}
for(ll j: vec[i]) q.push(mkp(a[j], j));
cntb += dr[i], cnta += tr[i];
while(cnta > cntb) {
ll x = q.empty()? 0 : q.top().se;
if(a[x] <= i) {
puts("-1");
return 0;
}
++cntb, q.pop();
++tr[a[x]];
}
}
printf("%lld", (ll) q.size());
return 0;
}