Were loopy BP exact, these beliefs would be the true marginals and hence a point in the marginal polytope M(G x ).
24 consists of a MAP computation and the solution corresponds to one outputŷ t ∈ Y(x t ).