poj 3713 三联通图

题意：

给定一个n（500）个点,m（2000）条边的图，判断这张图是否三联通。

三联通的定义：去掉三条边就不联通的图。

解析：

依旧跟着码农产学东西。

http://www.hankcs.com/program/algorithm/poj-3713-transferring-sylla.html

这题用的是targan来枚举点做的。

枚举删掉一个点，如果删掉一个点以后，还存在割点，证明图中有一个点删掉两条边就不联通了，以此判断三联通性。

代码：

#pragma comment(linker, "/STACK:1677721600")
#include <map>
#include <set>
#include <cmath>
#include <queue>
#include <stack>
#include <vector>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <climits>
#include <cassert>
#include <iostream>
#include <algorithm>
#define pb push_back
#define mp make_pair
#define LL long long
#define lson lo,mi,rt<<1
#define rson mi+1,hi,rt<<1|1
#define Min(a,b) ((a)<(b)?(a):(b))
#define Max(a,b) ((a)>(b)?(a):(b))
#define FIN freopen("in.txt", "r", stdin)
#define FOUT freopen("out.txt", "w", stdout)

using namespace std;
const int mod = 1e9 + 7;
const double eps = 1e-8;
const double ee = exp(1.0);
const int inf = 0x3f3f3f3f;
const int maxn = 500 + 10;
const double pi = acos(-1.0);

vector<int> g[maxn];
int V;                      //顶点数
bool isCutVertex[maxn];     //是否为割点
int status[maxn];           //0:未被访问 1:正在访问 2:已访问
int lowlink[maxn];          //从i出发经过有向边可以到达的所有节点中最小的id
int index[maxn];            //表示i节点在树中的深度
int rt;                     //根节点
bool hasCutVertex;          //是否存在割点

void init(int v)
{
    V = v;
    hasCutVertex = false;
    for (int i = 0; i <= V; i++)
        g[i].clear();
}

void tarjanDfs(int u, int fr, int dep)
{
    status[u] = 1;                 //正在访问
    lowlink[u] = index[u] = dep;   //深度
    int subTree = 0;               //子树的个数
    int  sz = g[u].size();
    for (int i = 0; i < sz; i++)
    {
        int v = g[u][i];
        if (v != fr && status[v] == 1)
        {
            lowlink[u] = Min(lowlink[u], index[v]);
        }
        if (status[v] == 0)
        {
            tarjanDfs(v, u, dep + 1);
            subTree++;
            lowlink[u] = Min(lowlink[u], lowlink[v]);
            //求割点
            if ((u == rt && 1 < subTree) || (u != rt && index[u] <= lowlink[v]))
            {
                isCutVertex[u] = true;
                hasCutVertex = true;
            }
        }
    }
    status[u] = 2;
}

void del(int id)
{
    memset(isCutVertex, false, sizeof(isCutVertex));
    memset(status, 0, sizeof(status));
    memset(lowlink, 0, sizeof(lowlink));
    memset(index, 0, sizeof(index));

    status[id] = 2;
    rt = (id == 0) ? 1 : 0;
    tarjanDfs(rt, -1, 1);
}

bool isTri()
{
    for (int i = 0; i < V; i++)
    {
        del(i);
        for (int j = 0; j < V; j++)
        {
            if (status[j] == 0)
            {
                hasCutVertex = true;
                break;
            }
        }
        if (hasCutVertex)
            break;
    }
    return !hasCutVertex;
}

int main()
{
    #ifdef LOCAL
    FIN;
    #endif // LOCAL
    int n, m;
    while (~scanf("%d%d", &n, &m))
    {
        if (!n && !m)
            break;
        init(n);
        for (int i = 0; i < m; i++)
        {
            int fr, to;
            scanf("%d%d", &fr, &to);
            g[fr].pb(to);
            g[to].pb(fr);
        }
        puts(isTri() ? "YES" : "NO");
    }
    return 0;
}

理论不ac：

枚举源点汇点，求最大流最小割，如果最小割< 3说明不为三联通，复杂度O（n^4m)。

（╯＾╰）。