1

4 3

2 3 -1

3 4 -1

4 2 -1 这个一组数据应该输出NO，因为点1不能到达负环，所以需要加一个条件判断

if (dist[u] != INF && dist[u] + w < dist[v]) { dist[v] = dist[u] + w; flag = true; }

这个才是松弛的条件