ADERA3 省选模拟赛 SPOJ LMCONST

这题zxr神犇当场ak了。。

无限仰慕，用的是zxr神犇的方法，没有Riatre的~

不加通道前时一棵树，然后根据这个再树上贪心就好了，反正我是没想到。。。

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>

#define N 111111
#define M 555555

using namespace std;

int n,m,q,st,ed,cnt;
int head[N],next[M],to[M];
int out[N],outs[N],in[N],ins[N],c[N];
bool fg;

inline void add(int u,int v)
{
    to[cnt]=v; next[cnt]=head[u]; head[u]=cnt++;
}

inline void read()
{
    scanf("%d%d%d",&n,&m,&q);
    cnt=0;
    for(int i=0;i<=n;i++)
    {
        in[i]=out[i]=c[i]=0;
        head[i]=-1;
    }
    scanf("%d%d",&st,&ed); st++,ed++;
    outs[ed]=st; ins[st]=ed;
    in[st]++; out[ed]++;
    for(int i=1,a,b;i<=m;i++)
    {
        scanf("%d%d",&a,&b); a++,b++;
        add(a,b); add(b,a);
    }
    for(int i=1,a,b;i<=q;i++)
    {
        scanf("%d%d",&a,&b); a++,b++;
        outs[a]=b; ins[b]=a;
        out[a]++; in[b]++;
    }
}

inline void dfs(int u,int fa)
{
    if(!fg) return;
    for(int i=head[u];~i;i=next[i])
    {
        if(to[i]==fa) continue;
        dfs(to[i],u);
        if(c[to[i]]==1)
        {
            outs[to[i]]=u; ins[u]=to[i];
            out[to[i]]++; in[u]++;
        }
        else if(c[to[i]]==-1)
        {
            outs[u]=to[i]; ins[to[i]]=u;
            out[u]++; in[to[i]]++;
        }
    }
    if(in[u]>1||out[u]>1) {fg=false;return;}
    c[u]=in[u]-out[u];
}

inline void go()
{
    for(int i=1;i<=n;i++)
        if(in[i]>1||out[i]>1) {puts("IMPOSSIBLE");return;}
    fg=true;
    dfs(1,-1);
    
    if(!fg||c[1]!=0) {puts("IMPOSSIBLE");return;}
    for(int i=1;i<=n;i++)
        if(out[i]!=0)
        {
            out[i]--; in[outs[i]]--;
            for(int j=outs[i];j!=i;j=outs[j]) out[j]--,in[outs[j]]--;
            break;
        }
    
    for(int i=1;i<=n;i++)
        if(out[i]!=0) {puts("IMPOSSIBLE");return;}
    puts("POSSIBLE");
}

int main()
{
    int cas; scanf("%d",&cas);
    while(cas--) read(),go();
    return 0;
}