greedy + implementation (see also SPFA & bellman_ford & 差分约束)