poj 1932 XYZZY (floyd传递闭包+spfa求最长路)

poj1932题目链接

题意:初始在点1,有100点能量,然后每个点有一个能量值【-100,100】,经过某个点会加上这个点的能量值,问能否找到一条到点n且的路线,且路径任何点的能量值一直为正。一共不超过100个点。

思路:像样例中是直接联通,一路上的能量值都大于0,这是有解的一种情况。另一种是存在一个正环,可能一次路过后面的能量值不够,但是我们可以走多次啊。

因为要求每一步的能量值都大于0,那么我们可以初始化d[]数组为0,然后用spfa求最长路(只需要把那个三角形等式换个方向即可)

如果可以直接联通,也就是d[n]>0,那么有解。

还有可能是存在一个环(判断环的方法是用一个数组在spfa的时候统计每个点入队的次数,如果一个点的入队次数大于n,那么就存在环,且这个点在环中

但是我们还要保证起点1和终点n是经过这个环的。

所以先跑一发floyd. 其实n才100也算给了提示吧,不用floyd的话没道理这么小的数据。。?

感觉这道题很棒,把spfa和floyd结合在了一起。

学到了判断环的方法,spfa求最长路的方法,复习了传递闭包。

  1/* ***********************************************
  2Author :111qqz
  3Created Time :2016年05月24日 星期二 20时03分37秒
  4File Name :code/poj/1932.cpp
  5************************************************ */
  6
  7#include <cstdio>
  8#include <cstring>
  9#include <iostream>
 10#include <algorithm>
 11#include <vector>
 12#include <queue>
 13#include <set>
 14#include <map>
 15#include <string>
 16#include <cmath>
 17#include <cstdlib>
 18#include <ctime>
 19#define fst first
 20#define sec second
 21#define lson l,m,rt<<1
 22#define rson m+1,r,rt<<1|1
 23#define ms(a,x) memset(a,x,sizeof(a))
 24typedef long long LL;
 25#define pi pair < int ,int >
 26#define MP make_pair
 27
 28using namespace std;
 29const double eps = 1E-8;
 30const int dx4[4]={1,0,0,-1};
 31const int dy4[4]={0,-1,1,0};
 32const int inf = 0x3f3f3f3f;
 33const int N=105;
 34
 35vector< int > edge[N];
 36int a[N];
 37bool conc[N][N];
 38int in[N]; //统计入队次数,大于n次表明有环。
 39bool inq[N];
 40int n;
 41int d[N];
 42void floyd() //传递闭包
 43{
 44    for ( int k = 1 ; k <= n ; k++)
 45	for ( int i = 1 ; i <= n ; i++)
 46	    for ( int j = 1 ; j <= n ; j++)
 47		if (conc[i][k]&&conc[k][j]) conc[i][j] = true;
 48}
 49bool spfa(int s)  //spfa求最长路。
 50{
 51    ms(in,0);
 52    ms(d,0);//因为小于等于0就死,所以初始是0,这样更新的时候一定是正值才更新。
 53    ms(inq,false);
 54    queue<int>q;
 55    q.push(s);
 56    inq[s] = true;
 57    d[s] =  100;
 58    in[s]++;
 59
 60    while (!q.empty())
 61    {
 62	int u = q.front();
 63	q.pop();
 64	inq[u]=false;
 65
 66	int siz = edge[u].size();
 67	if (in[u]>n) break; //有环
 68	for ( int i = 0 ; i < siz ; i++)
 69	{
 70	    int v = edge[u][i];
 71	//    cout<<"v:"<<v<<" d[u]:"<<d[u]<<" a[v]:"<<a[v]<<endl;
 72	    if (d[v]<d[u]+a[v])
 73	    {
 74		d[v] = d[u] + a[v];
 75		if (inq[v]) continue;
 76		inq[v] = true;
 77		q.push(v);
 78		in[v]++;
 79	    }
 80	}
 81    }
 82  //  cout<<"d[n]:"<<d[n]<<endl;
 83    if (d[n]>0) return true; //不会存在中间有非正最后为正的情况,因为初始值为0,中间为0或者负不会更新。
 84                             // d[n]也只有0和大于0两种可能。
 85
 86    floyd();
 87
 88    for ( int i = 1 ; i <= n ; i++)   //如果有正环并且环上的某点可以联通1和n那么也有解。只要跑足够次就可以把eng变得足够大
 89	if (in[i]>n&&conc[1][i]&&conc[i][n]) return true;
 90
 91    return false;
 92}
 93int main()
 94{
 95	#ifndef  ONLINE_JUDGE 
 96	freopen("code/in.txt","r",stdin);
 97  #endif
 98
 99	while (scanf("%d",&n)!=EOF)
100	{
101	    ms(conc,false);
102	    if (n==-1) break;
103	    for ( int i = 0 ; i <= n ; i++) edge[i].clear();
104	    ms(conc,false);
105	    for ( int i = 1 ; i <=  n ; i++)
106	    {
107		scanf("%d",&a[i]);
108		int num;
109		scanf("%d",&num);
110		while (num--)
111		{
112		    int x;
113		    scanf("%d",&x);
114		    edge[i].push_back(x);
115		    conc[i][x] = true;
116		}
117	    }
118
119	    if (spfa(1))
120		puts("winnable");
121	    else puts("hopeless");
122	}
123
124  #ifndef ONLINE_JUDGE  
125  fclose(stdin);
126  #endif
127    return 0;
128}