the factor graph approach to model - based signal processing .
On the optimality of tree-reweighted max-product message-passing