1. Given a graph $G$ on $n$ vertices is there a technique to convert to a balanced bipartite graph $B$ with $O(n^c)$ vertices at some fixed $0<c$ in $O(n^{c'})$ time at some fixed $0<c'$ such that the number of perfect matchings is preserved? If 1. is unknown then 2. Given a graph $G$ on $n$ vertices is there a technique to convert to a balanced bipartite graph $B$ with $O(n^c)$ vertices at some fixed $0<c$ in deterministic $O(n^{c'})$ time at some fixed $0<c'$ such that the number of perfect matchings is approximately preserved?