流图可归约性判定的一个实用算法

本文得到了流图Ｇ可归的性判定的一个实用的充要条件，并给出了一个可归的约性判定算法、该算法同时计算了Ｇ中各结点的必经结点集。对于不可归的约流图，还可指出Ｇ中的所有向后边。实际应用中其时间复杂性优于［３］中计算必经结点集的算法。