What Graphs can be Efficiently Represented by BDDs?

C. Dong, P. Molitor
2007 2007 International Conference on Computing: Theory and Applications (ICCTA'07)  
We have carried out experimental research into implicit representation of large graphs using reduced ordered binary decision diagrams (OBDDs). We experimentally show that for graphs from real applications such as graphs representing the networks of the Internet or the World Wide Web and other technical and social networks the sizes of the corresponding OBDDs do not differ much from the number of edges which the graphs contain. It is noteworthy that all of these large graphs are sparse. For
more » ... mly generated dense graphs, the gain, i. e., the ratio of the number of graph edges to the OBDD size, increases with the number of vertices and the density of the graphs.
doi:10.1109/iccta.2007.133 dblp:conf/iccta/DongM07 fatcat:v4lozcczkzbtno4xeprtviwgda