優(yōu)先圖化簡算法研究

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

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

【優(yōu)先圖化簡算法研究】相關文章：

參數(shù)序列比對算法研究04-26

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

拖曳系統(tǒng)基本飛行性能算法研究04-27

分區(qū)對接網(wǎng)格算法的應用研究04-27

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

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

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

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

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

網(wǎng)絡分層用于最短路問題的算法研究04-27