Factor graph: p(x) = ∏f_a(x_∂a)/Z. Belief prop computes exact marginals on trees; loopy BP is an approximation.
Circles=variable nodes, squares=factor nodes. Edge opacity = message magnitude. Bar = current belief.
Marginal beliefs p(x_i=1) for each variable. Compare sum-product vs max-product.