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

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

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

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

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

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

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

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

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

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

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

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

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

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