Codefoces ECR67 Vasya And Array(并查集 adhoc 构造性算法)

题目大意：

有一个数列，已知其中有上升必定上升的连续子串，还有非连续上升的连续子串，问这样的数列是否存在。

解题思路：

首先，我们思考什么时候输出NO，这个问题的几个思考点就是区间重叠和区间不重叠，所以我们从这里入手的话发现，若非连续上升区间在必定上升区间中，此时一定要输出NO，其它情况都可以输出YES，要实现这个，我们可以用并查集，把上升区间的子串作为一个集合，若非连续上升区间的元素都在这个集合里面同时这个区间都是上升区间构成（因为非上升区间也会产生一个集合）的就可以输出NO了。

至于怎么输出数列。方法我觉得应该很多，这里我把同一个上升区间肯定要单调递增是满足的，然后在并查集的集合交界处，采取了减1（这样才能过样例1！），其它区间同样是减1。为了防止数减出了范围，第一个值我们设置的大一点，这里为1e4。

AC代码：

#include <bits/stdc++.h>
using namespace std;
#define LSOne(s) s&(-s)
typedef vector<int>  vi;
class disJointUnionSet{
	private:
		vi p,rank,setSize;
		int numOfSet;
	public:
		disJointUnionSet(int n){
			p.assign(n,0);rank.assign(n,1);setSize.assign(n,1);
			numOfSet=n;
			for(int i=0;i<(int)p.size();i++){
				p[i]=i;
			}
		}
		int findSet(int i){
			return p[i]==i?p[i]:p[i]=findSet(p[i]);
		}
		bool isSameSet(int i,int j){
			return findSet(i)==findSet(j);
		}
		void UnionSet(int i,int j){
			int x=findSet(i);int y=findSet(j);
			if(x==y)return;
			if(rank[x]<rank[y]){
				p[x]=y;
				setSize[y]+=setSize[x];
			}else{
				p[y]=x;
				setSize[x]+=setSize[y];
				if(rank[x]==rank[y]){
					rank[x]++;
				}
			}
			numOfSet--;
		}
};
int main(){
	int n;
	int m;
	cin>>n>>m;
	int dtype[2][n];
	FenwickedTree ft(n+5);
	vector<pair<int,int>> che,che2;
	memset(dtype,0,sizeof(dtype));
	disJointUnionSet djs(n);
	for(int i=0;i<m;i++){
		int type,fir,last;
		cin>>type>>fir>>last;
		fir-=1;
		last-=1;
		for(int j=fir;j<=last;j++){
			dtype[type][j]=1;
			if(type)djs.UnionSet(fir,j);
		}
		if(!type)che.push_back(make_pair(fir,last));
	}
	for(int i=0;i<(int)che.size();i++){
		int f=che[i].first+1;
		int s=che[i].second+1;
		int allOneRange=0;
		for(int idx=f-1;idx<=s-1;idx++){
			if(dtype[1][idx]==1){allOneRange=1;break;}
		}
		int ft=f-1;
		int st=s-1;
		int allOneSet=1;
		for(int j=ft;j<=st;j++){
			if(!djs.isSameSet(ft,j)){
			allOneSet=0;}
		}
		if(allOneSet&&allOneRange){
			cout<<"NO"<<endl;
			return 0;
		}
	}
	int ans[n];
	for(int i=0;i<n;i++){
		if(!i){
			ans[0]=(int)1e4;
			continue;
		}
		if(!djs.isSameSet(i,i-1)){
			ans[i]=ans[i-1]-1;
		}else{
			if(dtype[1][i]==1){
				ans[i]=ans[i-1]+1;
			}else ans[i]=ans[i-1]-1;
		}
	}
	cout<<"YES"<<endl;
	for(int i=0;i<n;i++){
		if(i)cout<<" ";
		cout<<ans[i];
	}
	cout<<endl;
	return 0;
}