【JZOJ 5495】【清华集训2017模拟12.09】MiniumCut（最小割树）

Description

从前有张无向图。
图里 n 个顶点两两之间有 n2 种最小割。
告诉你这 n2 个最小割。
还原出这张图。

Solution

已知有结论：无向图的最小割可以表示成最小割树，
这个我有一个垃圾证明：首先，随便两点做最小割，就可以把全图分成两半（流尽的边相当于删掉），设为集合 $A$和$B$，
那么，$A$和$B$中的点相互间的最小割，一定不会大于当前的最小割，
所以表示成树的形态是没有问题的，

那么这道题就直接做最大生成树，再$O(n^2)$判断是否合法即可

复杂度：$O(n^2\log^2(n))$

Code

#include <cstdio>
#include <algorithm>
#define fo(i,a,b) for(int i=a;i<=b;++i)
#define efo(i,q) for(int i=A[q];i;i=B[i][0])
#define max(q,w) ((q)<(w)?(w):(q))
using namespace std;
const int N=1500;
int read(int &n)
{
    char ch=' ';int q=0,w=1;
    for(;(ch!='-')&&((ch<'0')||(ch>'9'));ch=getchar());
    if(ch=='-')w=-1,ch=getchar();
    for(;ch>='0' && ch<='9';ch=getchar())q=q*10+ch-48;n=q*w;return n;
}
int m,n,ans;
int b10,b[N][N],g[N];
struct qqww
{
    int x,y,v;
}b1[N*N];
int B[N*2][3],A[N],B0;
bool PX(qqww q,qqww w){return q.v>w.v;}
int gf(int q){return g[q]==q?q:(g[q]=gf(g[q]));}
void link(int q,int w,int e)
{
    B[++B0][0]=A[q],A[q]=B0,B[B0][1]=w,B[B0][2]=e;
    B[++B0][0]=A[w],A[w]=B0,B[B0][1]=q,B[B0][2]=e;
}
void dfs(int q,int fa,int e)
{
    g[q]=e;
    efo(i,q)if(B[i][1]!=fa)dfs(B[i][1],q,min(e,B[i][2]));
}
int main()
{
    freopen("!.in","r",stdin);
//  freopen(".out","w",stdout);
    int q,w;
    read(n);
    fo(i,1,n)fo(j,1,n)
    {
        read(b[i][j]);
        if(i!=j)b1[++b10].x=i,b1[b10].y=j,b1[b10].v=b[i][j];
    }
    sort(b1+1,b1+1+b10,PX);
    fo(i,1,n)g[i]=i;
    int t=0;
    fo(i,1,b10)
    {
        q=gf(b1[i].x),w=gf(b1[i].y);
        if(q!=w)g[q]=g[w],++t,link(b1[i].x,b1[i].y,b1[i].v);
        if(t==n-1)break;
    }
    fo(i,1,n)
    {
        dfs(i,0,1e9);
        fo(j,1,n)if(i!=j&&g[j]!=b[i][j])
        {
            printf("-1\n");
            return 0;
        }
    }
    q=0;
    fo(i,1,n)efo(j,i)if(i>B[j][1])++q;
    printf("%d\n",q);
    fo(i,1,n)efo(j,i)if(i>B[j][1])printf("%d %d %d\n",i,B[j][1],B[j][2]);
    return 0;
}