ZOJ 1992 Sightseeing Tour（混合图欧拉回路）

解题思路：对于单独的无向图和有向图欧拉回路的判定都可以单独通过对每个点度的分析得到。

而混合图欧拉回路的判定就涉及到网络流算法了。

因为如果存在欧拉回路，那么无向边最后一定被指定了一个方向，所以我们不妨先给每条无向边假定一个方向。

最后欧拉回路一定是把当前这个图中若干条无向边的方向改变得到的。

此时的图变为有向图，最后要满足每个点入度出度相等。我们发现改变一条边的方向，不会改变一个点的 入度-出度 这个值的奇偶性。所以无论当前无向边的方向是什么，入度-出度 的值也一定是偶数。

这时我们应该改变哪些边，让当前图上所有点入度出度相等呢？

如果一个点入度大于出度，设 入度 - 出度 = 2*x，我们希望有x条入的边翻转。另一种情况同理。

所以我们建立一个源点 s，一个汇点 t ，当每个点入度大于出度的时候，我们建一条从这个点发出指向汇点的边，流量为x。另一种情况我们建一条从源点出发指向当前点的边，流量也为x。删去图中所有的有向边，跑最大流，如果是满流就存在欧拉回路。

考虑一条增广路 S -> i -> a -> b -> c -> j -> T ，当我们把这条路径上所有的边翻转的时候，只有 i 的出度 -1 j 的入度 - 1，a,b,c点的入度出度保持不变。所以上述建图的正确性就不难理解了。

AC代码：

/*
* @Author: wchhlbt
* @Last Modified time: 2017-11-07
*/

#include <bits/stdc++.h>

#define inf 0x3f3f3f3f
#define pb push_back
#define AA first
#define BB second
#define ONES(x) __builtin_popcount(x)
#define _  << "  " <<
using namespace std;

typedef pair<int, int> P;
typedef long long ll ;
int dx[4] = {0,0,1,-1};
int dy[4] = {1,-1,0,0};
const double eps =1e-8;
const int mod = 1000000007;
const double PI = acos(-1.0);
inline int read(){ int num;    scanf("%d",&num);   return num;}
const int maxn = 400;

int in[maxn],out[maxn];

/*
    最大流Dinic算法
    使用前调用init函数
*/
struct Edge
{
    int from,to,cap,flow;
    Edge(){}
    Edge(int f,int t,int c,int fl):from(f),to(t),cap(c),flow(fl){}
};

struct Dinic
{
    int n,m,s,t;
    vector<Edge> edges;
    vector<int> G[maxn];
    bool vis[maxn];
    int cur[maxn];
    int d[maxn];

    void init(int n,int s,int t)
    {
        this->n=n, this->s=s, this->t=t;
        edges.clear();
        for(int i=0;i<n;++i) G[i].clear();
    }

    void AddEdge(int from,int to,int cap)
    {
        edges.push_back( Edge(from,to,cap,0) );
        edges.push_back( Edge(to,from,0,0) );
        m=edges.size();
        G[from].push_back(m-2);
        G[to].push_back(m-1);
    }

    bool BFS()
    {
        queue<int> Q;
        memset(vis,0,sizeof(vis));
        vis[s]=true;
        d[s]=0;
        Q.push(s);
        while(!Q.empty())
        {
            int x=Q.front(); Q.pop();
            for(int i=0;i<G[x].size();++i)
            {
                Edge& e=edges[G[x][i]];
                if(!vis[e.to] && e.cap>e.flow)
                {
                    vis[e.to]=true;
                    d[e.to]=d[x]+1;
                    Q.push(e.to);
                }
            }
        }
        return vis[t];
    }

    int DFS(int x,int a)
    {
        if(x==t || a==0) return a;
        int flow=0, f;
        for(int &i=cur[x];i<G[x].size();++i)
        {
            Edge &e=edges[G[x][i]];
            if(d[e.to]==d[x]+1 && (f=DFS(e.to,min(a,e.cap-e.flow) ) )>0)
            {
                e.flow +=f;
                edges[G[x][i]^1].flow -=f;
                flow +=f;
                a -=f;
                if(a==0) break;
            }
        }
        return flow;
    }

    int max_flow()
    {
        int ans=0;
        while(BFS())
        {
            memset(cur,0,sizeof(cur));
            ans +=DFS(s,inf);
        }
        return ans;
    }
}dinic;

int main()
{
    int t = read();
    while(t--){
        int n = read(); int m = read();
        //init
        int flag = 0;
        int sum = 0;
        dinic.init(n+2,0,n+1);
        memset(in,0,sizeof in);
        memset(out,0,sizeof out);

        for(int i = 1; i<=m; i++){
            int u,v,w;
            scanf("%d%d%d",&u,&v,&w);
            out[u]++,in[v]++;
            if(w!=1){
                dinic.AddEdge(u,v,1);
            }
        }
        for(int i = 1; i<=n; i++){
            int d = in[i] - out[i];
            if(d&1){
                flag = 1;
                break;
            }
            if(d>0) dinic.AddEdge(i,n+1,d/2);
            else    dinic.AddEdge(0,i,-d/2), sum -= d/2;
        }
        int max_flow = -1;
        if(!flag)
            max_flow = dinic.max_flow();
        if(sum==max_flow)   puts("possible");
        else puts("impossible");   
    }
    
    return 0;
}