Codeforces700C. Break Up

n<=1000，m<=30000的图，问割掉边权和尽量小的0、1或2条边使S和T不连通，输出割了哪些边，无解-1.

道理是很好懂的，先随便找S到T的一条路径，找不到输出0，找到的话这条路上至少有一条边要删，那枚举一下割谁，对剩下的图再做tarjan即可。复杂度(n*m)。

然而！！写起来是很难写的。。

方法一：一开始把所有S到T的路径上的边都标记好，枚举割的第一条边后跑完tarjan，直接看这些边会不会是割边再取min即可。

方法二：枚举割的第一条边后，tarjan求个边双，然后缩起来建树，在树上搜一次。

方法二。

#include<string.h>
#include<stdlib.h>
#include<stdio.h>
#include<vector>
//#include<assert.h>
#include<algorithm>
//#include<iostream>
using namespace std;

int n,m,s,t;
#define maxn 1011
#define maxm 60011
struct Edge{int to,v,next;}edge[maxm]; int first[maxn],le=2;
void in(int x,int y,int v) {Edge &e=edge[le]; e.to=y; e.v=v; e.next=first[x]; first[x]=le++;}
void insert(int x,int y,int v) {in(x,y,v); in(y,x,v);}

int list[maxn],ll=0,ans,numofans,whoisans[5];
bool vis[maxn];
bool dfs(int x)
{
    if (x==t) return 1;
    vis[x]=1;
    for (int i=first[x];i;i=edge[i].next)
    {
        const Edge &e=edge[i]; if (vis[e.to]) continue;
        list[++ll]=i>>1;
        if (dfs(e.to)) return 1;
        ll--;
    }
    return 0;
}

int bel[maxn],tot,Time,low[maxn],dfn[maxn],sta[maxn],top;
struct Tree
{
    struct Edge{int to,v,id,next;}edge[maxm]; int first[maxn],le;
    void in(int x,int y,int v,int id) {Edge &e=edge[le];e.to=y;e.v=v;e.id=id;e.next=first[x];first[x]=le++;}
    void insert(int x,int y,int v,int id) {in(x,y,v,id); in(y,x,v,id);}
    bool vis[maxn],ok; int select,selectv;
    void clear()
    {
        memset(vis,0,sizeof(vis)); ok=0;
        memset(first,0,sizeof(first)); le=2;
    }
    void dfs(int x,int fa,int Min,int Minid)
    {
        if (ok) return;
        if (x==bel[t])
        {
            ok=1;
            if (selectv+Min<ans)
            {
                ans=selectv+Min;
                numofans=2;
                whoisans[1]=select; whoisans[2]=Minid;
            }
            return;
        }
        vis[x]=1;
        for (int i=first[x];i && !ok;i=edge[i].next)
        {
            const Edge &e=edge[i]; if (vis[e.to]) continue;
            dfs(e.to,x,min(Min,e.v),e.v<Min?e.id:Minid);
        }
    }
}T;

void tarjan(int x,int f,int who)
{
    low[x]=dfn[x]=++Time; sta[++top]=x; vis[x]=1;
    for (int i=first[x];i;i=edge[i].next)
    {
        if (i==f || i==(f^1) || i==(who<<1) || i==((who<<1)^1)) continue;
        const Edge &e=edge[i];
        if (!dfn[e.to]) tarjan(e.to,i,who),low[x]=min(low[x],low[e.to]);
        else if (vis[e.to]) low[x]=min(low[x],dfn[e.to]);
    }
    if (low[x]==dfn[x])
    {
        tot++;
        while (sta[top]!=x) bel[sta[top]]=tot,vis[sta[top--]]=0;
        bel[sta[top--]]=tot,vis[x]=0;
    }
}
    
void tarjan(int select)
{
    top=tot=Time=0;
    memset(dfn,0,sizeof(dfn));
    memset(vis,0,sizeof(vis));
    for (int i=1;i<=n;i++) if (!dfn[i]) tarjan(i,0,select);
    if (bel[s]==bel[t]) return;
    T.clear();
    for (int i=1;i<=n;i++)
        for (int j=first[i];j;j=edge[j].next) if ((j>>1)!=select)
        {
            const Edge &e=edge[j];
            if (bel[i]!=bel[e.to]) T.in(bel[i],bel[e.to],e.v,j>>1);
        }
    T.select=select; T.selectv=edge[select<<1].v;
    T.dfs(bel[s],0,0x7fffffff,0);
    if (!T.ok) {if (edge[select<<1].v<ans) {ans=edge[select<<1].v; numofans=1; whoisans[1]=select;}}
}

int main()
{
    scanf("%d%d%d%d",&n,&m,&s,&t);
    for (int i=1,x,y,v;i<=m;i++) scanf("%d%d%d",&x,&y,&v),insert(x,y,v);
    dfs(s);
    if (ll==0) {puts("0
0"); return 0;}
    numofans=-1; ans=0x7fffffff;
    for (int i=1;i<=ll;i++) tarjan(list[i]);
    if (numofans==-1) puts("-1");
    else
    {
        printf("%d
%d
",ans,numofans);
        for (int i=1;i<=numofans;i++) printf("%d ",whoisans[i]);
    }
    return 0;
}