Se si assume che il grafico sia planare, esiste una procedura temporale polinomiale per questo problema di campionamento.
Innanzitutto, il problema del conteggio del numero di corrispondenze perfette è in P per i grafici planari. ( https://en.wikipedia.org/wiki/FKT_algorithm ) (Una buona esposizione di questo fatto può essere trovata nel primo capitolo del libro di Jerrum su Conteggio, Campionamento e Integrazione.)
eGG∖eeG . Campionare un bordo in base a questa probabilità e continuare induttivamente.
(Questo sta sfruttando il fatto che gli abbinamenti sono una struttura "auto-riducibile", quindi i problemi di conteggio e problemi di campionamento uniformi sono essenzialmente gli stessi. Puoi vedere JVV "Generazione casuale di strutture combinatorie da una distribuzione uniforme" per ulteriori informazioni al riguardo punto di vista.)
Una semplice prova che ciò fornisce la corretta distribuzione:
c(H)Hn!n=H/2
e1,…,en
c(G∖e1)c(G)c(G∖{e1,e2})c(G∖e1)…c(G∖{e1,…,en−1})c(G∖{e1,…,en−2})
c(G∖{e1,…,en−1})=1G∖{e1,…,en−1}en1/c(G)