¿Contraejemplo a algoritmos de flujo máximo con pesos irracionales?

9

Se sabe que Ford-Fulkerson o Edmonds-Karp con la heurística del tubo de grasa (dos algoritmos para flujo máximo) no necesitan detenerse si algunos de los pesos son irracionales. De hecho, ¡incluso pueden converger en el valor incorrecto ! Sin embargo, todos los ejemplos que pude encontrar en la literatura [referencias a continuación, más las referencias allí] usan un solo valor irracional: la relación dorada conjugada , y otros valores que son racionales o son múltiplos racionales de . Mi pregunta principal es: $\phi' = (\sqrt{5}-1)/2$ $\phi'$

Pregunta general: ¿Qué sucede con otros valores irracionales?

Por ejemplo (pero no sienta que tiene que responder todo esto para publicar, me gustaría encontrar una respuesta interesante para cualquiera u otras preguntas que se encuentren dentro de la pregunta general anterior):

Dado cualquier , ¿se puede construir (o incluso mostrar la existencia de) tales contraejemplos? $\alpha \in \mathbb{R}$

Más débilmente: ¿hay ejemplos conocidos que usen un valor irracional esencialmente diferente de ? Es decir, ¿hay algún que no sea un múltiplo racional de (o más fuertemente no en ) y tal que haya contraejemplos de Ford-Fulkerson y / o Edmonds- ¿Karp donde se encuentran todos los pesos en ? $\phi'$ $\alpha$ $\phi'$ $\mathbb{Q}(\phi')$ $\mathbb{Q}(\alpha)$

En la otra dirección, ¿existe un irracional tal que Ford-Fulkerson (resp., Edmonds-Karp) se detenga con el valor correcto en todos los gráficos cuyos pesos provienen de ? (¿O más fuerte, de ?) $\alpha$ $\mathbb{Q} \cup \{q\alpha : q \in \mathbb{Q}\}$ $\mathbb{Q}(\alpha)$

En todos los casos, quiero asumir algo como el modelo RAM real, para que la aritmética exacta y las comparaciones exactas de números reales se realicen en tiempo constante.

(Hay otros algoritmos de flujo máximo que se sabe que se ejecutan en un tiempo muy polinómico, incluso con pesos reales arbitrarios, lo que quizás sea la razón por la cual este tipo de pregunta puede no haber sido explorada más a fondo. Pero habiendo enseñado estos algoritmos en mi clase de algoritmos de pregrado Todavía tengo curiosidad por esto.)

Referencias

Zwick TCS 1999 dio un contraejemplo mínimo para Ford-Fulkerson.
Queyranne o Queyranne Math dieron un contraejemplo para Edmonds-Karp . Oper Res. 1980 , aunque no sé si ese es mínimo.
Ambos se pueden encontrar en las notas de clase de Jeff Erickson , con el primero en la Sección 23.5 y el segundo como el Ejercicio 14 de la Clase 23.

ds.algorithms graph-algorithms max-flow

— Joshua Grochow
fuente

12

$r$

$n=6$ $m=8$
en el que siete arcos tienen capacidad entera,
$r$
y en el que Ford-Fulkerson puede no terminar.

Esto ha sido probado en el documento

Toshihiko Takahashi:
"La red más simple y pequeña en la que el procedimiento de flujo máximo Ford-Fulkerson puede no
terminar " Journal of Information Processing 24, pp 390-394, 2016.
Enlace: https: //www.jstage.jst.go. jp / article / ipsjjip / 24/2 / 24_390 / _article

— Gamow
fuente

-1

Gracias por la pregunta que no encontré realmente natural, pero sí divertida.

He examinado la parte de Ford-Ferkulson y creo que he encontrado un gráfico que es un contraejemplo y que solo tiene un borde con capacidad irracional α (el gráfico puede funcionar para cualquier α).

Aquí hay un PDF que resume mi intento: https://louis.jachiet.com/tmp/jQwbrkSMLNU_draft.pdf (lo siento, es un poco lacónico por el momento, pero no dude en hacer preguntas)

Obviamente, el Ford-Felkurson nos permite elegir el camino de aumento como deseamos ... No estoy seguro de que esto sea posible para Edmond-Karp.

— Louis
fuente