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

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

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

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

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

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

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

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

機(jī)場(chǎng)停機(jī)位分配問題的圖著色模型及其算法04-26

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

商用車前撞報(bào)警算法研究04-27

基于遺傳算法CSAMT反演計(jì)算研究04-27

形式驗(yàn)證中ROBDD變量排序算法的研究04-26

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