标签：style blog http color io os ar for strong
题意：求点联通度
首先看了别人的题解还是不晓得只枚举汇点的原因觉得行不通
关于求点联通度的建图方法 转自http://hi.baidu.com/lerroy312/item/5a5f36f2f5bba61bcf9f322e
点连通度的定义：一个具有N个点的图G中，在去掉任意k-1个顶点后（1<=k<=N）,所得的子图仍然连通，去掉K个顶点后不连通，则称G是K连通图，K称作图G的连通度，记作K（G）。
独立轨：A，B是图G（有向无向均可）的两个顶点，我们称为从A到B的两两无公共内顶的轨为独立轨，其最大的条数记作p(A,B)。
在上图中有一个具有7个定点的连通图，从顶点1到顶点3有3条独立轨，即p(1,3)=3;
1—2—3 , 1—7—3 , 1—6—5—4—3
如果分别从这3条独立轨中，每条轨抽出一个内点，在G图中删掉，则图不连通。若连通图G的两两不相邻顶点间的最大独立轨数最小的P（A，B）值即为K（G）。若G为完全图（两两点可达），则
K（G）=n-1，即完全把某个点的所有边删掉后才不连通。既然独立轨是只能经过一次的边，那么可以构造网络流模型，其中每条边的容量为1，就可以限制只经过一次。
构建网络流模型：
若G为无向图：
（1）原G图中的每个顶点V变成N网中的两个顶点V`和V``,顶点V`至V``有一条弧容量为1；
（2）原图G中的每条边e=UV，在N网中有两条弧e`=U``V`,e``=V``U`与之对应，e`与e``容量均为无穷；
（3）以A``为源点，B`为汇点，求最大流。
若G为有向图
（1）原G图中的每个顶点V变成N网中的两个顶点V`和V``,顶点V`至V``有一条容量为1的弧；
（2）原G图中的每条弧e=UV变成一条有向轨U`U``V`V``,其中轨上的弧U``V`的容量为无穷；
（3）以A``为源点，B`为汇点求最大流。
上面的模型只是求出了以A为源点B为汇点的最大流max_flow，等价于在G中只要去掉max_flow个点就会使得A与B不连通。而图的连通度是要求去掉最少的点使得整个图不连通，做法是固定一个点为源点，枚举与源点不相邻的点为汇点，求最大流。在所有的枚举结果中最小的max_flow值就是要求的K(G).注意如果某次枚举的汇点求出 的最大流为无穷则说明此此枚举的源点与汇点是强连通的。如果所有的枚举结果都为无穷，则说明整个图G是强连通的，需要去掉n-1个点才能破坏其连通性。
所有具有流量为1的弧（V`,V``）对应的V顶点组成一个割顶集
通过求连通度可以得到一个结论：G是K的连通图，k>=2,则任意K个顶点共圈。
求边连通度总结：
同样引入独立轨的概念，只是在这里叫弱独立轨，同样在每条弱独立轨中只有去掉某一条边就可以使起点到终点不连通，现在整个图G的边连通度就是要找出任意两点的弱独立轨的最小值。如果图G为完全图，则K`(G)为n-1。
构建一个网络N
若G为无向图：
1. 原G图中的每条边e=UV变成两条边e`=UV,e``=VU,容量都为1；
2. 固定一个点为源点，枚举与源点不相邻的为汇点，求最大流max_flow，保留最小的max_flow即为图的边连通度。
若G为有向图：
1. 原G图中每条有向边容量为1；
2. 此步骤与无向图的步骤2相同。
求出的残余网络中，流量为1的弧e`=(u,v),则e`就是桥。
从图的边连通度中可以得到以下结论：
1． A是有向图G的一个顶点，如果A与G的其他所有点V间的最小值为K，则G中存在以A为根的K棵无公共边的生成树；
2． 设G是有向图，0<k<=K`(G),L是0至k之间任意一个整数，对于图G的任意一对顶点(u,v)来说，存在U到V的L条弱独立有向轨，同时存在从V到U的L-k条弱独立有向轨。
#include <map> #include <set> #include <list> #include <cmath> #include <ctime> #include <deque> #include <stack> #include <queue> #include <cctype> #include <cstdio> #include <string> #include <vector> #include <climits> #include <cstdlib> #include <cstring> #include <iostream> #include <algorithm> #define LL long long #define PI 3.1415926535897932626 using namespace std; int gcd(int a, int b) {return a % b == 0 ? b : gcd(b, a % b);} #define MAXN 110 const int INF = 0x3f3f3f3f; int p[MAXN]; int cap[MAXN][MAXN],flow[MAXN][MAXN]; int a[MAXN]; int N,M; int Edmonds_karp(int s, int t) { memset(flow,0,sizeof(flow)); queue<int>q; int F = 0; while (true) { memset(a,0,sizeof(a)); a[s] = INF; q.push(s); while (!q.empty()) { int u = q.front(); q.pop(); for (int i = 1; i <= 2 * N; i++) if (!a[i] && cap[u][i] > flow[u][i]) { a[i] = min(a[u],cap[u][i] - flow[u][i]); p[i] = u; q.push(i); } } if (a[t] == 0) break; for (int u = t; u != s; u = p[u]) { flow[p[u]][u] += a[t]; flow[u][p[u]] -= a[t]; } F += a[t]; } return F; } int main() { //freopen("sample.txt","r",stdin); while (scanf("%d%d",&N,&M) != EOF) { memset(cap,0,sizeof(cap)); for (int i = 1; i <= N; i++) cap[i][i + N] = 1; while (M--) { int u,v; scanf(" (%d,%d)",&u,&v); v++;u++; cap[u + N][v] = INF; cap[v + N][u] = INF; } int ans = INF; for (int i = 1; i <= N; i++) for (int j = 1; j <= N; j++) { if (i == j) continue; ans = min(ans,Edmonds_karp(i + N ,j)); } if (ans == INF) ans = N; printf("%d\n",ans); } return 0; }
标签：style blog http color io os ar for strong
原文地址：http://www.cnblogs.com/Commence/p/4027604.html
