Deje
un gráfico
una red
y una función de flujo integral
El valor de f
, dónde
es un flujo que sale de la fuente. Debo probar que hay
funciones integrales de flujo tal que
y
.
Así que tengo que dividir el flujo inicial en
flujos para que la suma de los nuevos flujos sea el flujo original y
.
Seguí esas instrucciones manualmente en algunos ejemplos, pero no puedo encontrar un algoritmo que se ajuste a todos los casos.
¿Alguna idea de cómo debo hacerlo?
No estoy completamente seguro de haber interpretado correctamente todas las nociones, no definidas en la pregunta, pero supongo que la siguiente solución está bien.
Basta probar la pretensión cuando para cada . Esto nos permitirá dividir el flujo en fluye con valor cada. Luego, dado un valor natural arbitrario está con , dividimos estos sobre grupos formados por flujos respectivamente, y luego para cada fusionamos flujos de -ésimo grupo en un flujo con valor .
Probamos la posibilidad de dividir un flujo en flujos de valor por inducción con respecto a . Si entonces ponemos . Supongamos que ya hemos probado la afirmación de . Dejar sea cualquier integral factible que fluya con Empezar desde y seguir la corriente (es decir, a lo largo de los bordes tal que ), restando de en cada borde pasado. Dado que tanto el gráfico y el numero son finitos, solo podemos restar un número finito de 's, por lo que nos quedaremos en algún paso. Desde para todos los vértices en excepto y , y , podemos quedarnos solo en el vértice . Entonces tomamos un camino desde a . Este camino dotado de los valores que le restamos, genera naturalmente un flujo integral de a a con . Poniendo obtenemos una integral factible que fluya con , que se puede dividir en flujos requeridos por la hipótesis de inducción.