会了spfa这么长时间竟然不会判断负环，今天刚回。。
【例题】poj3259
题目大意：当农场主 John 在开垦他的农场时，他发现了许多奇怪的昆虫洞。这些昆虫洞是单向的，并且可以把你从入口送到出口，并且使得时间倒退一段时间。 John 的每个农场包含 N(1≤N≤500)块地，编号从 1～N，这 N 块地之间有 M(1≤M≤2500)条路、 W(1≤W≤200)个昆虫洞。因为 John 是一个狂热的时间旅行迷，他想尝试着做这样一件事：从某块地出发，通过一些路径和昆虫洞，返回到出发点，并且时间早于出发时间，这样或许他可以遇到他自己。你的任务是帮助 John 判断是否可行。他将提供他的 F(1≤F≤5)个农场的完整地图。每条路走完所需时间不超过 10,000 秒，每个昆虫洞倒退的时间也不超过 10,000 秒。
【解】
想一下就会发现，这道题其实就是判断图中的负环。这个功能spfa就能实现。首先如果spfa中一个点进队超过n次，那就说明图中存在负环，至于为什么是进队n次而不是被更新n次，可以假设一个有两个节点的图。。从1-2有10条重边。。边权分别从10到1。。然后完全有可能遍历的时候从边权为10的边开始更新10次。。但是可以不存在负权回路。。