P-complete

Generating Random Matchings (GRM)

Category: Graph Theory

Input

A bipartite graph $G = (V_1, V_2, E)$ with $|V_1| = |V_2| = n$ and a designated edge $uv$.

Problem

(1) Is $uv$ in the matching generated by Broder’s algorithm?

(2) Is $uv$ in the matching generated by Jerrum and Sinclair’s algorithm?

Definitions

Let $M_n(G)$ denote the set of perfect matchings in $G$ and $M_{n-1}(G)$ denote the set of near perfect matchings, that is, matchings of size $n-1$. Broder [1] and Jerrum and Sinclair [2] give probabilistic algorithms for generating elements in $M_n(G) \cup M_{n-1}(G)$. We call these algorithms Broder’s algorithm and Jerrum and Sinclair’s algorithm.

Status

$\P$-complete (Teng [3]).

Remarks

The reductions for both these problems are from LFMIS.

These algorithms are important for approximating the permanent. Also, see MM and PME for some related open problems.

References

  1. A. Z. Broder (1986). How hard is it to marry at random? (On the approximation of the permanent).
  2. M. Jerrum and A. Sinclair (1988). Conductance and the rapid mixing property for Markov chains: The approximation of the permanent resolved.
  3. S.-H. Teng (1989). Matching randomly in parallel.
  4. Greenlaw, R., Hoover, H. J., and Ruzzo, W. L. (1995). Limits to Parallel Computation: P-Completeness Theory. Oxford University Press. Problem A.2.20.