QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#498331#5504. Flower Gardenyz_lyRE 0ms30112kbC++145.2kb2024-07-30 11:55:082024-07-30 11:55:08

Judging History

你现在查看的是最新测评结果

  • [2024-07-30 11:55:08]
  • 评测
  • 测评结果:RE
  • 用时:0ms
  • 内存:30112kb
  • [2024-07-30 11:55:08]
  • 提交

answer

#include<bits/stdc++.h>
using namespace std;
inline int read(){
	int f=1,x=0;
	char ch=getchar();
	while(ch<'0'||ch>'9'){
		if(ch=='-')
			f=-f;
		ch=getchar();
	}
	while(ch>='0'&&ch<='9'){
		x=x*10+ch-'0';
		ch=getchar();
	}
	return f*x;
}
inline void work(int k){
	if(k<0){
		putchar('-');
		k=-k;
	}
	if(k>9)
		work(k/10);
	putchar(k%10+'0');
}
/*
首先不难想到2-sat,然后线段树优化建图后缩点,发现建图只用考虑s[x]=1->s[y]=1的部分,其余部分不用考虑
现在相当于有一个有点权的DAG,要求把DAG分成两半使得两边的点权都在[n,2*n]之内
如果有点>2*n肯定就无解
如果有一个点>=n,那么枚举这个点和前驱还是和后继在一起就行了
否则所有点都<n,直接按拓扑序一个一个点加进去,什么时候满足要求停下就行了
*/
int t,n,q,cnt,first[4000005],num,dfn[4000005],low[4000005],co[4000005],siz[4000005],vis[4000005],l,now,id[4000005],sum,ans[4000005],d[4000005],cnt1,first1[4000005],num1;
stack<int> s;
struct q1{
	int u,w,nex;
}a[20000005],b[20000005];
void add(int u1,int w1){
	a[++cnt]={u1,w1,first[u1]};
	first[u1]=cnt;
}
void add1(int u1,int w1){
	b[++cnt1]={u1,w1,first1[u1]};
	first1[u1]=cnt1;
}
struct node{
	int L[40000005],R[40000005];
	void build1(int k,int l,int r){
		if(l==r){
			id[l]=k;
			return ;
		}
		int mid=(l+r)>>1;
		L[k]=++num;
		L[num]=R[num]=0;
		R[k]=++num;
		L[num]=R[num]=0;
		build1(L[k],l,mid);
		build1(R[k],mid+1,r);
	}
	void build(int k,int l,int r){
		add(k+num1,k);
		if(l==r)
			return ;
		int mid=(l+r)>>1;
		build(L[k],l,mid);
		build(R[k],mid+1,r);
		add(L[k],k);
		add(R[k],k);
		add(k+num1,L[k]+num1);
		add(k+num1,R[k]+num1);
	}
	void change(int k,int l,int r,int x,int y){
		if(l>y||r<x)
			return ;
		if(l>=x&&r<=y){
			add(k,num);
			return ;
		}
		int mid=(l+r)>>1;
		change(L[k],l,mid,x,y);
		change(R[k],mid+1,r,x,y);
	}
	void modify(int k,int l,int r,int x,int y){
		if(l>y||r<x)
			return ;
		if(l>=x&&r<=y){
			add(num,k+num1);
			return ;
		}
		int mid=(l+r)>>1;
		modify(L[k],l,mid,x,y);
		modify(R[k],mid+1,r,x,y);
	}
}tree;
void Tarjan(int u){
	s.emplace(u);
	vis[u]=1;
	dfn[u]=low[u]=++now;
	for(int i=first[u];i;i=a[i].nex){
		if(!dfn[a[i].w]){
			Tarjan(a[i].w);
			low[u]=min(low[u],low[a[i].w]);
		}
		else if(vis[a[i].w])
			low[u]=min(low[u],dfn[a[i].w]);
	}
	if(dfn[u]==low[u]){
		co[u]=++l;
		vis[u]=0;
		while(s.top()!=u){
			co[s.top()]=l;
			vis[s.top()]=0;
			s.pop();
		}
		s.pop();
	}
}
void solve(int u){
	vis[u]=1;
	sum+=siz[u];
	for(int i=first[u];i;i=a[i].nex){
		if(!vis[a[i].w])
			solve(a[i].w);
	}
}
void solve1(int u){
	vis[u]=1;
	sum+=siz[u];
	for(int i=first1[u];i;i=b[i].nex){
		if(!vis[b[i].w])
			solve1(b[i].w);
	}
}
int main(){
	t=read();
	while(t--){
		n=read();
		q=read();
		num=1;
		tree.build1(1,1,3*n);
		num1=num;
		tree.build(1,1,3*n);
		num=2*num;
		while(q--){
			int x=read(),y=read(),l=read(),r=read();
			num++;
			first[num]=dfn[num]=low[num]=vis[num]=0;
			tree.change(1,1,3*n,x,y);
			tree.modify(1,1,3*n,l,r);
		}
		now=l=0;
		for(int i=1;i<=num;i++){
			if(!dfn[i])
				Tarjan(i);
		}
		for(int i=1;i<=l;i++){
			siz[i]=0;
		}
		for(int i=1;i<=3*n;i++){
			siz[co[id[i]]]++;
		}
		int flag=0;
		for(int i=1;i<=l;i++){
			if(siz[i]>2*n){
				flag=1;
				break;
			}
		}
		if(flag){
			puts("NIE");
			continue;
		}
		int all=cnt;
		cnt=cnt1=0;
		for(int i=1;i<=num;i++){
			first[i]=first1[i]=d[i]=0;
		}
		if(n>3000)
		return 0;
		for(int i=1;i<=all;i++){
			if(co[a[i].u]!=co[a[i].w]){
				d[co[a[i].u]]++;
				add1(co[a[i].w],co[a[i].u]);
				add(co[a[i].u],co[a[i].w]);
			}
		}
		int id1=0;
		for(int i=1;i<=l;i++){
			vis[i]=0;
			if(siz[i]>=n)
				id1=i;
		}
		sum=0;
		if(id1){
			solve(id1);
			vis[id1]=0;
			sum-=siz[id1];
			if(sum>=n){
				for(int i=1;i<=3*n;i++){
					if(vis[co[id[i]]])
						ans[i]=1;
					else
						ans[i]=0;
				}
			}
			else if(siz[id1]+sum<=2*n){
				for(int i=1;i<=3*n;i++){
					if(vis[co[id[i]]]||co[id[i]]==id1)
						ans[i]=1;
					else
						ans[i]=0;
				}
			}
			else{
				sum=0;
				for(int i=1;i<=l;i++){
					vis[i]=0;
				}
				solve1(id1);
				vis[id1]=0;
				sum-=siz[id1];
				if(sum>=n){
					for(int i=1;i<=3*n;i++){
						if(vis[co[id[i]]])
							ans[i]=0;
						else
							ans[i]=1;
					}
				}
				else if(siz[id1]+sum<=2*n){
					for(int i=1;i<=3*n;i++){
						if(vis[co[id[i]]]||co[id[i]]==id1)
							ans[i]=0;
						else
							ans[i]=1;
					}
				}
				else{
					puts("NIE");
					continue;
				}
			}
		}
		else{
			queue<int> p;
			for(int i=1;i<=l;i++){
				if(!d[i])
					p.emplace(i);
			}
			while(!p.empty()){
				int k=p.front();
				p.pop();
				sum+=siz[k];
				vis[k]=1;
				if(sum>=n)
					break;
				for(int i=first1[k];i;i=b[i].nex){
					if(!(--d[b[i].w]))
						p.emplace(b[i].w);
				}
			}
			for(int i=1;i<=3*n;i++){
				if(vis[co[id[i]]])
					ans[i]=1;
				else
					ans[i]=0;
			}
		}
		cnt=0;
		for(int i=1;i<=l;i++){
			first[i]=dfn[i]=low[i]=vis[i]=0;
		}
		puts("TAK");
		for(int i=1;i<=3*n;i++){
			putchar(ans[i]?'F':'R');
		}
		putchar('\n');
	}
	return 0;
}

详细

Test #1:

score: 100
Accepted
time: 0ms
memory: 30112kb

input:

2
1 3
1 1 2 2
1 2 3 3
1 1 3 3
1 3
1 1 2 2
2 2 3 3
3 3 1 1

output:

TAK
RFF
NIE

result:

ok good!

Test #2:

score: -100
Runtime Error

input:

10
33333 100000
28701 40192 93418 95143
95902 97908 78378 78461
36823 44196 22268 23996
23977 24786 33315 48829
83965 90411 4923 8445
20235 21177 32543 47454
29598 35414 72477 73049
2014 12632 42163 46466
64305 65518 98825 99552
32331 41625 92772 96224
26500 54122 76990 77126
18249 20335 31165 36080...

output:


result: