有向软件图的极小源(汇)点集判定算法

本文研究了有向软件图的极小源（汇）点集问题，提出了有效的判定算法，并证明了该算法的正确性。该算法可以用于有关软件图的结构正确性的自动分析。