-
题名网络最大流问题求解的符号ADD增广路径算法
被引量：9
- 1
-
-
作者
徐周波
古天龙
赵岭忠
-
机构
桂林电子工业学院计算机系
-
出处
《计算机科学》
CSCD
北大核心
2005年第10期38-40,54,共4页
-
基金
国家自然科学基金(60243002)
教育部留学归国人员基金
广西自然科学基金(0448072)
-
文摘
本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问题的求解算法,给出了网络最大流问题求解的符号ADD增广路径算法,简称为符号ADD算法。与Dinic算法、Karzanov算法相比,本文算法的空间复杂度得到了改善。实验结果表明,本文算法是切实有效的,且可处理更大规模的问题。
-
关键词
符号算法
最大流
代数判定图(add)
剩余网络
网络最大流
路径算法
问题求解
add
符号
最大流问题
变尺度算法
空间复杂度
求解算法
-
Keywords
Symbolic algorithms, Maximum flow, Algebraic decision diagram （add）, Residual network
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
O157.5
[理学—基础数学]
-
-
题名网络最大流问题的一种新的符号ADD求解算法
被引量：15
- 2
-
-
作者
徐周波
古天龙
赵岭忠
-
机构
桂林电子工业学院计算机系
-
出处
《通信学报》
EI
CSCD
北大核心
2005年第2期1-8,共8页
-
基金
国家自然科学基金资助项目(60243002)
教育部留学归国人员基金资助项目
广西自然科学基金资助项目(0448072)
-
文摘
通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。
-
关键词
网络优化
最大流
符号算法
代数判定图
-
Keywords
network optimization
maximum flow
symbolic algorithms
algebraic decision diagram(add)
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名弧一致性符号ADD算法及在CSP求解中的应用
被引量：3
- 3
-
-
作者
王腾飞
徐周波
古天龙
-
机构
桂林电子科技大学广西可信软件重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2013年第12期243-247,共5页
-
基金
国家自然科学基金(60963010
61100025
+1 种基金
61262030)
广西研究生教育创新计划(2011105950812M23)资助
-
文摘
约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术在压缩问题的搜索空间时,一次只能处理一条约束上的一个值对;而借助ADD技术来压缩问题搜索空间,可以一次处理多条约束。算法首先通过01编码将CSP问题描述成伪布尔函数,并由ADD进行表示。然后基于传统弧一致性技术的算法思想,利用ADD的交、并和提取操作来实现约束传播和变量域过滤。最后将弧一致性的符号ADD算法嵌入到BT搜索算法中来实现对CSP的求解。对标准库中的测试用例以及随机生成的测试用例进行了实验仿真,结果表明,该算法求解CSP的时间既优于带弧一致性维护的回跳算法MAC3+BJ和MAC2001+BJ,也优于采用传统数据结构进行预处理的CSP求解算法BT+MPAC和BT+MPAC*。
-
关键词
约束满足问题(CSP)
代数决策图(add)
弧一致性(AC)
-
Keywords
Constraint satisfaction problem（CSP）, Algebraic decision diagram（add）,Arc consistency（AC）
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
