BZOJ_P3081 [Cerc2011]Strange Regulations(LCT)

BZOJ传送门

Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 28 Solved: 12
[Submit][Status][Discuss]
Description

在一个计算机网络中，连接两台计算机的电缆属于不同的公司。一项新的反垄断法规定，一家公司连接同一台计算机的电缆不能超过两条。为了避免资源浪费，另外一条法律规定，一家公司的电缆系统不能有冗余，即去掉任意一个电缆之后，至少一对之前连通的计算机要断开连接。由于这些公司不断的销售和购入电缆，要确定他们是否遵守这些规则十分的困难。你的任务是写一个程序完成这个任务

Input
多组测试数据。第一行是4个整数N，M，C，T——计算机的数量1<=N=8000，电缆的数量0<=M<=100000，公司的数量1<=C<=100，电缆销售/购入的数量0<=T<=100000。

接下来M行，每行三个整数Sj1,Sj2,Kj，代表这条电缆连接的两个服务器Sj1,Sj2以及电缆所属的公司Kj。初始状态是遵守规则的。

接下来行，每行3个整数Si1,Si2,Ki，表示公司购入了连接S1,S2的电缆。

4个0标志着测试文件的结束。

Output
对于每个测试数据，输出行：
“No Such Cable.” 如果这对服务器之前没有被一对电缆相连
“Already owned.” 如果这对电缆本来就属于这家公司
“Frobidden: monopoly.” 如果公司Ki已经有2条电缆与S1或S2相连
“Forbidden: redundant.” 如果公司Ki公司购入这条电缆后，会在其网络中形成环
“Sold” 操作成功

每组测试数据之后要输出一个空行

Sample Input
4 5 3 5
1 2 1
2 3 1
3 4 2
1 4 2
1 3 3
1 2 3
1 2 3
1 4 3
2 3 3
2 4 3
2 1 1 1
1 2 1
1 2 1
0 0 0 0

Sample Output

Sold.
Already owned.
Forbidden: monopoly.
Forbidden: redundant.
No such cable.

Already owned.

HINT

Source

双倍经验get√

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
using namespace std;
#define C 102
#define N 8005
#define M 100005
#define lc(o) ch[o][0]
#define rc(o) ch[o][1]
inline int in(int x=0,char ch=getchar(),int v=1){
    while(ch!='-'&&(ch>'9'||ch<'0')) ch=getchar();if(ch=='-') v=-1,ch=getchar();
    while(ch>='0'&&ch<='9') x=(x<<3)+(x<<1)+ch-'0',ch=getchar();return x*v;
}
struct LinkCutTree{
    int f[N],ch[N][2],rev[N];
    bool isrt(int o){return (!f[o])||(o!=lc(f[o])&&o!=rc(f[o]));}
    inline void Updata(int o){if(rev[o]){rev[o]^=1;swap(lc(o),rc(o));rev[lc(o)]^=1,rev[rc(o)]^=1;}}
    inline void Push(int o){if(!isrt(o)) Push(f[o]);Updata(o);}
    inline void Rot(int o){
        int p=f[o],k=f[p],d=lc(p)==o;
        if(!isrt(p)) ch[k][rc(k)==p]=o;
        f[ch[o][d]]=p;f[o]=k;
        ch[p][d^1]=ch[o][d],ch[o][d]=p,f[p]=o;
    }
    inline void Splay(int o){
        int p,k;Push(o);
        while(!isrt(o)){
            p=f[o],k=f[p];
            if(isrt(p)) Rot(o);
            else if((rc(p)==o)==(rc(k)==p)) Rot(p),Rot(o);
            else Rot(o),Rot(o);
        }
    }
    inline void Access(int o,int x=0){for(;o;o=f[x=o]) Splay(o),rc(o)=x;}
    inline void Makert(int o){Access(o),Splay(o),rev[o]^=1;}
    inline void Link(int u,int v){Makert(u),f[u]=v;}
    inline void Cut(int u,int v){Makert(u),Access(v),Splay(v),f[lc(v)]=0,lc(v)=0;}
    inline bool Check1(int u,int v){
        Makert(u),Access(v),Splay(v);
        for(;u;u=f[u]) if(u==v) return 0;return 1;}
    inline void init(){
        memset(f,0,sizeof(f));memset(ch,0,sizeof(ch));memset(rev,0,sizeof(rev));
    }
}c[C];

int n,m,cr,t,cnt;short s[N][C];
struct Edge{int u,v,w;}edge[M];vector<int> g[N];
inline void Add_Edge(int u,int v,int w){
    edge[++cnt]=(Edge){u,v,w};s[u][w]++,s[v][w]++;
    g[u].push_back(cnt),g[v].push_back(cnt);
}

inline int Check(int u,int v){
    if(g[u].size()>g[v].size()) swap(u,v);
    for(int i=0,lim=g[u].size();i<lim;i++) if(edge[g[u][i]].u==v||edge[g[u][i]].v==v) return g[u][i];
    return -1;
}
void solve(){
    int u,v,w,w1;
    for(int i=1;i<=m;i++){
        u=in(),v=in(),w=in();
        Add_Edge(u,v,w);c[w].Link(u,v);
    }
    while(t--){
        u=in(),v=in(),w=in();
        w1=Check(u,v);
        if(w1==-1){puts("No such cable.");continue;}
        if(edge[w1].w==w){puts("Already owned.");continue;}
        if(s[u][w]>1||s[v][w]>1){puts("Forbidden: monopoly.");continue;}
        if(!c[w].Check1(u,v)){puts("Forbidden: redundant.");continue;};
        c[edge[w1].w].Cut(u,v);c[w].Link(u,v);puts("Sold.");
        s[u][edge[w1].w]--,s[v][edge[w1].w]--;
        s[u][w]++,s[v][w]++,edge[w1].w=w;
    }
}
int main(){
    while(n=in(),m=in(),cr=in(),t=in(),n&&m&&cr&&t){
        cnt=0;for(int i=0;i<=n;i++) g[i].clear();
        for(int i=0;i<=cr;i++) c[i].init();
        memset(s,0,sizeof(s));
        solve();putchar('\n');
    }
    return 0;
}