排序 + 二分 - The Treasure of The Segments - CF 690 F

排序 + 二分 - The Treasure of The Segments - CF 690 F

题意：

$给定n个区间，$

$现在从中删除一些区间，使得这n个区间中至少存在一个区间，$

$满足这个区间和其他所有的区间都相交。$

$计算最少删除多少个区间，能够满足条件。$

输入：

$首行一个正整数T，表示测试数据个数，$

$每组数据首行一个正整数n，表示区间数量，$

$接着n行，每行两个正整数，表示区间的左右端点l_i,r_i。$

输出：

$一个正整数，表示答案。$

Example
input

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

output

0
1
2
0

数据范围：

$数据保证\sum n\le 2\cdot 10^5，1\le l\le r\le 10^9$

---

分析：

$最初的想法是：对每个区间，统计和这个区间相交的区间数，n-最大值就是答案。$

$问题在于，很难在nlogn的时间复杂度内统计出和每个区间相交的区间数。$

$所以，我们反过来思考，对每个区间，统计和该区间不相交的区间数，那么最小值就是答案。$

$而与每个区间不相交的区间数是好统计的，因为，和区间[l_i,r_i]和[l_0,r_0]不相交，只有两种情况：$

$①、r_0<l_i$

$②、l_0>r_i$

$首先，我们对区间的左端点和右端点分别排序，$

$$\begin{gathered} 然后， \\ 对于每个区间[l_i,r_i]，我们二分第一个>r_i的左端点的位置po{s}_1，它的贡献是n-po{s}_1+1 \end{gathered}$$

$我们再二分第一个\ge l_i的右端点的位置po{s}_2，它的贡献是po{s}_2-1。$

$最后我们更新最小值mi{n}_{1\le i\le n}(n-po{s}_1+1,po{s}_2-1)，即答案。$

代码：

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<vector>

#define P pair<int,int>
#define l first
#define r second

using namespace std;

const int N = 200010;

int n, T;
P s1[N], s2[N];
int l[N], r[N];

int main()
{
    ios::sync_with_stdio(false);
    
    cin>>T;
    while(T--)
    {
        cin>>n;
        for(int i=1;i<=n;i++) 
        {
            int l, r;
            cin>>l>>r;
            s1[i]={l,r}, s2[i]={r,l};
        }
        sort(s1+1,s1+n+1);
        sort(s2+1,s2+n+1);
        for(int i=1;i<=n;i++) 
            l[i] = s1[i].l, 
            r[i] = s2[i].l;
            
        int ans = n;
        for(int i=1;i<=n;i++)
        {
            int tmp = 0;
            int pos = upper_bound(l+1,l+n+1,s1[i].r) - l;
            tmp += n - pos + 1;
            pos = lower_bound(r+1,r+n+1,s1[i].l) - r;
            tmp += pos - 1;
            ans = min(ans, tmp);
        }
        
        cout<<ans<<endl;
    }
    return 0;
}