[牛客挑战赛47]C.条件（bitset加速floyd）

最新推荐文章于 2021-06-16 16:51:06 发布

Zimba_

最新推荐文章于 2021-06-16 16:51:06 发布

阅读量219

点赞数

分类专栏： bitset

本文链接：https://blog.csdn.net/weixin_43785386/article/details/112757309

版权

bitset 专栏收录该内容

1 篇文章 0 订阅

订阅专栏

传送门

题意：

给定 $n$ 个点的图，有 $m_{1}$ 条边一定存在，有 $m_{2}$ 条边一定不存在。
给出 $Q$ 次询问，每次询问两个点 $x$ 和 $y$ ，问：

$x$ 是否一定可达 $y$
$x$ 是否可能可达 $y$

$(n\leq1000,Q\leq 200000)$

做法：

首先要明确的思路是建两张图，一张是只有一定存在的边的，一张是包括一定存在的边和可能存在的边的。
然后对于两张图都预处理出点间的可达性，最后询问直接查询。

一种想法是有向图的可达性，我们用 $S C C$ 求出强连通分量，然后缩点变成 $D A G$ ，然后就可以搞了。

不过题解给的思路好像更妙一些。
有向图我们可以用 $f l o y d$ 在 $o(n^{3})$ 下处理出两两可达性，然后用 $b i t s e t$ 加速一下，最终复杂度为 $o(n^{3}/w)$ , $w$ 为64。

代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

bitset<1001>f[1001],f1[1001];
int mpp[1005][1005];
int main()
{
    int n,m1,m2,q;
    scanf("%d%d%d%d",&n,&m1,&m2,&q);
    for(int i=1;i<=m1;i++)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        mpp[a][b]=1;
    }
    for(int i=1;i<=m2;i++)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        mpp[a][b]=2;
    }
    for(int i=1;i<=n;i++)
    {
        for(int j=1;j<=n;j++)
        {
            if(i==j)f[i][j]=f1[i][j]=1;
            if(mpp[i][j]==1)
            {
                f[i][j]=1;
                f1[i][j]=1;
            }
            else if(mpp[i][j]==0)
            {
                f1[i][j]=1;
            }
        }
    }
    for(int k=1;k<=n;k++)
    {
        for(int i=1;i<=n;i++)if(f[i][k])
        {
            f[i]=f[i]|f[k];
        }
    }
    for(int k=1;k<=n;k++)
    {
        for(int i=1;i<=n;i++)if(f1[i][k])
        {
            f1[i]=f1[i]|f1[k];
        }
    }
    while(q--)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        if(f[a][b])printf("Yes ");
        else printf("No ");
        if(f1[a][b])printf("Yes\n");
        else printf("No\n");
    }
    return 0;
}