Eq(6) is tight if c appears in the parse tree: z c = 1, otherwise Eq 7is tight.
minimize ψ with respect to p, we have The second equation holds since, for any two factors, c and c ′ , g c (or h c ) and g c ′ (or h c ′ ) are separable.