面向大图的可扩展传递归约处理算法

摘要

给定有向无环图G,G的传递归约是和G有相同传递闭包的最小唯一子图针对已有传递归约算法不能有效适应实际应用中图规模不断膨胀的问题,首先提出一种空间复杂度为O(n)的算法BUTR,其中n为G的顶点数BUTR首先计算G的路径分解,并以自底向上的方式处理每条路径中的顶点其特点体现在处理每条路径p时,可以利用p中顶点间的父子关系来避免对部分顶点和边的重复访问,并保证在处理完p的所有顶点后,所有涉及到的边仅被访问一次其次提出无需路径分解的优化算法—TDTR.TDTR通过栈来缓存已处理顶点并标记其逆向传递闭包,从而尽可能早的利用不同路径中顶点间的父子关系来避免BUTR算法存在的冗余计算问题最后在26个不同规模的真实数据集和10个大规模人工数据集上,通过实验从不同角度对算法的性能进行了深入比较和分析实验结果显示,文本提出的BUTR和TDTR算法具有良好的时间和空间扩展性.