BZOJ 4435: [Cerc2015]Juice Junctions tarjan

最新推荐文章于 2020-01-13 20:23:43 发布

BlackJack_

最新推荐文章于 2020-01-13 20:23:43 发布

阅读量516

点赞数

分类专栏： —————————图论 tarjan —————————基础数据结构并查集

本文链接：https://blog.csdn.net/BlackJack_/article/details/73828879

版权

—————————图论同时被 3 个专栏收录

67 篇文章 0 订阅

订阅专栏

—————————基础数据结构

43 篇文章 0 订阅

订阅专栏

并查集

12 篇文章 0 订阅

订阅专栏

4435: [Cerc2015]Juice Junctions

Time Limit: 20 Sec Memory Limit: 512 MB
Submit: 168 Solved: 77
[Submit][Status][Discuss]

Description

你被雇佣升级一个旧果汁加工厂的橙汁运输系统。系统有管道和节点构成。每条管道都是双向的，且每条管道的流量都是1升每秒。管道可能连接节点，每个节点最多可以连接3条管道。节点的流量是无限的。节点用整数1到n来表示。在升级系统之前，你需要对现有系统进行分析。对于两个不同节点s和t，s-t的流量被定义为：当s为源点，t为汇点，从s能流向t的最大流量。以下面的第一组样例数据为例，1-6的流量为3，1-2的流量为2。计算每一对满足a<b的节点a-b的流量的和。

Input

第一行包括2个整数n和m(2<=n<=3000,0<=m<=4500)——节点数和管道数。
接下来m行，每行包括两个相异整数a,b(1<=a,b<=n)，表示一条管道连接节点a,b。
每个节点最多连接3条管道，每对节点最多被一条管道连接。

Output

输出一个整数——每对满足a<b的节点a-b的流量之和。

Sample Input

6 8
1 3
2 3
4 1
5 6
2 6
5 1
6 4
5 3

Sample Output

从最小割的角度来考虑最大流

每个点度数<=3

所以每对点对答案贡献<=3

当(u,v)贡献为0时

u,v不连通并查集

当(u,v)贡献为1时

u,v不在同一个边双联通分量里跑tarjan

当(u,v)贡献为2或3时

u,v在同一个边双联通分量里

当(u,v)贡献为3时

对于删掉图中任意一条边，两个点都在同一个边双联通分量里

那这该怎么解决呢

硬跑m边tarjan 用hash判等笑哭我当时怎么就没想到

写的时候没清空tarjan里的栈，调了好久

可是它不是自动清空的嘛QwQ

希望有大佬看到这篇blog指点一二

#include<cmath>
#include<ctime>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<complex>
#include<iostream>
#include<algorithm>
#include<iomanip>
#include<vector>
#include<string>
#include<bitset>
#include<queue>
#include<map>
#include<set>

using namespace std;

typedef double db;
typedef long long ll;

inline int read()
{
	int x=0,f=1;char ch=getchar();
	while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
	while(ch<='9'&&ch>='0'){x=10*x+ch-'0';ch=getchar();}
	return x*f;
}
inline void print(int x)
{if(x<0)putchar('-');if(x>=10)print(x/10);putchar(x%10+'0');}

const int N=30100,M=200010,inf=0X3f3f3f3f,bas=233;

int ecnt,last[N],d[N];

struct EDGE{int to,nt;}e[M];
inline void add(int u,int v)
{e[++ecnt]=(EDGE){v,last[u]};last[u]=ecnt;}

int dfn[N],low[N],cnt,scc,bel[N],s[N],top;
bool ins[N];
void tarjan(int u,int fa,int k)
{
	dfn[u]=low[u]=++cnt;ins[u]=1;s[++top]=u;
	for(int i=last[u];i;i=e[i].nt)
	{
		if(e[i].to==fa||i==k||i==k-1)continue;
		if(!dfn[e[i].to]){tarjan(e[i].to,u,k);low[u]=min(low[u],low[e[i].to]);}
		else if(ins[e[i].to]&&low[u]>dfn[e[i].to])low[u]=dfn[e[i].to];
	}
	if(dfn[u]==low[u])
	{
		++scc;int tmp=0;
		do{tmp=s[top--];ins[u]=0;bel[tmp]=scc;}while(tmp!=u);
	}
}

int fa[N];
inline int findfa(int x)
{int t=x;while(t!=fa[t])t=fa[t];while(x!=fa[x])x=fa[x],fa[x]=t;return x;}

int h[N];
int main()
{
	int n=read(),m=read();
	for(int u,v,i=1;i<=m;++i){u=read();v=read();add(u,v);add(v,u);d[u]++;d[v]++;}
	for(int i=1;i<=n;++i)if(!dfn[i])tarjan(i,0,0);
	for(int i=1;i<=n;++i)fa[i]=i;
	for(int i=1;i<=n;++i)
	{
		for(int j=last[i];j;j=e[j].nt)
		{
			if(bel[i]!=bel[e[j].to])
			{fa[findfa(bel[e[j].to])]=findfa(bel[i]);d[i]--;}
		}
	}
	int ans=0;
	for(int i=1;i<=n;++i)for(int j=i+1;j<=n;++j)
	{
		if(findfa(bel[i])!=findfa(bel[j]))continue;
		if(bel[i]==bel[j])ans+=2;else ans++;
	}
	for(int i=1;i<=m;++i)
	{
		memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));scc=cnt=top=0;
		for(int j=1;j<=n;++j)tarjan(j,0,i*2);
		for(int j=1;j<=n;++j)h[j]=h[j]*bas+bel[j];
	}
	for(int i=1;i<=n;++i)for(int j=1+i;j<=n;++j)if(h[i]==h[j])ans++;
	print(ans);puts("");return 0;
}
/*
4 2 
1 2 
3 4

2

6 8 
1 3 
2 3 
4 1 
5 6 
2 6 
5 1 
6 4 
5 3

36
220451
*/