【摘 要】
：
闭半环是在半环上添加了传递闭包运算符而得到的代数结构.闭半环为计算机科学理论中多个看起来不相关的问题提供了统一的求解理论框架.有不少图算法问题可以通过对图的邻接矩
【机 构】
：
中国科学技术大学计算机科学与技术学院,合肥,230027
论文部分内容阅读
闭半环是在半环上添加了传递闭包运算符而得到的代数结构.闭半环为计算机科学理论中多个看起来不相关的问题提供了统一的求解理论框架.有不少图算法问题可以通过对图的邻接矩阵在特定的闭半环上计算闭包而求解.本文分析了三个典型的问题:最可靠路径、最小生成树和到达定值数据流分析.其中到达定值数据流分析可采用两种闭半环求解.本文为这些问题提供了基于Haskell语言的算法实现,并为最小生成树问题证明了算法的正确性.
其他文献
《信息化建设》:2013年,上虞全区实现工业总产值1990.62亿元,增长11.6%,增速连续5年保持两位数以上。在这之中,两化深度融合扮演着怎样的角色?王永表:近年来,上虞区积极落实
随着经济和社会的快速发展，人民群众对通信网络的高需求也越来越迫切，移动互联网、物联网、大数据等新兴产业的发展，也对网络的快速、安全、稳定提出了更高的要求。如何建设更快捷安全的信息高速公路，推动信息化和工业化深度融合，推动经济转型升级，加快产业结构调整和体制机制创新，为政府运行管理和公共服务提供强有力的保障，是摆在各级政府面前的一道重大课题。 近几年来，衢州市积极协调相关部门，出台相关政策，为通信
提出一种针对大规模RDF（Resource Description Framework）数据的高效而又准确的查询方法,此方法基于图聚类算法.首先利用已被证明在处理大规模图数据时效果最好的图聚类算法对
在3D设计系统里，依赖图文档模型被广泛的用来表示文档内部图形对象之间的依赖关系.Sun的团队针对由于对象与对象之间的依赖关系的存在所导致的意愿冲突，提出了5种类型的依
随着在线社交网络的快速发展,用户信息和用户规模呈现爆炸性增长,如何从网络上获取有针对性的信息已非易事,为此各种推荐系统已先后涌现.为各类不同用户以自然的推荐方式向其推荐信息并获得较高的用户采纳度是一件富挑战性的工作,也是本文的主要研究内容.如何在特定专业性拓扑网络中寻找到自然的推荐方式以得到较好的用户采纳度,是本文将要解决的问题.基于此,本文采用对潜在角色和关系预测研究,以E-CARGO模型为理论
慢性阻塞性肺疾病(COPD) 是一种不完全可逆的气流受限,呈进行性发展,且可以预防和治疗的疾病,并与肺部对香烟烟雾等有害气体或有害颗粒的异常炎症应有关[1].目前,COPD 是全球
业务流程是组合服务的主要表现形式之一.跨组织多方协作流程往往包含多重粒度,难以基于任何单一粒度建模.Proclets方法将多粒度单体流程分解为一组交互协作的单粒度流程,以实
现有基于可能世界建模的Top-k算法难以适应大数据量和键值对（Key-Value）数据模型下的不确定性Top-k查询.研究首先建立了不确定性Key-Value数据模型;随后在已有U-TopK查询语义的
在Web服务选择中,候选服务的QoS（Quality of Service）优劣起着决定性的作用.如何为具体用户准确预测服务的Qo S值是最近的研究热点.以往的工作聚焦于使用单一值（即点值）来预测Web
采用传统的关联规则方法对关系型数据集进行数据挖掘时,通常以属性为粒度求解属性之间的相关性,未能直观地剖析属性内部的规律和相关性.以细化分析粒度和提高关联规则的fine精度为目标,通过把属性"打碎",再结合基于逻辑的OCAT方法,提出一套细粒度的关联规则数据挖掘方法,同时由于该方法得到的关联规则表达形式的特殊性,使得其能提高处理大规模数据集的运算效率.最后,以一个气象数据集为实例进行实验,对结果的准