“…Great progress has been made on the complexity of partition functions, giving classification theorems [16,4,19,37,6,15,5] in terms of polynomial time tractability or #P-hardness. A major further research direction is when a #P-hard partition function can be approximated [22,14,12,23,30,33,18]. Now consider the problem of counting perfect matchings.…”