codeforces1005F Berland and the Shortest Paths

链接

http://codeforces.com/problemset/problem/1005/F

题解

首先很容易想到直接$BFS$构造出一个$DAG$，剩下的任务就是找出所有能从$1$点走到所有点的有向树
关键就在于怎么枚举方案
像这种图论题要去研究它的一些性质，以便于解题
最后的有向树的每个点都只有一个父亲
那么如果我对出了根节点的每个点都枚举它的父亲是谁，是不是就可以了呢？
其实这相当于构造了一张每个点的入度都等于$1$的有向图，
现在就需要考虑：$1$结点是否一定在这棵树中？会不会有环？是否满足从$1$可以到达任何结点？
首先因为是$DAG$的生成树，所以一定没有环
又因为边数和点数相同，所以$1$肯定在这棵树上
对于任何一个点，因为入度为1，所以我可以顺着它的父亲找到它的父亲的父亲、父亲的父亲的父亲、父亲的父亲的父亲的父亲…
直到找到一个没有父亲的结点，而这棵树中唯一没有父亲的点就是$1$号点，所以从$1$号点肯定能走到每个点
综上所述，我只需要枚举每个点的入边就好了

代码

#include <bits/stdc++.h>
#define maxn 400010
#define cl(x) memset(x,0,sizeof(x))
using namespace std;
int head[maxn], dist[maxn], to[maxn], nex[maxn], etot=1, N, M, K;
bool vis[maxn];
char condi[maxn];
vector<string> ans;
vector<int> e[maxn];
void adde(int a, int b){to[++etot]=b;nex[etot]=head[a];head[a]=etot;}
void BFS()
{
	int x, p;
	queue<int> q;
	memset(dist,0x3f,sizeof(dist));
	q.push(1), vis[1] = true, dist[1]=0;
	while(!q.empty())
	{
		x = q.front(), q.pop();
		for(p = head[x];p;p=nex[p])
		{
			if(!vis[to[p]])vis[to[p]]=true, dist[to[p]]=dist[x]+1, q.push(to[p]);
		}
	}
}
int read(int x=0)
{
	int c, f=1;
	for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
	for(;isdigit(c);c=getchar())x=x*10+c-48;
	return f*x;
}
void init()
{
	int i, a, b;
	N = read(),  M = read(),  K = read();
	for(i=1;i<=M;i++)
	{
		a = read(), b = read();
		adde(a,b), adde(b,a);
		condi[i]=0x30;
	}
}
void print_string(string &s)
{
	int i;
	for(i=0;i<s.length();i++)putchar(s[i]);
}
void DFS(int now)
{
	if(now>N)
	{
		ans.push_back(string(condi+1));
		return; 
	}
	vector<int>::iterator it;
	for(it = e[now].begin();it!=e[now].end();it++)
	{
		condi[*it] = 0x31;
		DFS(now+1);
		condi[*it] = 0x30;
		if(ans.size()==K)return;
	}
}
void work()
{
	int i, p;
	BFS();
	for(i=1;i<=N;i++)
	{
		for(p = head[i];p;p=nex[p])
		{
			if(dist[to[p]]==dist[i]+1)
				e[to[p]].push_back((p&0xfffffffe)>>1);
		}
	}
	for(i=1;i<=M;i++)condi[i] = 0x30;
	DFS(2);
	printf("%d\n",ans.size());
	for(i=0;i<ans.size();i++)print_string(ans[i]), putchar(10);
}
int main()
{
	init();
	work();
	return 0;
}