poj 1637 Sightseeing tour

题意：给出一个混合图（有的边有向，有的边无向），问此图是否存在欧拉回路。

先说说欧拉回路吧，起点和终点相同，经过图G的每条边一次，且只经过一次的路径称为欧拉回路。
按照图的不同分为：无向图欧拉回路、有向图欧拉回路和混合图欧拉回路。

判断一个图是否存在欧拉回路：
1.无向图：图连通，且图中均为偶度顶点。
2.有向图：图连通，且图中所有顶点出入度相等。
3.混合图：混合图欧拉回路的判断是用网络流，实现方法：

首先对所有的无向边随便定向，之后会进行调整。然后统计每个点的出入度，如果有某个点出入度之差为奇数，则不存在欧拉回路，因为相差为奇数的话，无论如果调整边，都不能使得每个点的出入度相等。

现在每个点的出入度之差为偶数了，把这个偶数除以2,得x。则对每个顶点改变与之相连的x条边的方向就可以使得该点出入度相等。如果每个点都能达到出入度相等，自然就存在欧拉回路了。

现在问题就变成了改变哪些边的方向能让每个点出入度相等了，构造网络流模型。
有向边不能改变方向，所以不添加有向边。对于在开始的时候任意定向的无向边，按所定的方向加边，容量为1。源点向所有出>入的点连边，容量为该点的x值；所有入>出的点向汇点连边，容量为该点的x值。

建图完成了，求解最大流，如果能满流分配，则存在欧拉回路。那么哪些边改变方向才能得到欧拉回路呢？查看流量分配，所有流量非0的边就是要改变方向的边。

原理是因为满流分配，所以和源点相连的点一定都有x条边流入，将这些边反向这些点就出入度相等了，和汇点相连的亦然。没有和源、汇相连的已经出入度相等了，当然不用修改，至此欧拉回路求解完毕。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
using namespace std;


#define abs(x) (x)>0?(x):-(x)


const int INF=1000000000;
const int N=100005;


struct Node
{
int v,cap,flow,next;
};




Node edges[N];
int n,m,s,t,head[N],e;
int num[N],h[N],curedge[N],pre[N];
int in[1000],out[1000];


void add(int u,int v,int cap)
{
    edges[e].v=v;
    edges[e].cap=cap;
    edges[e].flow=0;
    edges[e].next=head[u];
    head[u]=e++;
}


void Add(int u,int v,int cap)
{
    add(u,v,cap);//正向边初始化为cap
    add(v,u,0);//反向边初始化为0
}


int Maxflow(int s,int t,int n)//n为顶点个数
{
int ans=0,i,k,x,d,u;


memset(num,0,sizeof(num));
memset(h,0,sizeof(h));
for(i=0;i<=n;i++) curedge[i]=head[i];
num[n]=n;u=s;
while(h[u]<n)//每一个节点到汇点的距离小于等于n-1
{
if(u==t)
{
d=INF+1;
//获得最短路径上的最小流和流出最小流的节点
for(i=s;i!=t;i=edges[curedge[i]].v) if(d>edges[curedge[i]].cap)
k=i,d=edges[curedge[i]].cap;
//更新图
for(i=s;i!=t;i=edges[curedge[i]].v)
{
x=curedge[i];
edges[x].cap-=d;
edges[x].flow+=d;
edges[x^1].cap+=d;
edges[x^1].flow-=d;
}
ans+=d;u=k;
}
//找到一条允许的边，即最短路径上的边，并将该节点的当前边记录下来。
for(i=curedge[u];i!=-1;i=edges[i].next) if(edges[i].cap>0&&h[u]==h[edges[i].v]+1)
break;
if(i!=-1)
{
curedge[u]=i;
pre[edges[i].v]=u;
u=edges[i].v;
}
else    //更新u节点到汇点的最短路
{
//某一种路径出现断流
if(--num[h[u]]==0) break;
//更新u节点的当前边和最短路
curedge[u]=head[u];
for(x=n,i=head[u];i!=-1;i=edges[i].next) if(edges[i].cap>0&&h[edges[i].v]<x)
x=h[edges[i].v];
h[u]=x+1;num[h[u]]++;
if(u!=s) u=pre[u];
}
}
return ans;
}




int main()
{
    int T,u,v,w,ans;
    scanf("%d",&T);
    while(T--)
    {
        e = 0;
        memset(head,-1,sizeof(head));
        memset(pre,0,sizeof(pre));
        memset(in,0,sizeof(in));
        memset(out,0,sizeof(out));
        ans = 1;
        scanf("%d %d",&n,&m);
        for(int i = 0;i<m;i++)
        {
            scanf("%d %d %d",&u,&v,&w);
            in[v]++;
            out[u]++;
            if(w==0)
                Add(u,v,1);
        }
        for(int i = 1;i<=n;i++)
        {
            if(((int)fabs((double)(in[i]-out[i])))&1)
            {
                ans = 0;
                break;
            }
        }
        if(!ans)
        {
            printf("impossible\n");
        }
        else
        {
            int sum = 0;
            s = 0;
            t = n+1;
            for(int i = 1;i<=n;i++)
            {
                int temp = (out[i] - in[i])/2;
                if(temp<0)
                {
                    Add(i,t,-temp);
                }
                else if(temp>0)
                {
                    Add(s,i,temp);
                    sum+=temp;
                }
            }
            if(Maxflow(s,t,n+2)==sum)
                printf("possible\n");
            else
                printf("impossible\n");
        }
    }
    return 0;
}