给定有向无环图G,G的传递归约是和G有相同传递闭包的最小唯一子图。传递归约是图论中的经典问题之一,并广泛应用于实际中简化问题的求解,包括传递闭包、背包问题、可达性问题等。然而,现有传递归约方法的计算代价高昂。随着网络技术的飞速发展和新型应用的不断涌现,实际应用中的图规模越来越大,在机器内存容量受限的情况下,已有的传递归约算法因其较高的空间复杂度面临无法使用的尴尬境地。本文从以下几个方面对有向无环图的传递归约方法进行研究,具体内容如下。首先,提出自底向上的BUTR算法。该算法首先将G分解为k条路径,以自底向上的方式处理每条路径p。其特点体现在处理每条路径p时,可以利用p中顶点间的父子关系来避免对部分顶点和边的重复访问,并保证在处理完p的所有顶点后,所有涉及到的边仅被访问一次。当处理完所有的k条路径之后,即可得到传递归约。BUTR时间与空间复杂度分别为O(km)和O(n),其中n、m分别为图G中结点和边的个数。其次,针对BUTR算法在实际应用中路径分解规模过大的问题,提出无需路径分解的算法TDTR来避免BUTR算法存在的冗余计算问题。TDTR通过栈来缓存已处理结点并标记其逆向传递闭包,从而尽可能早的利用结点间的父子关系来避免BUTR算法存在的冗余计算问题。算法TDTR时间与空间复杂度分别为O(wavgm)和O(n),wavg为为处理单个结点时平均访问结点数目。最后,在26个不同规模的真实数据集上,通过实验从不同角度对算法的性能进行深入比较和分析。实验结果验证了本文算法的高效性和扩展性。