解题：POI 2018 Prawnicy

题面

网上好像都是堆的做法啊......我这个不算离散化是$O(n)$的说(虽然有一坨vector可能不开O2会爆炸)

题目即是让我们求是否存在一个最长的是不少于$k$个给出区间子集的区间，如果存在输出方案。我们发现当我们的左端点固定时，右端点越向右越可能不合法，但同时答案在不断扩大(好像不太严谨)，这给了我们一个更新答案的条件；而当右端点固定左端点向右移动时，答案只会越来越合法同时越来越不优。这样我们就可以尺取做了，问题是如何统计当前区间是几个区间的子集呢？

事实上这不需要任何数据结构，我们将每个区间拆成左右端点分别用vector存起来，同时开一个数组用来标记，然后当我们的指针遇到区间时讨论：

如果左指针碰到左端点，检查一下这个区间的右端点是否在右指针右边，如果在且这个区间还没被标记，则标记它并记录贡献

如果右指针扫过右端点(注意是扫过)，检查一下这个区间是否被标记，如果被标记则移除它的贡献

如果右指针碰到右端点，检查一下这个区间的左端点是否在左指针左边，如果在且这个区间还没被标记，则标记它并记录贡献

这样如果不算离散化就是$O(n)$的辣

 #include<cstdio>
 #include<vector>
 #include<cstring>
 #include<utility>
 #include<algorithm>
 using namespace std;
 const int N=;
 vector<pair<int,int> > ln[*N],rn[*N];
 int n,k,c,p1,p2,a1,a2,cnt,xnt,tot,ans;
 int ll[N],rr[N],uni[*N],mark[N];
 void renew(int typ)
 {
     if(!typ)
     {
         for(int i=;i<(int)ln[p1].size();++i)
             if(ln[p1][i].first>=p2)
                 if(!mark[ln[p1][i].second])
                     mark[ln[p1][i].second]=true,xnt++;
     }
     else
     {
         for(int i=;i<(int)rn[p2-].size();i++)
             if(mark[rn[p2-][i].second])
                 mark[rn[p2-][i].second]=false,xnt--;
         for(int i=;i<(int)rn[p2].size();i++)
             if(rn[p2][i].first<=p1)
                 if(!mark[rn[p2][i].second])
                     mark[rn[p2][i].second]=true,xnt++;
     }
 }
 int main ()
 {
     scanf("%d%d",&n,&k);
     for(int i=;i<=n;i++)
     {
         scanf("%d%d",&ll[i],&rr[i]);
         uni[++tot]=ll[i],uni[++tot]=rr[i];
     }
     sort(uni+,uni++tot),tot=unique(uni+,uni++tot)-uni-;
     for(int i=;i<=n;i++)
     {
         ll[i]=lower_bound(uni+,uni++tot,ll[i])-uni;
         rr[i]=lower_bound(uni+,uni++tot,rr[i])-uni;
         ln[ll[i]].push_back(make_pair(rr[i],i));
         rn[rr[i]].push_back(make_pair(ll[i],i));
     }
     p1=p2=;
     while(p1<=tot&&p2<=tot)
     {
         if(p1>p2) p2=p1,renew();
         if(xnt>=k)
         {
             while(xnt>=k&&p2<=tot) p2++,renew();
             if(uni[p2-]-uni[p1]>ans) ans=max(ans,uni[p2-]-uni[p1]),a1=p1,a2=p2-;
         }
         p1++,renew();
     }
     printf("%d\n",ans);
     for(int i=;i<=n&&c<k;i++)
         if(ll[i]<=a1&&rr[i]>=a2)
             printf("%d ",i),c++;
     return ;
 }