SPFA: Negative Cycle

剛發現原來一直寫錯 SPFA 中的 detect negative cycle
以前一直以為是 update ≥ N 次則有負圈
實則是 入queue ≥ N 次
因為每入一次 queue, 就表示 shortest path 所經的 edge 數 +1
由於無負圈的 shortest path 最多只走 N-1 條 edge, 所以入 queue ≥ N 次 = 有負圈