UVa 558

　　题目大意：通过虫洞可以回到过去和未来，一名科学家想通过在虫洞中无限循环回到大爆炸时代，问是否可能。

　　实际上是求这个有向图上是否存在负环，可以用Bellman Ford算法进行判断：在进行n-1次的松弛操作后再进行一次松弛操作，如果有节点的距离变小了，说明这个图上存在负环。

#include <cstdio>
#include <vector>
using namespace std;
#define INF 1e9
typedef pair<int, int> ii;
typedef vector<ii> vii;

int main()
{
#ifdef LOCAL
    freopen("in", "r", stdin);
#endif
    int T;
    scanf("%d", &T);
    while (T--)
    {
        int n, m;
        scanf("%d%d", &n, &m);
        vector<vii> AdjList(n);
        for (int i = 0; i < m; i++)
        {
            int u, v, w;
            scanf("%d%d%d", &u, &v, &w);
            AdjList[u].push_back(make_pair(v, w));
        }
        vector<int> dist(n, INF);
        dist[0] = 0;
        for (int i = 0; i < n-1; i++)
            for (int u = 0; u < AdjList.size(); u++)
                for (int j = 0; j < AdjList[u].size(); j++)
                {
                    int v = AdjList[u][j].first, w = AdjList[u][j].second;
                    dist[v] = min(dist[v], dist[u]+w);
                }
        bool negative_cycle = false;
        for (int u = 0; u < AdjList.size(); u++)
            for (int j = 0; j < AdjList[u].size(); j++)
            {
                int v = AdjList[u][j].first, w = AdjList[u][j].second;
                if (dist[v] > dist[u] + w)
                {
                    negative_cycle = true;
                    goto s;
                }
            }
s:        if (negative_cycle)  printf("possible
");
        else  printf("not possible
");
    }
    return 0;
}