La4287 Proving Equivalences

最新推荐文章于 2019-07-31 09:51:00 发布

Wearry

最新推荐文章于 2019-07-31 09:51:00 发布

阅读量557

点赞数

分类专栏： Graph

本文链接：https://blog.csdn.net/Wearry/article/details/51945492

版权

Graph 专栏收录该内容

14 篇文章 0 订阅

订阅专栏

博客探讨了如何通过分析给定的命题和推导，确定达到所有命题等价所需的最少推导次数。通过构建有向图并寻找强连通分量，可以简化问题，并通过计算入度为零和出度为零的节点来确定答案。当所有命题初始就在同一强连通分量时，答案为零。

摘要由CSDN通过智能技术生成

题目大意：
给你n个命题和m组推导（单向推导），问至少需要再做几次推导能够使得任意两个命题之间等价。
分析：
n个命题全部等价，即如果将每个命题抽象成点，那么已知的推导就是在两点之间连了一条有向边，要使得所有的命题全部等价，则所有的点应该在同一个强连通分量上，我们可以先求出整个图中原有的强连通分量，再将强连通分量视为一个点构造新的图，可以证明这个图中是没有正向的环的（若有正向环的话，则可以构造出更大的强连通分量），要将这个新图构造成一个强连通分量，只需知道入度为零的点的个数和出度为零的点的个数的最大值即可。，特别地，当原图处在同一个强连通分量上时，答案为零。
代码：

#include<iostream>
#include<cstring>
#include<cstdio>
#include<stack>
using namespace std;
const int maxn = 20000 + 10;
const int maxm = 50000 + 10;

bool in0[maxn], out0[maxn];
int Begin[maxn], To[maxm], Next[maxm], E;
void Add(int x, int y) {
    To[++E] = y;
    Next[E] = Begin[x];
    Begin[x] = E;
}
inline void init() {
    E = 0;
    memset(Begin, 0, sizeof(Begin));
}
stack<int> S;
int sccno[maxn];
int lowlink[maxn], pre[maxn], dfs_clock, scc_cnt;
void dfs(int u) {
    S.push(u);
    lowlink[u] = pre[u] = ++dfs_clock;
    for(int i=Begin[u]; i; i=Next[i]) {
        int v = To[i];
        if(!pre[v]) {
            dfs(v);
            lowlink[u] = min(lowlink[u], lowlink[v]);
        }else if(!sccno[v]) {
            lowlink[u] = min(lowlink[u], pre[v]);
        }
    }
    if(lowlink[u] == pre[u]) {
        scc_cnt++;
        while(true) {
            int x = S.top(); S.pop();
            sccno[x] = scc_cnt;
            if(x == u) break;
        }
    }
}
void find_scc(int n) {
    dfs_clock = scc_cnt = 0;
    memset(sccno, 0, sizeof(sccno));
    memset(pre, 0, sizeof(pre));
    for(int i=1; i<=n; i++) 
        if(!pre[i]) dfs(i);
}
int T, m, n, u, v;
int main() {
#ifndef ONLINE_JUDGE
    freopen("data.txt", "r", stdin);
    freopen("ans.txt", "w", stdout);
#endif
    scanf("%d", &T);
    while(T--) {
        init();
        scanf("%d%d", &n, &m);
        for(int i=1; i<=m; i++) {
            scanf("%d%d", &u, &v);
            Add(u, v);
        }
        find_scc(n);

        for(int i=1; i<=scc_cnt; i++) in0[i] = out0[i] = 1;
        for(u=1; u<=n; u++) 
            for(int j=Begin[u]; j; j=Next[j]) {
                v = To[j];
                if(sccno[u] != sccno[v]) in0[sccno[v]] = out0[sccno[u]] = 0;
            }
        int a = 0, b = 0;
        for(int i=1; i<=scc_cnt; i++) {
            if(in0[i]) a++;
            if(out0[i]) b++;
        }
        int ans = max(a, b);
        if(scc_cnt == 1) ans = 0;
        printf("%d\n", ans);
    }
    return 0;
}