Si supone que su gráfico es plano, entonces hay un procedimiento de tiempo polinómico para este problema de muestreo.
Primero, el problema de contar el número de coincidencias perfectas está en P para los gráficos planos. ( https://en.wikipedia.org/wiki/FKT_algorithm ) (Una buena exposición de este hecho se puede encontrar en el primer capítulo del libro de Jerrum sobre Conteo, muestreo e integración).
Luego, para cada borde de , cuente el número de combinaciones perfectas de . Esto se puede convertir en la probabilidad de que una coincidencia perfecta uniforme contiene - sólo se dividen por el número de apareamientos perfectos en . Muestree una ventaja de acuerdo con esta probabilidad y continúe inductivamente.eGG∖eeG
(Esto se aprovecha del hecho de que los emparejamientos son una estructura "auto-reducible", por lo que los problemas de conteo y de muestreo uniforme son esencialmente los mismos. Puede ver JVV "Generación aleatoria de estructuras combinatorias a partir de una distribución uniforme" para obtener más información sobre esto punto de vista.)
Una prueba simple de que esto da la distribución correcta:
Sea el número de coincidencias perfectas ordenadas en un gráfico , como secuencias ordenadas. (¡Lo cual es Veces el número de coincidencias perfectas desordenadas, )c(H)Hn!n=H/2
Deje la secuencia de aristas elegida en este procedimiento. Como cada paso era independiente del primero, la probabilidad de elegir esta secuencia de aristas es:e1,…,en
c(G∖e1)c(G)c(G∖{e1,e2})c(G∖e1)…c(G∖{e1,…,en−1})c(G∖{e1,…,en−2}) .
Tenga en cuenta que , ya que es solo el borde . Entonces este producto se telescopía y deja .c(G∖{e1,…,en−1})=1G∖{e1,…,en−1}en1/c(G)