undirected graph G=(V,E) monomer-dimer model:set of all matchings M(G) partition function ZA(G)=XIMI M∈M(G)Z￾(G) = X M2M(G) ￾|M| monomer-dimer model: M(G) undirected graph G = (V,E) set of all matchings partition function