用EK实现的和用dinic实现的是一样复杂度的吗？

为什么在spfa的过程中不可能有负环？如果有负环要求什么条件才行