题目大意:
给你一个n行长度为1e9的01矩阵
然后给你每行1所在的位置
让你删去最少的行
剩下的行数每相邻的两行其中一个1的位置相同
思路:
dp
设d[i]表示到i行时最多保留多少行
d[i]=max(d[j]+1) (0<j<i)
从第一行开始从上往下找
当到某一行的1位置时候我们看之前是不是出现过1
如果出现过就说明这两行是有可能保留下来的
然后枚举一遍之前的数字就好了
那么关于区间查询与区间修改呢就可以用线段树去做
总复杂度就是O(nlogn)
还有因为最后要输出答案,我们可以在线段树这里开个pair用来存d[i]与i
当更新答案的时候把第i行记住
不过要记得离散化
还有线段树要开6e5*4的空间
因为离散化后有6e5个数字(这里卡了我好久,而且评测不显示re而是tle)
具体看代码
AC代码:
#include <bits/stdc++.h>
#define endl '\n'
using namespace std;
const int N=4e5+10;
vector<int>v;
struct node
{
int id,l,r;
} q[N];
int pre[N];//用来存答案的
int vis[N];
struct Node
{
pair<int,int>u,lazy;//用pair<int,int>是为了存答案的
} tree[N<<3];//离散化后范围是6e5,要乘2后再乘4
vector<pair<int,int>>e[N];
int getid(int x){return lower_bound(v.begin(),v.end(),x)-v.begin()+1;};
void pushdown(int x)
{
if(tree[x].lazy.first)
{
tree[x<<1].u=tree[x<<1|1].u=tree[x].lazy;
tree[x<<1].lazy=tree[x<<1|1].lazy=tree[x].lazy;
tree[x].lazy= {0,0};
}
return;
}
pair<int,int>Max(pair<int,int>a,pair<int,int>b){return a.first>b.first?a:b;}
pair<int,int> query(int root,int l,int r,int L,int R)
{
if(L<=l&&R>=r)
{
return tree[root].u;
}
pushdown(root);
int mid=l+r>>1;
pair<int,int>ans= {0,0};
if(L<=mid)ans=Max(ans,query(root<<1,l,mid,L,R));
if(R>mid)ans=Max(ans,query(root<<1|1,mid+1,r,L,R));
return ans;
}
void update(int root,int l,int r,int L,int R,pair<int,int>x)
{
if(L<=l&&R>=r)
{
tree[root].lazy=x;
tree[root].u=x;
return;
}
int mid=l+r>>1;
pushdown(root);
if(L<=mid)update(root<<1,l,mid,L,R,x);
if(R>mid)update(root<<1|1,mid+1,r,L,R,x);
tree[root].u=Max(tree[root<<1].u,tree[root<<1|1].u);
return;
}
int main()
{
ios::sync_with_stdio(false),cin.tie(0);
int n,m;
cin>>n>>m;
for(int i=1; i<=m; i++)
{
cin>>q[i].id>>q[i].l>>q[i].r;
v.push_back(q[i].l);
v.push_back(q[i].r);
}
sort(v.begin(),v.end());
v.erase(unique(v.begin(),v.end()),v.end());//离散化
for(int i=1; i<=m; i++)
{
q[i].l=getid(q[i].l);
q[i].r=getid(q[i].r);
e[q[i].id].push_back({q[i].l,q[i].r});
}
int ans=0;
int flag=0;
for(int i=1; i<=n; i++)
{
int now=-1;
for(auto it:e[i])//遍历这一行1的位置
{
pair<int,int>t=query(1,1,v.size(),it.first,it.second);
if(t.first>now)
{
now=t.first;
pre[i]=t.second;
}
}
if(now+1>ans)
{
ans=now+1;
flag=i;
}
for(auto it:e[i])update(1,1,v.size(),it.first,it.second, {now+1,i});
}
for(;flag!=0;flag=pre[flag])vis[flag]=1;
cout<<n-ans<<endl;
for(int i=1;i<=n;i++)if(!vis[i])cout<<i<<' ';
return 0;
}