给定有向无环图G,G的等价规约是将G中每个等价结点集用其中一个结点替代得到的压缩图。等价规约可以有效压缩图的规模,是图论中的经典问题之一,可用于加速可达性查询处理的速度。随着互联网技术的不断发展,实际中图的规模越来越大,现有等价规约算法无法有效处理。本文针对等价规约问题进行研究,具体研究内容如下。首先,通过对现有等价规约算法的深入研究和分析,发现现有方法低效的本质原因是较高的时间复杂度O（||V|（|V|+|E|）|）和空间复杂度O（|V|²）。其次,基于有向无环图的传递规约,本文提出基于结点邻居的等价性定义,并证明了在传递规约上两个结点邻居相同等价于原始有向无环图上两个结点的传递闭包相同,简化了结点等价的判断代价。根据新的等价性定义,本文给出了结点顺序和集合顺序的定义,然后基于此提出了时间复杂度是O(|E^tr|log|V|),空间复杂度是O（|V|）的Sort-ER算法,用于高效求解等价规约。再次,本文提出了有向无环图的一种生成树结构PMR树,证明了等价结点在生成树上具有兄弟关系的特性,基于此提出基于PMR树的等价规约算法PMR-ER,该算法进一步减小了结点排序规模,提升了等价规约的求解效率,该算法的时间复杂度是O(|E^tr|logd_max),空间复杂度是O（|V|）。最后,在34个不同规模的真实数据集上,通过实验从不同角度对算法的性能进比较和分析,证明本文提出的等价规约算法具有良好的时间和空间扩展性。