Estoy interesado en el siguiente problema. Se nos da como entrada una "permutación de destino" , así como una lista ordenada de índices . Luego, comenzando con la lista (es decir, la permutación de identidad), en cada paso de tiempo intercambiamos el elemento en con el elemento, con probabilidad independiente . Sea la probabilidad de que se produzca como salida.
Me gustaría saber (cualquiera de) lo siguiente:
- ¿Decidir si un completo?N P
- ¿Calcular exactamente # P -completo?
- ¿Qué podemos decir acerca de aproximar a una constante multiplicativa? ¿Hay un PTAS para esto?
La variante donde los intercambios no necesitan ser elementos adyacentes también es de interés.
Tenga en cuenta que no es difícil reducir este problema a rutas de disyunción de borde (o al flujo multicommodity con valor entero); Lo que no sé es una reducción en la otra dirección.
Actualización: OK, comprobando Garey & Johnson, su problema [MS6] ("Generación de permutación") es el siguiente. Dada como entrada una permutación objetivo , junto con los subconjuntos S 1 , ... , S m ∈ [ n ] , decida si σ es expresable como un producto τ 1 ⋯ τ m , donde cada τ i actúa trivialmente en todos los índices no en S i . Garey, Johnson, Miller y Papadimitriou (detrás de un muro de pago, desafortunadamente) prueban que este problema es N duro.
Si los swaps no necesitan ser adyacentes, entonces creo que esto implica que decidir si también es N P -hard. La reducción es simplemente esto: para cada S 1 , S 2 , ... en orden, ofreceremos un conjunto de "intercambios candidatos" que corresponde a una red de clasificación completa en S i (es decir, capaz de permutar S i arbitrariamente, mientras que actuando trivialmente en todo lo demás). Entonces σ será expresable como τ 1 ⋯ τ m , si y solo si es accesible como producto de estos intercambios.
Esto todavía deja abierta la versión "original" (donde los intercambios son de elementos adyacentes solamente). Para la versión de conteo (con intercambios arbitrarios), por supuesto, sugiere fuertemente que el problema debería ser -completo. En cualquier caso, se descarta un PTAS a menos que P = N P .