题意:给出一个混合图(有的边有向,有的边无向),问此图是否存在欧拉回路。
先说说欧拉回路吧,起点和终点相同,经过图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;
}