Zapis dowodowy metody

Ford-Fulkerson Algorithm

The Ford-Fulkerson Algorithm, developed by Lester R. Ford and Delbert R. Fulkerson in 1956, is a foundational method for computing the maximum flow in a flow network. It finds the maximum amount of flow that can be sent from a source to a sink through a directed graph with capacity constraints on edges.

Sources recorded, not reviewed

Zapis źródłowy

Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.

Ford-Fulkerson Algorithm for Maximum Flow

Taksonomiczny zapis metody · ml-model / operations-research

Ford, L. R., & Fulkerson, D. R. (1956). Maximal flow through a network. Canadian Journal of Mathematics, 8(3), 399-404. · DOI 10.4153/CJM-1956-045-5
Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. (2009). Introduction to Algorithms (3rd ed.). MIT Press. · ISBN 978-0-262-03384-8

Otwórz pełną metodę

Wyselekcjonowane twierdzenia

Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.

Brak wyselekcjonowanych twierdzeń

Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.

Powiązane metody

Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.

Taxonomic bucketBellman-Ford Algorithmmachine-suggested · Relational suggestion, not evidence.Taxonomic bucketDijkstra Algorithmmachine-suggested · Relational suggestion, not evidence.Taxonomic bucketPush-Relabel Algorithmmachine-suggested · Relational suggestion, not evidence.Same method familySimplex Methodmachine-suggested · Relational suggestion, not evidence.