The max-sum labeling problem, de ned as maximizing a sum of functions of pairs of discrete variables, is a general optimization problem with numerous applications, e.g., computing MAP assignments of a Markov random eld. ...