Función de flujo de red dividida

Deje
un gráfico GRAMO = ( V , mi )
una red norte = ( GRAMO , s , t , C )
y una función de flujo integral F

El valor de f v ( F ) = v 1 + v 2 + . . . + v pag , dónde v i es un flujo que sale de la fuente. Debo probar que hay pag funciones integrales de flujo tal que v ( F i ) = v i y F = F 1 + F 2 + . . . + F pag .
Así que tengo que dividir el flujo inicial en pag flujos para que la suma de los nuevos flujos sea el flujo original y v ( F i ) = v i .

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?

Respuestas (1)

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 v i = 1 para cada i . Esto nos permitirá dividir el flujo F en v ( F ) fluye con valor 1 cada. Luego, dado un valor natural arbitrario v i está con v i = v ( F ) , dividimos estos v ( F ) sobre pag grupos formados por v 1 , , v pag flujos respectivamente, y luego para cada i fusionamos flujos de i -ésimo grupo en un flujo con valor v i .

Probamos la posibilidad de dividir un flujo F en v ( F ) flujos de valor 1 por inducción con respecto a v ( F ) > 0 . Si v ( F ) = 1 entonces ponemos F 1 = F . Supongamos que ya hemos probado la afirmación de v ( F ) = pag . Dejar F sea ​​cualquier integral factible s t que fluya norte con v ( F ) = pag + 1 Empezar desde s y seguir la corriente F (es decir, a lo largo de los bordes mi tal que F ( mi ) > 0 ), restando 1 de F en cada borde pasado. Dado que tanto el gráfico GRAMO y el numero v ( F ) son finitos, solo podemos restar un número finito de 1 's, por lo que nos quedaremos en algún paso. Desde afluencia neta ( F , v ) = salida neta ( F , v ) para todos los vértices v en GRAMO excepto s y t , y afluencia neta ( F , s ) = 0 , podemos quedarnos solo en el vértice t . Entonces tomamos un camino desde s a t . Este camino dotado de los valores que le restamos, genera naturalmente un flujo integral F de s a a t con v ( F ) = 1 . Poniendo F = F F obtenemos una integral factible s t que fluya norte con v ( F ) = pag , que se puede dividir en pag flujos requeridos por la hipótesis de inducción.