Codeforces 931F - Teodor is not a liar!

时间:2024-01-20 09:02:18

931F - Teodor is not a liar!

思路:

最长上升子序列

先差分数组染色

如果存在一个点,被所有区间包含,那么这张图一定是山峰状,如下图:

Codeforces 931F - Teodor is not a liar!

那么只要分别从前和从后找一个最长非严格上升子序列,然后从前往后更新就可以找出最大的山峰序列的长度,这个就是答案

代码:

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define pb push_back
#define mem(a,b) memset(a,b,sizeof(a)) const int N=1e5+;
const int INF=0x3f3f3f3f;
int a[N],dp[N],pre[N],suf[N];
int main(){
ios::sync_with_stdio(false);
cin.tie();
cout.tie();
int n,m,l,r;
cin>>n>>m;
for(int i=;i<=n;i++)cin>>l>>r,a[l]++,a[r+]--;
for(int i=;i<=m;i++)a[i]+=a[i-];
mem(dp,INF);
for(int i=;i<=m;i++){
*upper_bound(dp+,dp+m+,a[i])=a[i];
pre[i]=lower_bound(dp+,dp+m+,INF)-dp-;
}
mem(dp,INF);
for(int i=m;i>=;i--){
*upper_bound(dp+,dp+m+,a[i])=a[i];
suf[i]=lower_bound(dp+,dp+m+,INF)-dp-;
}
int ans=;
for(int i=;i<=m;i++)ans=max(ans,pre[i]+suf[i+]);
cout<<ans<<endl;
return ;
}