bzoj1797 [Ahoi2009]Mincut 最小割 網絡流+強連通分量

題目大意：
給一張圖，S和T。
對於每一條邊，問這條邊是否可以在最小割中，是否一定在最小割中。

題目分析：
http://hzwer.com/3217.html
先跑一邊網絡流，然後在殘量網絡中進行強連通分量縮點。

對於第一問，如果u和v不在一個強連通分量中，則這條邊可以在最小割中。
對於第二問，如果u和S在一個強連通分量中，並且v和T在一個強連通分量中，在這條邊必須在最小割中。

代碼如下：

#include <cstdio>
#include <cstring>
#define N 5200
#define M 220000
using namespace std;
const int INF=2147483647;
inline int Min(int x,int y) { return x<y?x:y; }
int n,m,S,T;
int fir[N],nes[M],v[M],q[M],tot=1;
int cur[N],d[N],dl[N];
int scc[N],pre[N],low[N],sta[N],dfn,jsq,top;
void edge(int x,int y,int z)
{
    v[++tot]=y;
    q[tot]=z;
    nes[tot]=fir[x];
    fir[x]=tot;
}
#define edge(x,y,z) edge(x,y,z),edge(y,x,0)
bool bfs()
{
    static int c;
    memset(d,0,sizeof(d));
    int l=1,r=1;
    dl[1]=S; d[S]=1;
    while(l<=r)
    {
        c=dl[l++];
        for(int t=fir[c];t;t=nes[t])
        {
            if(!q[t] || d[v[t]]) continue;
            d[v[t]]=d[c]+1;
            dl[++r]=v[t];
            if(v[t]==T) return true;
        }
    }
    return false;
}
int dfs(int c,int flow)
{
    if(c==T || flow==0) return flow;
    int ans=0;
    for(int& t=cur[c];t;t=nes[t])
    {
        if(!q[t] || d[v[t]]!=d[c]+1) continue;
        int tmp=dfs(v[t],Min(q[t],flow));
        q[t]-=tmp; q[t^1]+=tmp;
        flow-=tmp; ans+=tmp;
        if(!flow) break;
    }
    if(!ans) d[c]=-1;
    return ans;
}
void dinic()
{
    while(bfs())
    {
        for(int i=1;i<=n;i++) cur[i]=fir[i];
        dfs(S,INF);
    }
}
void tarjan(int c)
{
    pre[c]=low[c]=++dfn;
    sta[++top]=c;
    for(int t=fir[c];t;t=nes[t])
    {
        if(!q[t]) continue;
        if(!pre[v[t]])
        {
            tarjan(v[t]);
            low[c]=Min(low[c],low[v[t]]);
        }
        else if(!scc[v[t]]) low[c]=Min(low[c],pre[v[t]]);
    }
    if(low[c]==pre[c])
    {
        jsq++;
        do scc[sta[top]]=jsq; while(sta[top--]!=c);
    }
}
int main()
{
    scanf("%d%d%d%d",&n,&m,&S,&T);
    for(int i=1,x,y,z;i<=m;i++)
    {
        scanf("%d%d%d",&x,&y,&z);
        edge(x,y,z);
    }
    dinic();
    for(int i=1;i<=n;i++)
        if(!pre[i]) tarjan(i);
    for(int i=2;i<=tot;i+=2)
    {
        if(q[i]) printf("0 0\n");
        else{
            if(scc[v[i]]!=scc[v[i^1]]) printf("1 ");
            else printf("0 ");
            if(scc[v[i]]==scc[T] && scc[v[i^1]]==scc[S]) printf("1\n");
            else printf("0\n");
        }
    }
    return 0;
}