Method and system for bound propagation

摘要

A marginal subset is determined and separator subsets are defined so as to separate the marginal subsets from remaining subsets using the variables in marginal subset. A new subset is defined independent of elements of marginal or separator or empty subsets. The marginal subsets with nodes lying within separator subsets are identified and upper/lower limits of marginal probability are defined by iterative linear programming. Independent claims are also included for the following: (1) marginal probability computing system; (2) computer program product storing marginal probability program and (3) data carrier.