poj 1637 最大流解混合图欧拉回路

poj 1637

题意：给一个混合图，判断是否是欧拉回路。

思路：

首先是基本的欧拉回路判定：

1.所有点连通（题目保证所有点连通）

2.每个点的度数之和为偶数：可以给路径任意定向统计出度入度

3.每个点的入度出度相同：因为有的路径方向可变，所以难以统计，也是这题的难点所在

设di为点i的入度-出度，如果di不为0，就说明有di/2条和i点相连的路的方向需要被修改（di大于0，入度路改为出度路；小于0，出度路改为入度路）。

然后可以利用求解最大流的方法求解：

将无向边的容量设为1，入度大于出度的点连接汇点，容量为di/2；出度大于入度的点连源点，容量也为di/2；有向边不建入图内。

这样如果结果满流，那么一定各点出度等于入度，存在欧拉回路。

这里解释一下为什么入度大于出度要连汇点：

因为无向边的容量为1，如果跑完最大流后无向边的流量为1，则说明无向边的方向需要改变（原来的方向是任意定向的方向），而对于连接汇点的点，如果存在欧拉回路，则一定有连接它的边流量非0，那么方向边的就会变化，点的入度就会减少，出度就会增加；同理出度大于入度的店要连接源点。

更详尽的内容可以参考Edelweiss整理的《网络流建模汇总》。

PS：吐槽一下这个题开始跑sap无情的tle了，后来发现是边的数组开小了。。边的数组最大有（n+m）*2，我只开到了m*2。。居然不报re

#include <stdio.h>
#include <string.h>
#include <iostream>
#include <algorithm>
#include <vector>
#include <queue>
#include <set>
#include <map>
#include <string>
#include <math.h>
#include <stdlib.h>
#include <time.h>
using namespace std;

const int MAXN = 210;//点数的最大值
const int MAXM = 20100;//边数的最大值
const int INF = 0x3f3f3f3f;
struct Edge{
    int to,next,cap,flow;
}edge[MAXM];//注意是MAXM
int tol;
int head[MAXN];
int gap[MAXN],dep[MAXN],pre[MAXN],cur[MAXN];
void init(){
    tol = 0;
    memset(head,-1,sizeof(head));
}
//加边，单向图三个参数，双向图四个参数
void addedge(int u,int v,int w,int rw=0){
    edge[tol].to = v;edge[tol].cap = w;edge[tol].next = head[u];
    edge[tol].flow = 0;head[u] = tol++;
    edge[tol].to = u;edge[tol].cap = rw;edge[tol].next = head[v];
    edge[tol].flow = 0;head[v]=tol++;
}
int sap(int start,int end,int N){
    memset(gap,0,sizeof(gap));
    memset(dep,0,sizeof(dep));
    memcpy(cur,head,sizeof(head));
    int u = start;
    pre[u] = -1;
    gap[0] = N;
    int ans = 0;
    while(dep[start] < N){
        if(u == end){
            int Min = INF;
            for(int i = pre[u];i != -1; i = pre[edge[i^1].to])
                if(Min > edge[i].cap - edge[i].flow)
                        Min = edge[i].cap - edge[i].flow;
            for(int i = pre[u];i != -1; i = pre[edge[i^1].to]){
                edge[i].flow += Min;
                edge[i^1].flow -= Min;
            }
            u = start;
            ans += Min;
            continue;
        }
        bool flag = false;
        int v;
        for(int i = cur[u]; i != -1;i = edge[i].next){
            v = edge[i].to;
            if(edge[i].cap - edge[i].flow && dep[v]+1 == dep[u]){
                flag = true;
                cur[u] = pre[v] = i;
                break;
            }
        }
        if(flag){
            u = v;
            continue;
        }
        int Min = N;
        for(int i = head[u]; i != -1;i = edge[i].next)
            if(edge[i].cap - edge[i].flow && dep[edge[i].to] < Min){
                Min = dep[edge[i].to];
                cur[u] = i;
            }
        gap[dep[u]]--;
        if(!gap[dep[u]])return ans;
        dep[u] = Min+1;
        gap[dep[u]]++;
        if(u != start) u = edge[pre[u]^1].to;
    }
    return ans;
}
int from[MAXM], to[MAXM], in[MAXN], out[MAXN];
bool isOneWay[MAXM];
main() {
    int n, m, t;
    scanf("%d", &t);
    while(t--){
        init();
        memset(in, 0, sizeof in);
        memset(out, 0, sizeof out);
        scanf("%d %d", &n, &m);
        for(int i = 0; i < m; i++) {
            scanf("%d %d %d", &from[i], &to[i], &isOneWay[i]);
            out[from[i]]++, in[to[i]]++;
        }
        bool flag = false;
        for(int i = 1; i <= n; i++) {
            if((out[i] - in[i]) % 2) flag = true;
        }
        if(flag){
            puts("impossible");
            continue;
        }
        int src = 0, sink = n + 1;
        for(int i = 0; i < m; i++){
            if(!isOneWay[i]) addedge(from[i], to[i], 1);
        }
        int sum = 0;
        for(int i = 1; i <= n; i++){
            if(in[i] > out[i]) addedge(i, sink, (in[i] - out[i]) / 2), sum += (in[i] - out[i]) / 2;
            else if(in[i] < out[i]) addedge(src, i, (out[i] - in[i]) / 2);
        }
        if(sap(src, sink, n + 2) == sum) puts("possible");
        else puts("impossible");
    }
}