Compiling Bayesian Networks (BNs) into Zero-Suppressed BDDs (ZDDs) to perform efficient exact inference has attracted much attention. Computation time for exact inference using ZDDs is reduced to linear time in the size of the ZDDs. Also, cache memory techniques further help accelerate the inference. However, as the size of BN grows, compiling ZDDs becomes unacceptable in both time consumption and ZDD size which hinders BN practical applications. In this paper, we aim to improve the

more »

... ZDD-based method by proposing the idea of partitioning and separately compiling BNs. For every given BN, serial pattern d-separation sets are found and used to partition the BN into conditionally independent components. Separately compiling these components into ZDDs is more efficient than generating a giant ZDD for a whole network. However, partitioning a BN into too many components may give rise to considerable time consumption which grows exponentially with the number of vertexes in serial pattern d-separations. To trade off the off-line time consumption (for finding d-separations and compiling ZDDs) and on-line time consumption (for inference using ZDDs), the d-separations used to partitioning BNs are restricted to one-vertex and found using Tarjan's vertex-cut algorithm which can be performed linear time in the number of BN vertexes. The experiments illustrate that one-vertex d-separations exist in most BNs. Partitioning BNs with one-vertex d-separations improves the speed for both compilation and inference largely than the conventional ZDD-based method. To show the validity of partitioning with one-vertex d-separations, we also conduct the experiments of partitioning with two-vertex d-separations and the comparative experiments of jointree algorithms. * 1 He is now at this paper, we improve the conventional ZDD-based compilation approach [Minato 07] by a new divide-and-conquer method which reduces the time consumption for both compilation and exact inference. * 1 We use the terms "nodes" and "edges" in ZDDs to distinguish with the terms "vertexes" and "arcs" in BNs.