题意很容易转化到这样的问题：在一个强连通的有向图D中是否存在这样的集合划分S + T = D,从S到T集合的边权大于从T到S集合的边权。

即D(i, j)  > B(j, i) + D(j, i)。或者等价地对任意集合划分：D(i, j) <= B(j, i) + D(j, i)（*）。

实际上若存在可行流f，满足：D(i, j) <= f(i, j) <= B(i, j) + D(i, j),则有对于任意割满足式(*),即可以返回"happy".

关于可行流参见：无源汇有上下界可行流判定。