優先圖化簡算法研究

優先圖可方便地描述程序的并發性,優先圖與并發程序可以相互轉換.發現了一種判斷優先圖冗余有向邊的方法,同時找到了化簡優先圖的算法.使用該算法化簡優先圖以后,能使相應程序的并發控制復雜度降低.以化簡飽和優先圖為實例,相應程序并發控制的復雜度,由化簡前的O(n2)降低為化簡后的O(n).

作 者： 陽西述 YANG Xi-shu   作者單位： 湖南第一師范學院網絡信息中心,中國長沙,410002  刊 名： 湖南師范大學自然科學學報  ISTIC PKU 英文刊名： JOURNAL OF NATURAL SCIENCE OF HUNAN NORMAL UNIVERSITY  年，卷(期)： 2008 31(2)  分類號： O634.2  關鍵詞： 冗余有向邊   優先圖   簡化算法  

【優先圖化簡算法研究】相關文章：

參數序列比對算法研究04-26

多層次圖排序算法及其在圖剖分中的應用04-26

拖曳系統基本飛行性能算法研究04-27

分區對接網格算法的應用研究04-27

機場停機位分配問題的圖著色模型及其算法04-26

RVSM空域航路流量的模型和算法研究04-26

商用車前撞報警算法研究04-27

基于遺傳算法CSAMT反演計算研究04-27

形式驗證中ROBDD變量排序算法的研究04-26

網絡分層用于最短路問題的算法研究04-27