可行流是最大流，当且仅当不存在关于的       。