POJ1637 Sightseeing tour（判定混合图欧拉回路）

提示：扫一扫查出行
【扫一扫了解最新限行尾号】
复制提示

有向连通图存在欧拉回路的充要条件是所有点入度=出度。

首先随便给定所有无向边一个方向（不妨直接是u->v方向），记录所有点的度（记：度=入度-出度）。

这时如果有点的度不等于0，那么就不存在欧拉回路，就需要改变那些无向边的方向。

而改变一个无向边的方向，相当于边上两个端点的入度和出度都变化了1，它们的度±2。

另外，这样可以证明如果这时某个点的度为奇数那么一定不存在存在欧拉回路的解。

构图如下：所有无向边(u,v)，建立容量为1的(u,v)边；所有度小于0的点u，建立容量为-deg/2的(vs,u)边；所有度大于0的点u，建立容量为deg/2(u,vt)边。

最后如果和vs、vt关联的边都满流，那么就有存在欧拉回路的解。

 #include<cstdio>

 #include<cstring>

 #include<queue>

 #include<algorithm>

 using namespace std;

 #define INF (1<<30)

 #define MAXN 222

 #define MAXM 4444 

 struct Edge{

     int v,cap,flow,next;

 }edge[MAXM];

 int vs,vt,NE,NV;

 int head[MAXN];

 void addEdge(int u,int v,int cap){

     edge[NE].v=v; edge[NE].cap=cap; edge[NE].flow=;

     edge[NE].next=head[u]; head[u]=NE++;

     edge[NE].v=u; edge[NE].cap=; edge[NE].flow=;

     edge[NE].next=head[v]; head[v]=NE++;

 }

 int level[MAXN];

 int gap[MAXN];

 void bfs(){

     memset(level,-,sizeof(level));

     memset(gap,,sizeof(gap));

     level[vt]=;

     gap[level[vt]]++;

     queue<int> que;

     que.push(vt);

     while(!que.empty()){

         int u=que.front(); que.pop();

         for(int i=head[u]; i!=-; i=edge[i].next){

             int v=edge[i].v;

             if(level[v]!=-) continue;

             level[v]=level[u]+;

             gap[level[v]]++;

             que.push(v);

         }

     }

 }

 int pre[MAXN];

 int cur[MAXN];

 int ISAP(){

     bfs();

     memset(pre,-,sizeof(pre));

     memcpy(cur,head,sizeof(head));

     int u=pre[vs]=vs,flow=,aug=INF;

     gap[]=NV;

     while(level[vs]<NV){

         bool flag=false;

         for(int &i=cur[u]; i!=-; i=edge[i].next){

             int v=edge[i].v;

             if(edge[i].cap!=edge[i].flow && level[u]==level[v]+){

                 flag=true;

                 pre[v]=u;

                 u=v;

                 //aug=(aug==-1?edge[i].cap:min(aug,edge[i].cap));

                 aug=min(aug,edge[i].cap-edge[i].flow);

                 if(v==vt){

                     flow+=aug;

                     for(u=pre[v]; v!=vs; v=u,u=pre[u]){

                         edge[cur[u]].flow+=aug;

                         edge[cur[u]^].flow-=aug;

                     }

                     //aug=-1;

                     aug=INF;

                 }

                 break;

             }

         }

         if(flag) continue;

         int minlevel=NV;

         for(int i=head[u]; i!=-; i=edge[i].next){

             int v=edge[i].v;

             if(edge[i].cap!=edge[i].flow && level[v]<minlevel){

                 minlevel=level[v];

                 cur[u]=i;

             }

         }

         if(--gap[level[u]]==) break;

         level[u]=minlevel+;

         gap[level[u]]++;

         u=pre[u];

     }

     return flow;

 }

 int n,m,deg[MAXN];

 bool solve(){

     for(int i=; i<=n; ++i){

         if(abs(deg[i])&) return ;

         if(deg[i]>) addEdge(i,vt,deg[i]>>);

         else if(deg[i]<) addEdge(vs,i,(-deg[i])>>);

     }

     ISAP();

     for(int i=; i<NE ;i+=){

         if(edge[i^].v!=vs&&edge[i].v!=vt) continue;

         if(edge[i].cap!=edge[i].flow) return ;

     }

     return ;

 }

 int main(){

     int t,a,b,c;

     scanf("%d",&t);

     while(t--){

         scanf("%d%d",&n,&m);

         vs=; vt=n+; NV=vt+; NE=;

         memset(head,-,sizeof(head));

         memset(deg,,sizeof(deg));

         while(m--){

             scanf("%d%d%d",&a,&b,&c);

             --deg[a]; ++deg[b];

             if(c==) addEdge(a,b,);

         }

         if(solve()) puts("possible");

         else puts("impossible");

     }

     return ;

 }