标签：sort 就会 src names ext 提高 搜索 text 网上
有点的出边所指向的点都直接或间接与终点连通。
2 ．在满足条件1 的情况下使路径最短。
注意：图G 中可能存在重边和自环，题目保证终点没有出边。
请你输出符合条件的路径的长度。
第一行有两个用一个空格隔开的整数n 和m ，表示图有n 个点和m 条边。
接下来的m 行每行2 个整数x 、y ，之间用一个空格隔开，表示有一条边从点x 指向点y 。
最后一行有两个用一个空格隔开的整数s 、t ，表示起点为s ，终点为t 。
输出只有一行，包含一个整数，表示满足题目?述的最短路径的长度。如果这样的路径不存在，输出- 1 。
样例1： 3 2 1 2 2 1 1 3 样例2： 6 6 1 2 1 3 2 6 2 5 4 5 3 4 1 5
样例1： -1 样例2： 3
解释1：
如上图所示，箭头表示有向道路，圆点表示城市。起点1 与终点3 不连通，所以满足题
目?述的路径不存在，故输出- 1 。
解释2：
如上图所示，满足条件的路径为1 - >3- >4- >5。注意点2 不能在答案路径中，因为点2连了一条边到点6 ，而点6 不与终点5 连通。
对于30%的数据，0
对于60%的数据，0
对于100%的数据，0
时间限制:1000ms
空间限制:256MByte
来源:NOIP2014提高t5
俗话说的好啊，现有搜索后有天，反向剪枝日神仙。这题在网上的题解十分多我看了一下，有用栈优化bellman-ford，SPFA，Dijkstra+heap，bellman-ford+stack等等等等，这些我都听不懂。呆滞大佬说，我只要两次bfs就可以搞定。关于程序中诡异的ti数组和a结构体，详见《联合权值——呆滞大佬der最骚操作？》
http://www.cnblogs.com/cain-/p/7306003.html
#include<bits/stdc++.h>
#include<bits/stdc++.h>
using namespace std;
struct nob{
int sta,ed;
}a[200005];
bool mmp(nob a,nob b){
return a.ed<b.ed;
}
int n,m,has[100005]={0},has1[100005]={0},s[1000001]={0},ti[200005]={0},start,finish,step[200005]={0};
int main(){
cin>>n>>m;
for (int i=1; i<=m; i++){
cin>>a[i].sta>>a[i].ed;
ti[a[i].ed]++;
}//这里是不是觉得有点奇怪
for (int i=1; i<=n; i++) ti[i]+=ti[i-1];
cin>>start>>finish;
sort(a+1,a+1+m,mmp);
int head=0,tail=1;
s[1]=finish;//从尾巴开始找
has[finish]=1;
while (head<tail){
head++;
for (int i=ti[s[head]-1]+1; i<=ti[s[head]]; i++){
if (has[a[i].sta]==0){
has[a[i].sta]=1;
tail++;
s[tail]=a[i].sta;
}
}
}//找出不能到达的点
for (int i=1; i<=n; i++){
if (has[i]==0){
has1[i]=1;
for (int l=ti[i-1]+1; l<=ti[i]; l++){
has1[a[l].sta]=1;
}
}
}//用不能到达的点来反向标记他的父亲，表示父亲节点有子节点没有直接或间接地指向终点
head=0;tail=1;
s[1]=finish;
has1[finish]=1;
while (head<tail){
head++;
if (s[head]==start){
cout<<step[s[head]];
return 0;
}
for (int i=ti[s[head]-1]+1; i<=ti[s[head]]; i++){
if (has1[a[i].sta]==0){
has1[a[i].sta]=1;
tail++;
s[tail]=a[i].sta;
step[a[i].sta]=step[a[i].ed]+1;
}
}
}//再次广搜找出答案
cout<<-1;
return 0;
}
参考了联合权值那道题目之后你会发现这个有些奇怪，那就对了，这就是传说中最难以预判的剪枝，倒搜剪枝！用正着搜索的话即使用同样的方法还是过不了的，然后我们再来仔细地研究一下这个代码，就会发现这里用了两次广搜，第一次广搜看上去是将能够到达的点标记，实质上是遍历has数组将不能到达的点找出来，找到不能到达的点之后再在has1数组中将他的父亲节点和他自己标记起来表示这些点不能走。然后就可以完成这道题目啦。
标签：sort 就会 src names ext 提高 搜索 text 网上
原文地址：http://www.cnblogs.com/cain-/p/7309044.html
