| 无圈与或图搜索的符号OBDD算法研究 |
| |
| 引用本文： | 王雪松,赵岭忠,古天龙.无圈与或图搜索的符号OBDD算法研究[J].计算机科学,2010,37(7):169-173. |
| |
| 作者姓名： | 王雪松 赵岭忠 古天龙 |
| |
| 作者单位： | 桂林电子科技大学计算机与控制学院,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金，广西青年科学基金 |
| |
| 摘 要： | 与或图搜索是人工智能领域一项重要的问题求解技术.基于传统数据结构的与或图表示技术极大地限制了与或图搜索算法可求解问题的规模.在无圈与或图符号OBDD表示的基础上,给出了一种求解无圈与或图最小代价解图的符号搜索算法.实验结果表明,与 AO*算法相比,该算法可处理问题的规模有较大的提高.
|
| 关 键 词： | 与或图 最小代价解图 |
| 收稿时间： | 2009/8/28 0:00:00 |
| 修稿时间： | 2009/11/9 0:00:00 |
OBDD Based Symbolic Algorithm for Searching Acyclic AND/OR Graphs |
| |
| WANG Xue-song,ZHAO Ling-zhong,GU Tian-long.OBDD Based Symbolic Algorithm for Searching Acyclic AND/OR Graphs[J].Computer Science,2010,37(7):169-173. |
| |
| Authors: | WANG Xue-song ZHAO Ling-zhong GU Tian-long |
| |
| Affiliation: | (School of Computer and Control,Guilin University of Electronic Technology,Guilin 541004,China) |
| |
| Abstract: | |
| |
| Keywords: | OBDDs |
| 本文献已被 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
