Holant Problem edges are variables (domain [gl) graph G=(V,E) vertices are constraints (signatures) nu∈V,fu:[]deg(w)C configuration o∈[glE holant=If(oE()) o∈[g]Ev∈V E(v)=(e1,.,ed) incident edges of v q"configurations where m=lElHolant Problem edges are variables (domain [q]) vertices are constraints (signatures) fv [q] E configuration holant = X 2[q]E Y v2V fv |E(v) 8v 2 V, fv : [q] deg(v) ! C E(v) = (e1, ... , ed) incident edges of v qm configurations where m=|E| graph G=(V,E)