i-matching, r-regular, bipartite