An Algorithm Proving the Resource-allocation-graph Algorithm

作     者：Wang jikui Lanzhou University of Finance and Economics Lanzhou China Tang shijie Guilin University of Electronic Technology Guilin Guangxi Wang huiyong Guilin University of Electronic Technology Guilin Guangxi 

会议名称：《2010 International Conference on Intelligent Computing and Integrated Systems》

会议日期：2010年

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported by National Foundation:A Web Services based court doucument information numeric administrating open system. Foundation number:08C26226202388 

关 键 词：Resource-allocation-graph algorithm Non reducible graph Simplification sequence 

摘      要：正By analyzing the resource allocation graph algorithm,we state that the soundess of the algorithm depends on a fact:different simplification sequences of the resource allocation graph lead to a same Non-reducible *** analyzing the essence of the resource allocation algorithm,we give another algorithm to verify the resource-allocation-graph algorithm.