CodeForces 931F Teodor is not a liar!

Teodor is not a liar!

题意：Teodor说他的图片上没有一个点被所有的线段包含，他把这个消息分给他的朋友Sasha， 但是Sasha不信， 所以给Teodor给出几条染色片段， 让Sasha来猜，现在求Sasha最多能猜多少次。

题解：对于每一个点， 找到从左到这个点的位置的最长非严格递增子序列， 再找到从右到这个点的位置的最长非严格递增子序列， 然后取最大那个就是答案了。 因为要猜的次数最多， 所以不能猜那些Teodor给的次数比旁边前面（或后边）小的点。

代码：

#include<bits/stdc++.h>
using namespace std;
#define LL long long
#define ULL unsigned LL
#define fi first
#define se second
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define max3(a,b,c) max(a,max(b,c))
const int INF = 0x3f3f3f3f;
const LL mod = 1e9+7;
typedef pair<int,int> pll;
const int N = 100010;
int a[N], dp[N], cnt[N], pre[N], suf[N];
int main(){
    int n, m, l, r;
    scanf("%d%d",&n,&m);
    for(int i = 1; i <= n; i++){
        scanf("%d%d",&l,&r);
        cnt[l]++;
        cnt[r+1]--;
    }
    for(int i = 1; i <= m; i++)
        a[i] = a[i-1]+cnt[i];
    memset(dp, INF, sizeof(dp));
    for(int i = 1; i <= m; i++){
        *upper_bound(dp, dp+m, a[i]) = a[i];
        pre[i] = lower_bound(dp, dp+m, INF) - dp;
    }
    memset(dp, INF, sizeof(dp));
    for(int i = m; i >= 1; --i){
        *upper_bound(dp, dp+m, a[i]) = a[i];
        suf[i] = lower_bound(dp, dp+m, INF) - dp;
    }
    int ans = 0;
    for(int i = 1; i <= m; i++) ans = max(ans, pre[i]+suf[i+1]);
    printf("%d",ans);
    return 0;
}