如果你是像我一样拓扑+Dij，并且判无解的时候用的是判断$dis$是否等于INF，请注意：

老生常谈，最短路处理到负权路径，更新最小dis时

if(dis[v]>dis[u]+len[u][v]){
	dis[v]=dis[u]+len[u][v]
}

要注意判断$dis[u]$是否是INF，不然在$len[u][v]$为负值时$dis[v]$会被更新成INF减去一个数，这样就无法判断$dis[v]$是否无解