[WC2012]记忆中的水杉树

https://www.luogu.org/problemnew/show/P4125

题解

首先一开始所有的线段互不相交。

那么对于第二问来说，一定存在一种方法使得所有线段都朝着一个方向动。

比如说我们要让所有线段从上往下走。

那么上面的线段得向下面的线段连边。

这是一个\(DAG\)，考虑怎么建出来。

我们可以先用扫描线,还是因为线段互不相交，所以在扫描线移动的过程中，当前所有线段的相对位置是不变的，所以我们可以把每条线段用斜截式表示，然后用set维护他们的关系，每次插入一条线段就和前驱后继连边就可以了。

然后因为一些恶心的原因得把坐标表示为\((x+1,y)\)。

然后再去考虑第一问，如果直接做的话，感觉需要用数据结构去维护\(DAG\)。

然后我们考虑把操作序列反过来，这样的话删线段就变成了加线段。然后考虑什么情况下加入是不合法的。

比如我们从下往上加线段，设这个线段的横坐标区间为\((l,r)\)，那么如果不合法，那么当且仅当这个区间内有在它下面的线段，用上我们刚刚求的拓扑序就是这个线段的拓扑序比较小。

判断的话就线段树维护区间最小值就好了。

因为有四个方向，所以我们还得横纵各做一次扫描线，线段树维护最大值和最小值。

代码

