An ADD Based Technique for the Maximum Flow in Networks

Chao Wang
2004-01-01
Abstract:A symbolic ordered binary decision diagram(OBDD)algorithm for the maximum flow in0-1networks proposed by Hachtel G.D.and Somenzi F.could reduce the state explosion to some extent.However,this algorithm is confined to the solution of the maximum flow in0-1networks.Algebraic Decision Diagram proposed by Bachar R.I.is a new efficient approach to representation of pseudo-Boolean function and finite domain function.In this paper,the authors use ADD to represent networks and the maximum flow problems,and give a new idea of solving the maximum flow in general networks.The results show that the effectiveness of an ADD-based technique for the maximum flow in networks can handle problems that the symbolic OBDD algorithm for maximum flow in0-1networks can't.
What problem does this paper attempt to address?