基于OBDD的含圈与或图搜索算法研究  

OBDD based symbolic algorithm for searching cyclic AND/OR graphs

作　　者：赵岭忠[1] 王雪松[2] 

机构地区：[1]桂林电子科技大学计算机科学与工程学院,广西桂林541004 [2]桂林电子科技大学电子工程与自动化学院,广西桂林541004

出　　处：《计算机应用研究》2011年第4期1325-1329,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(60803033);广西青年科学基金资助项目(桂科青0728093)

摘　　要：在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明,该算法在处理大规模含圈与或图时具有明显优势。Based on the framework for searching cyclic AND/OR graphs,proposed an OBDD based representation of cyclic AND/OR graphs,on which formulated a symbolic algorithm for searching minimal-cost solution graph of cyclic AND/OR graphs.It shows that the algorithm has significant advantage over traditional algorithms in handling larger-scale cyclic AND/OR graphs.

关 键 词：含圈与或图 最大可扩展子图 最小代价解图 有序二叉决策图 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]