论文部分内容阅读
Hachtel G.D.和Somenzi F.提出的0-1网络最大流问题的符号有序二叉决策图(OBDD)算法在一定程度上缓减了"状态爆炸"问题,但算法仅局限于求解0-1网络的最大流.Bachar R.I.等提出的代数决策图(ADD)数据结构,是描述伪布尔函数和有限域取值函数的一种有效技术.文中利用ADD存储表示网络及描述网络最大流问题,给出一种求解网络最大流问题的符号ADD技术新思路.实验结果说明了应用ADD技术求解一般网络最大流问题的有效性,可处理0-1网络最大流问题的符号OBDD算