湖南师范大学自然科学学报
湖南師範大學自然科學學報
호남사범대학자연과학학보
ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS NORMALIS HUNANENSIS
2008年
2期
26-29
,共4页
冗余有向边%优先图%简化算法
冗餘有嚮邊%優先圖%簡化算法
용여유향변%우선도%간화산법
优先图可方便地描述程序的并发性,优先图与并发程序可以相互转换.发现了一种判断优先图冗余有向边的方法,同时找到了化简优先图的算法.使用该算法化简优先图以后,能使相应程序的并发控制复杂度降低.以化简饱和优先图为实例,相应程序并发控制的复杂度,由化简前的O(n2)降低为化简后的O(n).
優先圖可方便地描述程序的併髮性,優先圖與併髮程序可以相互轉換.髮現瞭一種判斷優先圖冗餘有嚮邊的方法,同時找到瞭化簡優先圖的算法.使用該算法化簡優先圖以後,能使相應程序的併髮控製複雜度降低.以化簡飽和優先圖為實例,相應程序併髮控製的複雜度,由化簡前的O(n2)降低為化簡後的O(n).
우선도가방편지묘술정서적병발성,우선도여병발정서가이상호전환.발현료일충판단우선도용여유향변적방법,동시조도료화간우선도적산법.사용해산법화간우선도이후,능사상응정서적병발공제복잡도강저.이화간포화우선도위실례,상응정서병발공제적복잡도,유화간전적O(n2)강저위화간후적O(n).
