分享到:

面向大图的传递归约问题研究

图在互联网技术中有及其广泛的应用,但随着互联网的迅猛发展,图的规模也变得非常庞大,如何对图进行简化从而提升系统的扩展性是研究界关注的热点问题之一。传递归约是图操作中的核心操作,通过去除有向无环图G中的冗余边来实现简化的目的。简化后的有向无环图与G有相同的传递闭包。但是现有的传递归约算法的时间和空间复杂度较大,无法处理大规模有向无环图。针对现有的问题,本文提出了适用于大图的传递归约算法,具体的研究内容如下。首先,根据冗余边的性质,提出利用已有的可达性查询算法来加速冗余边判断的思路。考虑到计算每个兄弟的可达性的复杂度较高,提出将兄弟顶点按照拓扑排序的结果依次处理的算法来得到传递归约的结果。其次,针对出度大且冗余边很少的顶点可能存在处理代价高的问题,提出了对顶点按照(出度+入度)进行升序排序,依次处理每个顶点的方法来避免随机处理存在的冗余计算问题。该方法对每个被处理顶点都检查双向冗余边,并将确认的冗余边在图的邻接表中进行标记。其好处是  (本文共60页) 本文目录 | 阅读全文>>

燕山大学
燕山大学

面向大图的传递归约问题研究

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

《上海交通大学学报》1960年60期
上海交通大学学报

进程的归约

给出了进程归约语义的一般方法...  (本文共5页) 阅读全文>>

《计算机科学》2015年11期
计算机科学

归约算法统一描述

归约算法在并行计算中应用广泛,目前有很多归约算法应用于不同的情形。这些归约算法各不相同,逻辑拓扑是造成区别的关键。为了统一描述归约算法,揭示它们的共性,给出了一个逻辑拓扑的定...  (本文共3页) 阅读全文>>

《软件学报》1997年10期
软件学报

必要平行最外归约策略

在必要集、必要位置等概念基础上,定义了必要平行最外归约策略.基于最小化必...  (本文共8页) 阅读全文>>

《系统仿真学报》2014年10期
系统仿真学报

基于元挖掘的数据归约工作流优化

传统的数据归约工作流是依靠领域专家进行选择而产生的,这种选择工作流的方法虽然可靠性高,但效率很低。针对这种情况,提出1种基于元挖掘的工作流优化方法。利用元...  (本文共5页) 阅读全文>>

《计算机工程与应用》2006年31期
计算机工程与应用

半边图模型之聚合归约演算

提出了实现自组织多层次归约的一个指导原则,即自组聚合与归约的协调准则,其核心思想是,基于多聚合准则的自组聚合演算中的各个聚合子集是可以相交的,相交的部分是下一步归约演...  (本文共6页) 阅读全文>>