cluster expansion, 0-1 nxn matrices, regular bipartite graph, permanent