#include<bits/stdc++.h>
#define N 200009
#define inf 2e9
using namespace std;
typedef long long ll;
queue<int>q;
int du[N],tot,head[N],n,xx[N],yy[N],ans[N],_xx[N],_yy[N],tag1[N],tag2[N],c[N],ans2,ans1[N];
ll nowx,b[N<<1];
inline ll rd(){
    ll x=0;char c=getchar();bool f=0;
    while(!isdigit(c)){if(c=='-')f=1;c=getchar();}
    while(isdigit(c)){x=(x<<1)+(x<<3)+(c^48);c=getchar();}
    return f?-x:x;
}
struct node{int a,b;}mu[N];
struct edge{int n,to;}e[N<<2];
inline void add(int u,int v){e[++tot].n=head[u];e[tot].to=v;head[u]=tot;du[v]++;}
struct point{double x,y;};
struct line{
    point x,y;int id;
    double k,b;
    inline bool operator ==(const line &b)const{
        return id==b.id;
    }
    inline bool operator <(const line &other)const{
        return nowx*k+b<nowx*other.k+other.b;
    }
}a[N];
struct segment_tree_t{
    int mi[N<<2],ma[N<<2],trmi[N<<2],trma[N<<2];
    segment_tree_t(){memset(mi,0x3f,sizeof(mi));memset(trmi,0x3f,sizeof(trmi));}
    inline void pushdown(int cnt){
        mi[cnt<<1]=min(mi[cnt<<1],mi[cnt]);
        ma[cnt<<1]=max(ma[cnt<<1],ma[cnt]);
        trmi[cnt<<1]=min(trmi[cnt<<1],mi[cnt]);
        trma[cnt<<1]=max(trma[cnt<<1],ma[cnt]);
        mi[cnt<<1|1]=min(mi[cnt<<1|1],mi[cnt]);
        ma[cnt<<1|1]=max(ma[cnt<<1|1],ma[cnt]);
        trmi[cnt<<1|1]=min(trmi[cnt<<1|1],mi[cnt]);
        trma[cnt<<1|1]=max(trma[cnt<<1|1],ma[cnt]);
        ma[cnt]=0;mi[cnt]=inf;
    }
    inline void ins(int cnt,int l,int r,int L,int R,int x){
        if(l>=L&&r<=R){
            ma[cnt]=max(ma[cnt],x);
            mi[cnt]=min(mi[cnt],x);
            trma[cnt]=max(trma[cnt],x);
            trmi[cnt]=min(trmi[cnt],x);
            return; 
        }
        int mid=(l+r)>>1;
        pushdown(cnt); 
        if(mid>=L)ins(cnt<<1,l,mid,L,R,x);
        if(mid<R)ins(cnt<<1|1,mid+1,r,L,R,x);
        trmi[cnt]=min(trmi[cnt<<1],trmi[cnt<<1|1]);
        trma[cnt]=min(trma[cnt<<1],trma[cnt<<1|1]);
    }
    inline int querymin(int cnt,int l,int r,int L,int R){
        if(l>=L&&r<=R)return trmi[cnt];
        int mid=(l+r)>>1,ans=inf;
        pushdown(cnt);
        if(mid>=L)ans=min(ans,querymin(cnt<<1,l,mid,L,R));
        if(mid<R)ans=min(ans,querymin(cnt<<1|1,mid+1,r,L,R));
        return ans; 
    }
    inline int querymax(int cnt,int l,int r,int L,int R){
        if(l>=L&&r<=R)return trma[cnt];
        int mid=(l+r)>>1,ans=0;
        pushdown(cnt);
        if(mid>=L)ans=max(ans,querymax(cnt<<1,l,mid,L,R));
        if(mid<R)ans=max(ans,querymax(cnt<<1|1,mid+1,r,L,R));
        return ans; 
    }
}X,Y;
set<line>s;
set<line>::iterator its;
vector<int>vec[N],anti_vec[N];
vector<int>::iterator it;
int main(){
    n=rd();
    for(int i=1;i<=n;++i){
        a[i].x.x=rd();a[i].x.y=rd();a[i].y.x=rd();a[i].y.y=rd();
        if(a[i].x.x>a[i].y.x)swap(a[i].x,a[i].y);
        if(a[i].x.x!=a[i].y.x){
            a[i].k=(a[i].y.y-a[i].x.y)/(a[i].y.x-a[i].x.x);
            a[i].b=a[i].y.y-a[i].y.x*a[i].k;
        }
        else a[i].b=a[i].y.y;
        b[++b[0]]=a[i].x.x+1;b[++b[0]]=a[i].y.x;
    }
    sort(b+1,b+b[0]+1);
    b[0]=unique(b+1,b+b[0]+1)-b-1;
    for(int i=1;i<=n;++i){
        xx[i]=lower_bound(b+1,b+b[0]+1,a[i].x.x+1)-b;
        yy[i]=lower_bound(b+1,b+b[0]+1,a[i].y.x)-b;
        a[i].id=i;
        vec[xx[i]].push_back(i);
        anti_vec[yy[i]].push_back(i); 
    }
    for(int i=1;i<=b[0];++i){
        nowx=b[i];
        for(it=vec[i].begin();it!=vec[i].end();++it){
            line now=a[*it];
            its=s.insert(now).first;
            ++its;
            if(its!=s.end()){
                add(now.id,its->id);
            }
            --its;
            if(its!=s.begin()){
                its--;
                add(its->id,now.id);
            }
        }
        for(it=anti_vec[i].begin();it!=anti_vec[i].end();++it){
            line now=a[*it];
            s.erase(now); 
        }
        vec[i].clear();anti_vec[i].clear();
    }
    for(int i=1;i<=n;++i)if(!du[i])q.push(i);
    while(!q.empty()){
        int u=q.front();q.pop();ans[++ans[0]]=u;tag1[u]=ans[0];
        for(int i=head[u];i;i=e[i].n){
            int v=e[i].to;
            if(!--du[v])q.push(v);
        }
    }
    memset(head,0,sizeof(head));tot=0;
    for(int i=1;i<=n;++i){
        if(a[i].x.y>a[i].y.y)swap(a[i].x,a[i].y);
        if(a[i].x.y!=a[i].y.y){
            a[i].k=(a[i].y.x-a[i].x.x)/(a[i].y.y-a[i].x.y);
            a[i].b=a[i].y.x-a[i].y.y*a[i].k;
        }
        else a[i].k=0,a[i].b=a[i].y.x;
        c[++c[0]]=a[i].x.y+1;;c[++c[0]]=a[i].y.y;
    }
    sort(c+1,c+c[0]+1);
    c[0]=unique(c+1,c+c[0]+1)-c-1;
    for(int i=1;i<=n;++i){
        _xx[i]=lower_bound(c+1,c+c[0]+1,a[i].x.y+1)-c;
        _yy[i]=lower_bound(c+1,c+c[0]+1,a[i].y.y)-c;
        a[i].id=i;
        vec[_xx[i]].push_back(i);
        anti_vec[_yy[i]].push_back(i); 
    }
    for(int i=1;i<=c[0];++i){
        nowx=c[i];
        for(it=vec[i].begin();it!=vec[i].end();++it){
            line now=a[*it];
            its=s.insert(now).first;
            ++its;
            if(its!=s.end()){
                add(now.id,its->id);
            }
            --its;
            if(its!=s.begin()){
                its--;
                add(its->id,now.id);
            }
        }
        for(it=anti_vec[i].begin();it!=anti_vec[i].end();++it){
            line now=a[*it];
            s.erase(now); 
        }
    }
    for(int i=1;i<=n;++i)if(!du[i])q.push(i);
    while(!q.empty()){
        int u=q.front();q.pop();ans1[++ans1[0]]=u;tag2[u]=ans1[0];
        for(int i=head[u];i;i=e[i].n){
            int v=e[i].to;
            if(!--du[v])q.push(v);
        }
    }
    for(int i=1;i<=n;++i){
        mu[i].a=rd();mu[i].b=rd();
    }
    for(int i=n;i>=1;--i){
        int id=mu[i].a;
        if(mu[i].b==0){
            if(Y.querymin(1,1,c[0],_xx[id],_yy[id])<tag2[id]){
                ans2=i; 
            } 
        }
        if(mu[i].b==1){
            if(X.querymax(1,1,b[0],xx[id],yy[id])>tag1[id]){
                ans2=i;
            }
        }
        if(mu[i].b==2){
            if(Y.querymax(1,1,c[0],_xx[id],_yy[id])>tag2[id]){
                ans2=i;
            }
        }
        if(mu[i].b==3){
            if(X.querymin(1,1,b[0],xx[id],yy[id])<tag1[id]){
                ans2=i;
            }
        }
        X.ins(1,1,b[0],xx[id],yy[id],tag1[id]);
        Y.ins(1,1,c[0],_xx[id],_yy[id],tag2[id]);
    }
    printf("%d\n",ans2);
    for(int i=1;i<=n;++i)printf("%d %d\n",ans[i],3);
    return 0;
}

转载于:https://www.cnblogs.com/ZH-comld/p/10836439.html