求软件图的最小源（汇）点集算法

研究有向软件图的最小源（汇）点集问题，提出有效的求最小源（汇）点集的算法，并求出算法的复杂度，其算法的时空效率最高。同时证明该算法的正确性，该算法可以用于有关软件圈的结构正确性的自动分析。