hdu 4635 Strongly connected (强连通分量缩点)

题意：

问能加的最多边数使得原图任然不是强连通的。

题解：

很好的题目。我们分析，当恰好连到某个边时正好是强连通，那么我们把这个边去掉，那么剩下的图肯定是两个强连通分量，于是对于这个图我们分析边的数量，假设两个强连通分量的点数分别是x，y，那么这两个分量的内部边肯定饱和了，x->y的边肯定也饱和了，那么 边数=x*y+x*(y-1)+y*(x-1);整理下变成n*n-n-x*y。这就是饱和的最大变数，只要再减去原来的边数就是我们要加的最大边数。要使得边数最大，那么就枚举每个缩点作为x来计算出最大值。但是根据数学方法x+y=n，不等式，x和y相等时x*y取得最大值，那么边数取得最小值，那么显然x和y要相差越大才能使得边取得最大值。那么只要知道点数最小的联通分量就好了。

哎，终究无法ac。

#include<iostream>
#include<math.h>
#include<stdio.h>
#include<algorithm>
#include<string.h>
#include<string>
#include<vector>
#include<queue>
#include<map>
#include<set>
#define B(x) (1<<(x))
using namespace std;
void cmax(int& a,int b){ if(b>a)a=b; }
void cmin(int& a,int b){ if(b<a)a=b; }
typedef long long ll;
const int oo=0x3f3f3f3f;
const ll OO=1LL<<61;
const int MOD=1000007;
const int maxn=210000;
const int maxm=410000;
struct EDGE{
    int v,next;
}E[maxm];
int head[maxn],tol;
int low[maxn],dfn[maxn],instack[maxn],Stack[maxn];
int id[maxn],ind[maxn],outd[maxn],num[maxn];
int g_cnt,ID,top;

void Init(){
    memset(head,-1,sizeof head);
    memset(low,0,sizeof low);
    memset(dfn,0,sizeof dfn);
    memset(instack,0,sizeof instack);
    memset(ind,0,sizeof ind);
    memset(outd,0,sizeof outd);
    memset(num,0,sizeof num);
    g_cnt=ID=tol=top=0;
}

void add_edge(int u,int v){
    E[tol].v=v;
    E[tol].next=head[u];
    head[u]=tol++;
}

void Tarjan(int u){
    dfn[u]=low[u]=++g_cnt;
    Stack[++top]=u;
    instack[u]=1;
    int v;
    for(int i=head[u];i!=-1;i=E[i].next){
        v=E[i].v;
        if(!dfn[v]){
            Tarjan(v);
            if(low[v]<low[u])
                low[u]=low[v];
        }else if(instack[v]&&dfn[v]<low[u])
            low[u]=dfn[v];
    }
    if(dfn[u]==low[u]){
        ID++;
        do{
            v=Stack[top--];
            instack[v]=0;
            id[v]=ID;
        }while(u!=v);
    }
}


void gao(int n,int m){
    if(ID==1){
        printf("-1\n");
        return ;
    }
    for(int u=1;u<=n;u++){
        for(int i=head[u];i!=-1;i=E[i].next){
            int v=E[i].v;
            if(id[u]!=id[v]){
                outd[u]++;
                ind[v]++;
            }
        }
    }
    for(int i=1;i<=n;i++)num[id[i]]++;
    ll x=oo,y=0;
    for(int i=1;i<=ID;i++){
        if(ind[i]==0||outd[i]==0)
            if(num[i]<x)
                x=num[i];
    }
    y=n-x;
    cout<<(ll)n*n-(ll)n-x*y-(ll)m<<endl;
}

int main(){
    //freopen("E:\\read.txt","r",stdin);
    int n,m,u,v,T;
    scanf("%d",&T);
    for(int cas=1;cas<=T;cas++){
        Init();
        scanf("%d %d",&n,&m);
        for(int i=1;i<=m;i++){
            scanf("%d %d",&u,&v);
            add_edge(u,v);
        }
        for(int i=1;i<=n;i++)
            if(!dfn[i])
                Tarjan(i);

        printf("Case %d: ",cas);
        gao(n,m);
    }
    return 0;
}