QOJ.ac
QOJ
ID | 题目 | 提交者 | 结果 | 用时 | 内存 | 语言 | 文件大小 | 提交时间 | 测评时间 |
---|---|---|---|---|---|---|---|---|---|
#472722 | #5504. Flower Garden | yz_ly | WA | 0ms | 26140kb | C++14 | 4.4kb | 2024-07-11 18:47:23 | 2024-07-11 18:47:23 |
Judging History
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[700005],num,dfn[700005],low[700005],co[700005],siz[700005],vis[700005],l,now,id[700005],sum,ans[700005],d[700005],cnt1,first1[700005];
stack<int> s;
struct q1{
int u,w,nex;
}a[5000005],b[5000005];
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]=cnt;
}
struct node{
void build(int k,int l,int r){
add(k+6*n,k);
if(k>6*n)
exit(0);
if(l==r){
id[l]=k;
return ;
}
int mid=(l+r)>>1;
build(2*k,l,mid);
build(2*k+1,mid+1,r);
add(2*k,k);
add(2*k+1,k);
add(k+6*n,2*k+6*n);
add(k+6*n,2*k+1+6*n);
}
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(2*k,l,mid,x,y);
change(2*k+1,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+6*n);
return ;
}
int mid=(l+r)>>1;
modify(2*k,l,mid,x,y);
modify(2*k+1,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);
}
}
int main(){
t=read();
while(t--){
n=read();
q=read();
num=12*n;
cnt=0;
for(int i=1;i<=num;i++){
first[i]=dfn[i]=low[i]=0;
}
tree.build(1,1,3*n);
while(q--){
int x=read(),y=read(),l=read(),r=read();
num++;
first[num]=dfn[num]=low[num]=0;
if(num>7e5)
exit(1);
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;
}
for(int i=1;i<=all;i++){
if(co[a[i].u]!=co[a[i].w]){
add(co[a[i].u],co[a[i].w]);
add1(co[a[i].w],co[a[i].u]);
d[co[a[i].u]]++;
}
}
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{
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;
}
}
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: 26140kb
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
Wrong Answer
time: 0ms
memory: 22008kb
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:
wrong output format Unexpected end of file - token expected