Spin System Aa Ab Ae:[g]×[ql→R≥0 A Fv:[gl→R≥0 EAe户 partition function:count the of solutions to an CSP z-∑) Πe(cw,x)ΠE(x) ∈9y e=uw∈E 入 v∈V enumerate all binary constraints unary constraints configurationsSpin System Z = X x2[q]V Y e=uv2E Ae(xu, xv) Y v2V Fv(xv) Aa Ab Ac Ad Ae Af Fw Fu Fv Fy Fx enumerate all configurations binary constraints unary constraints Ae : [q] ⇥ [q] ! R0 Fv : [q] ! R0 partition function: count the # of solutions to an CSP