如果图中存在负环，那么从s到t没有最短路