Ми хочемо вирішити проблему з мінімальними витратами та потоком за допомогою загального алгоритму скасування негативного циклу. Тобто ми починаємо з випадкового дійсного потоку, і тоді ми не вибираємо жодних «хороших» негативних циклів, таких як цикли мінімальної середньої вартості, але використовуємо Bellman-Ford для виявлення мінімального циклу та збільшення за відкритим циклом. Дозволяє - кількість вузлів у графіку, кількість ребер, максимальна ємність ребра на графіку, і максимальні витрати ребра в графіку. Потім мої навчальні матеріали стверджують:
- Максимальні витрати на початку можуть бути не більше
- Збільшення протягом одного негативного циклу зменшує витрати щонайменше на одну одиницю
- Нижня межа мінімальних витрат дорівнює 0, оскільки ми не допускаємо негативних витрат
- Кожен негативний цикл можна знайти в
І з цього випливає, що алгоритм складний . Я розумію логіку кожного з тверджень, але думаю, що складність різна. Зокрема, максимальна кількість збільшень визначається однією одиницею потоку за збільшення, беручи до уваги витрати до нуля, даючи нам максимум збільшення. Нам потрібно виявити негативний цикл для кожного, тому ми помножимо максимальну кількість розширень на час, необхідний для виявлення циклу () і прибути для алгоритму.
Чи може це бути помилкою в навчальних матеріалах (це текст, наданий професором, а не замітки студента з курсу), чи моя логіка неправильна?