POJ 3204

//题目类型:最小割
实际上就是求割边,但这个割边必需是一头能被源到达,另一头能被汇到达。
以下分析转载自:http://hi.baidu.com/edwardmj/blog/item/112891b73f289ac536d3ca80.html
【题目大意】给定一个流网络,让你求其中有多少条有效边。其中有效边的定义是:修改这条边的容量,可以使最大流增大。(只允许修改一条边)

【算法分析】如果你平常写网络流不都是写预留推进的话,这题应该难不倒你。。。
实际上呢,如果你把某一条边的容量增加了的话,如果最大流增大,那么必然是在当前流网络中能找到一条新的增广路(并且该增广路要经过你修改过的那条边)。而最大流的标志则是不能再找到增广路了。
于是我们得到这样一个算法:
选求最大流。
然后在残余网络中找满流边[X,Y](如果是非满流边你增加它容量也没用。。。因为它的容量本来就过多了)
如果在残余网络中存在路径[S,X]和[Y,T],那么这条边为有效边。

为什么?
因为如果你增加[X,Y]的容量,那么在存在增广路径[S,X]->[X,Y]->[Y,T]

这样我们就得到一个求有效边的算法。

但是如果你要Floyed的话。。。我不阻止你。。。
而我们其实存在更高效的方法,那就是先以S为起点DFS,然后将所有边反向,然后以T为起点dfs。
这样总复杂度就是O(maxflow)

#include <stdio.h>
#include <stdlib.h>
//#include <conio.h>
#include <string.h>
const int maxn=501;
const int maxm=5001;
struct node
{
         int x,y,f,op,next;      //x起点,y终点,f权值,next是以x为起点的上一条边在g中的位置,op是反向边在g中的下标位置
}g[maxm*2];
//first[]存储的是以x为起点的最后一条边的在数组g中的下标
//sumd[]用于记录表示标号为i的顶点数有多少个,用于间隙优化
int first[maxn],now[maxn],sumd[maxn];   
int ncount;                                //代表结点的总数
int dis[maxn],fanhui[maxn],pre[maxn],tot; //dis[]用于记录距离标号,pre[i]记录i的前驱在g[]中的位置,tot记录边的总数
bool v[maxn],vs[maxn],vt[maxn];
int map[maxn][maxn];
int n,m;
void add(int x,int y,int c)
{
    tot++;        //tot记录边的总数
    g[tot].x=x;
    g[tot].y=y;   
    g[tot].f=c;
    g[tot].op=tot+1;        //反向边在g中的下标位置
    g[tot].next=first[x];   //记录以x为起点的上一条边在g中的下标位置
    first[x]=tot;           //以x为起点的边的位置
    tot++;           
     //反向边
    g[tot].x=y;
    g[tot].y=x;
    g[tot].f=0;             //反向边的初始网络流为0
    g[tot].op=tot-1;
    g[tot].next=first[y];
    first[y]=tot;   
}
//ISAP算法
int maxflow(int src,int des)            
{
    int i,flow,t,j,tempmin;   //i,j用于标识结点,t用于标识结点在g中的位置
    bool flag;                //用于标识是否找到了允许路径
    int sumflow;             
    memset(dis,0,sizeof(dis));             
    memset(sumd,0,sizeof(sumd));
    for(i=0;i<ncount;i++)          
       now[i]=first[i];     
    sumd[0]=ncount;                 //标号为0的结点有ncount个
    sumflow=0;
    i=src;                          //i初始化为起点
    flow=10000000;
    while(dis[src]<ncount)
    {
       fanhui[i]=flow;
       flag=false;    
       t=now[i];
       while(t!=0)           //寻找允许路径
       {
             j=g[t].y;
             if((g[t].f>0)&&(dis[j]+1==dis[i])) //允许弧 
             {
                  flag=true;
                  pre[j]=t;
                  now[i]=t;
                  if(g[t].f<flow)          //找到允许增量
                       flow=g[t].f;
                  i=j;
                  if(i==des)               //找到了允许路径
                  {
                       sumflow+=flow;
                       while(i!=src)          //修改残余网络                              
                       {
                            g[pre[i]].f-=flow;            //正向边
                            g[g[pre[i]].op].f+=flow;      //反向边
                            i=g[pre[i]].x;
                       }
                       flow=10000000;
                  }
                  break;
             }
             t=g[t].next;
       }
       if(flag)
             continue;
       //没有找到允许路径
       tempmin=ncount-1;
       t=first[i];
       while(t!=0)
       {
             if((g[t].f>0)&&(dis[g[t].y]<tempmin))
             {
                  tempmin=dis[g[t].y];
                  now[i]=t;
             }
             t=g[t].next;
        }
         sumd[dis[i]]--;
         if(sumd[dis[i]]==0) break;           //间隙优化
         dis[i]=tempmin+1;   //此处别忘+1,因为d[i]=tempmin{d[j]+1|(i,j)在残留网络中}
         sumd[dis[i]]++;
         if(i!=src)
         {
             i=g[pre[i]].x;
             flow=fanhui[i];
         }
     }
     return sumflow;
}

void init()
{
    tot = 0;
    memset(first,0,sizeof(first));
    scanf("%d%d",&n,&m);
    ncount = n;
    for (int i=0;i<m;i++)
    {
        int x,y,c;
        scanf("%d%d%d",&x,&y,&c);
        add(x,y,c);
    }
    maxflow(0,n-1);
}   
void dfs(int k)     //求从k出发可以到达的所有顶点
{
    v[k]=1;
    for (int i=0;i<n;i++)
      if (!v[i] && map[k][i]) dfs(i);
}
void work()
{
    memset(map,0,sizeof(map));
    for(int i=1;i<=tot;i+=2)          //遍历所有的边(i+=2,是因为是使用邻接表存储,下一条边存得是反向边)
      if(g[i].f) map[g[i].x][g[i].y]=1;   //如果该条边不是满流
    memset(v,0,sizeof(v));
    dfs(0);                        //从0开始搜索
    memcpy(vs,v,sizeof(v));        //void *memcpy( void *dest, const void *src, size_t count );
   
    memset(map,0,sizeof(map));
    for (int i=1;i<=tot;i+=2)         //遍历所有的边
      if (g[i].f) map[g[i].y][g[i].x]=1;
    memset(v,0,sizeof(v));
    dfs(n-1);                      //从n-1开始搜索
    memcpy(vt,v,sizeof(v));
   
    int ans=0;
    for (int i=1;i<=tot;i+=2)         //遍历所有的边
      if (vs[g[i].x] && vt[g[i].y] && !g[i].f)   //g[i].c==0代表该边是满流,并且边的起点与源点有连接,边的终点与汇点有连接
          ans++;
    printf("%d\n",ans);
}
int main()
{
    //freopen("1.txt","r",stdin);
    init();
    work();
    //getch();
    return 0;
}

 

posted @ 2010-06-10 21:47  北海小龙  阅读(489)  评论(0编辑  收藏  举报