染雾优先图化简算法研究
优先图可方便地描述程序的并发性,优先图与并发程序可以相互转换.发现了一种判断优先图冗余有向边的方法,同时找到了化简优先图的算法.使用该算法化简优先图以后,能使相应程序的并发控制复杂度降低.以化简饱和优先图为实例,相应程序并发控制的复杂度,由化简前的O(n2)降低为化简后的O(n).
作 者： 阳西述 YANG Xi-shu 作者单位： 湖南第一师范学院网络信息中心,中国长沙,410002 刊 名： 湖南师范大学自然科学学报 ISTIC PKU 英文刊名： JOURNAL OF
