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;
}