[割顶 乱搞] BZOJ 2730 [HNOI2012]矿场搭建

充满了乱搞的气息

首先如果一个联通块没有割顶 那么要两个 因为要避免单个那个塌陷了

然后如果有割点 割点再把他分成子联通块 可以发现 叶子必须有一个 也就是说只和一个割点相连的子联通块必须有一个 方案数是size相乘

然后再把ans1相加 ans2相乘

#include<cstdio>
#include<cstdlib>
#include<algorithm>
#include<cstring>
#define cl(x) memset(x,0,sizeof(x))
using namespace std;
typedef long long ll;

inline char nc()
{
	static char buf[100000],*p1=buf,*p2=buf;
	if (p1==p2) { p2=(p1=buf)+fread(buf,1,100000,stdin); if (p1==p2) return EOF; }
	return *p1++;
}

inline void read(int &x)
{
	char c=nc(),b=1;
	for (;!(c>='0' && c<='9');c=nc()) if (c=='-') b=-1;
	for (x=0;c>='0' && c<='9';x=x*10+c-'0',c=nc()); x*=b;
}

const int N=1005;
const int M=505;

struct edge{
	int u,v; int next;
};

edge G[M<<1];
int head[N],inum;

inline void add(int u,int v,int p)
{
	G[p].u=u; G[p].v=v; G[p].next=head[u]; head[u]=p;
}

int clk,pre[N],low[N];
int tot1,tot2,del[N];
int cnt,belong[N];
int need[N]; ll ans[N];

#define V G[p].v

inline void Tarjan(int u,int fa)
{
	tot2++; belong[u]=cnt;
	pre[u]=low[u]=++clk; int ch=0;
	for (int p=head[u];p;p=G[p].next)
	{
		if (!pre[V])
		{
			ch++;
			Tarjan(V,u);
			low[u]=min(low[u],low[V]);
			if (fa!=0 && low[V]>=pre[u])
				del[u]=1,tot1++;
			if (fa==0 && ch>1)
				del[u]=1,tot1++;
		}
		if (pre[V] && V!=fa)
			low[u]=min(low[u],pre[V]);
	}
}

int n,m;
ll ans1,ans2;

int size,tmp,tim;
int vst[N];

inline void dfs(int u){
	size++; vst[u]=tim;
	if (del[u]) { tmp++; return; }
	for (int p=head[u];p;p=G[p].next)
		if (vst[V]!=tim)
			dfs(V);
}

int main()
{
	int iu,iv,Test=0;
	freopen("t.in","r",stdin);
	freopen("t.out","w",stdout);
	while (1)
	{
		read(m); n=0;
		if (!m) break;
		printf("Case %d: ",++Test);
		for (int i=1;i<=m;i++)
		{
			read(iu),read(iv);
			n=max(n,max(iu,iv));
			add(iu,iv,++inum); add(iv,iu,++inum);
		}
		for (int i=1;i<=n;i++)
			if (!pre[i])
			{
				++cnt; tot1=0; tot2=0;
				Tarjan(i,0);
				if (tot1==0)
					ans1+=2,ans[cnt]=(ll)tot2*(tot2-1)/2;
				else 
					need[cnt]=1;
			}
		for (int i=1;i<=cnt;i++) if (need[i]) ans[i]=1;
		for (int i=1;i<=n;i++)
			if (!del[i] & !vst[i] && need[belong[i]])
			{
				++tim;
				size=0; tmp=0;
				dfs(i);
				if (tmp==1)
					ans1++,ans[belong[i]]*=size-1;
			}
		ans2=1;
		for (int i=1;i<=cnt;i++)
			ans2*=ans[i];
		printf("%lld %lld\n",ans1,ans2);
		cl(head); cl(del); cl(belong); cl(need); cl(ans); cl(pre); cl(low); cl(vst);
		tim=inum=clk=cnt=0; ans1=ans2=0;
	}
	return 0;
}