题解 CF930C Teodor is not a liar!

好题啊好题。

定义 $a_i$ 为有多少个区间包含 $i$。

拍脑袋一想，当且仅当存在顺序的三个坐标 $(i,j,k)$ 满足 $a_i>a_j$ 且 $a_j<a_l$ 时，可以确定没有数被所有区间包含。

这个结论很简单，因为如果存在，则 $a$ 序列必定为一个“山峰”。而如果出现上面这种情况，说明有“山谷”。

所以我们可以用树状数组求出 $f_i$ 表示以 $i$ 结尾的最长不下降子序列，$g_i$ 表示以 $i$ 开头的最长不上升子序列。

那么答案为 $ans=\max\limits_{i=1}^{n-1}\left(f_i+\max\limits_{j=i+1}^{n}g_j\right)$。

复杂度 $O(n\log n)$。

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+5;
int n,m,a[N],f[N],g[N],c[N];
int lbt(int x){return x&(-x);}
void update(int i,int k){for(;i<=n;i+=lbt(i))c[i]=max(c[i],k);}
int getmax(int i){int res=0;for(;i;i-=lbt(i))res=max(res,c[i]);return res;}
int main(){
  ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
  cin>>m>>n;
  for(int i=1;i<=m;++i){
    int l,r;cin>>l>>r;
    ++a[l];--a[r+1];
  }
  for(int i=1;i<=n;++i)a[i]+=a[i-1];
  for(int i=1;i<=n;++i)++a[i];
  for(int i=1;i<=n;++i){
    f[i]=getmax(a[i])+1;
    update(a[i],f[i]);
  }
  for(int i=1;i<=n;++i)c[i]=0;
  int ans=0,maxn=0;
  for(int i=n;i>=1;--i){
    g[i]=getmax(a[i])+1;
    update(a[i],g[i]);
    ans=max(ans,f[i]+maxn);
    maxn=max(maxn,g[i]);
  }
  cout<<ans<<endl;
  return 0;
}