Por que a complexidade do cancelamento de ciclo negativo

Queremos resolver um problema de fluxo de custo mínimo com um algoritmo genérico de cancelamento de ciclo negativo. Ou seja, começamos com um fluxo válido aleatório e, em seguida, não selecionamos nenhum ciclo "bom" negativo, como ciclos mínimos de custo médio, mas usamos a Bellman-Ford para descobrir um ciclo mínimo e aumentar ao longo do ciclo descoberto. Seja o número de nós no gráfico, o número de arestas, a capacidade máxima de uma aresta no gráfico e os custos máximos de uma aresta no gráfico. Então, meus materiais de aprendizado afirmam: $V$ $A$ $U$ $W$

Os custos máximos no início não podem exceder $AUW$
O aumento ao longo de um ciclo negativo reduz os custos em pelo menos uma unidade
O limite inferior para os custos mínimos é 0, porque não permitimos custos negativos
Cada ciclo negativo pode ser encontrado em $O(VA)$

E eles concluem que a complexidade do algoritmo é . Entendo a lógica por trás de cada uma das reivindicações, mas acho que a complexidade é diferente. Especificamente, o número máximo de aumentos é dada por uma unidade de fluxo por aumento, tendo os custos de a zero, o que nos dá um máximo de aumentos. Precisamos descobrir um ciclo negativo para cada um, para multiplicarmos o número máximo de aumentos pelo tempo necessário para descobrir um ciclo ( ) e chegar a $O(V^2AUW)$ $AUW$ $AUW$ $VA$ $O(A^2VUW)$

Isso poderia ser um erro nos materiais de aprendizagem (este é um texto fornecido pelo professor, não as anotações de um aluno do curso) ou minha lógica está errada?

— rumtscho
fonte

-1

$O( A^2 \cdot VUW)$

— user9099
fonte

Uma pequena explicação seria legal.

— jmite