UOJ356 [JOI2017春季合宿] Port Facility 【启发式合并】【堆】【并查集】

题目分析：

好像跑得很快，似乎我是第一个启发式合并的。

把玩具看成区间。首先很显然如果有两个玩具的进出时间有$l1<l2<r1<r2$的关系，那么这两个玩具一定在不同的栈中间。

现在假设一定有解，我们怎么得到答案呢？排序会使得计算变得方便，下面我们按照左端点排序。

想象一条扫描线，从左往右，当它遇到了一个区间的左端点的时候，我们尝试着将原先不在一起的合并，所有和这个不同栈的都被合并。

我们可以想象一个并查集，使用堆维护并查集。堆内存储并查集内元素的右端点。在最外面再用一个大堆来存储每个并查集的右端最小值（堆套堆）

实际上在每个并查集唯一要考虑的是在当前扫描线右端的最小的点的位置。若它不在当前玩具控制的区间内则该并查集一定不被该玩具影响。

否则将它提取出来，然后对并查集启发式合并。不仅如此，当前考虑的玩具也被合并在内。

现在考虑无解。无解实际上是冲突，如果有两个互异玩具集合，如果新出现一个玩具和其它两个不兼容则无解。

在上面的基础上，我们要做的只有把一个并查集再分裂成两个部分，然后两个部分分开合并即可。

时间复杂度$O(nlogn)$

#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int> pr;

const int maxn = (1<<21)+5;
const int mod = 1000000007;
struct line{int l,r,num;}A[maxn];
int cnt,n,im[maxn];

void read(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++)scanf("%d%d",&A[i].l,&A[i].r),A[i].num=i;
    sort(A+1,A+n+1,[](line a,line b){return a.l < b.l;});
}

priority_queue<pr,vector<pr>,greater<pr> > pq;
priority_queue<int,vector<int>,greater<int> > s[maxn>>1],t[maxn>>1];
int um,rs[maxn],num;
void work(){
    for(int i=1;i<=n;i++) s[i].push(A[i].r);
    for(int i=1;i<=n;i++){
        while(!pq.empty()){
            pr k = pq.top(); if(k.first > A[i].l) break; pq.pop();
            if(s[k.second].size() && s[k.second].top() == k.first) s[k.second].pop();
            else t[k.second].pop();
            if(!s[k.second].size() && !t[k.second].size()) cnt++;
            else{
                if(!t[k.second].size()) {pq.push(make_pair(s[k.second].top(),k.second));continue;}
                if(!s[k.second].size()) {pq.push(make_pair(t[k.second].top(),k.second));continue;}
                if(s[k.second].size() && t[k.second].size())
                    pq.push(make_pair(min(s[k.second].top(),t[k.second].top()),k.second));
            }
        }
        if(pq.empty()){pq.push(make_pair(A[i].r,i));continue;}
        um = i;int place = 0;num = 0;
        while(!pq.empty()){pr k = pq.top();if(k.first < A[i].r) {rs[++num] = k.second;pq.pop();}else break;}
        for(int j=1;j<=num;j++){
            int zeta = rs[j];
            if(s[zeta].size() && t[zeta].size() && s[zeta].top() < A[i].r && t[zeta].top() < A[i].r){
                puts("0");return;
            }
            int sum1 = s[um].size() + t[um].size(),sum2 = s[zeta].size()+t[zeta].size();
            if(sum1 > sum2){
                if((s[zeta].size() && s[zeta].top() < A[i].r) ^ place){
                    while(t[zeta].size()){s[um].push(t[zeta].top());t[zeta].pop();}
                    while(s[zeta].size()){t[um].push(s[zeta].top());s[zeta].pop();}
                }
                else{
                    while(s[zeta].size()){s[um].push(s[zeta].top());s[zeta].pop();}
                    while(t[zeta].size()){t[um].push(t[zeta].top());t[zeta].pop();}
                }
            }else{
                if((s[zeta].size() && s[zeta].top() < A[i].r) ^ place){
                    while(t[um].size()){s[zeta].push(t[um].top());t[um].pop();}
                    while(s[um].size()){t[zeta].push(s[um].top());s[um].pop();}
                    place ^= 1;
                }else{
                    while(s[um].size()){s[zeta].push(s[um].top());s[um].pop();}
                    while(t[um].size()){t[zeta].push(t[um].top());t[um].pop();}
                }
                um = zeta;
            }
        }
        if(!t[um].size())pq.push(make_pair(s[um].top(),um));
        else if(!s[um].size()) pq.push(make_pair(t[um].top(),um));
        else pq.push(make_pair(min(s[um].top(),t[um].top()),um));
    }
    while(!pq.empty()){cnt++;pq.pop();}
    int ans = 1;while(cnt--){ans*=2;ans%=mod;}
    printf("%d",ans);
}

int main(){
    read();
    work();
    return 0;
}