bitset优化传递闭包

这是在学 $2-SAT$ 的时候突然看到的一个东西，就顺便学了一下。

先了解一下传递闭包的定义，来一张网上广泛用到的图：

说白了就是 $c[i][j]$ 表示 $i$ 能不能到 $j$，能为 $1$，不能为 $0$。

显然可以用 $floyd$ 来求这个东西，时间复杂度为 $O(n^3)$。

由于这个东西只需要记录 $0/1$，所以可以用 $bitset$ 来优化，原本一个 $bool$ 占用一个 $byte$，而 $bitset$ 里面的一位只占用一个 $bit$，不仅时间乘上了一个常数 $\frac{1}{64}$，空间也节省了。

例题

题目大意： 给出 $m$ 组大小关系，问将这 $n$ 个元素进行排序还需要几组大小关系。

代码如下：

#include <cstdio>
#include <bitset>
#include <algorithm>
using namespace std;
#define maxn 1010

int n,m,ans=0;
bitset<maxn>f[maxn];

int main()
{
	scanf("%d %d",&n,&m);
	for(int i=1,x,y;i<=m;i++)
	scanf("%d %d",&x,&y),f[x][y]=1;
	
	for(int i=1;i<=n;i++)//floyd
	for(int j=1;j<=n;j++)if(i!=j)
	if(f[j][i])f[j]|=f[i];
	
	for(int i=1;i<=n;i++)
	for(int j=i+1;j<=n;j++)
	if(!f[i][j]&&!f[j][i])ans++;
	printf("%d",ans);
}