CPSolver.Algorithms.Kuhn2 (Fixpoint v0.10.5)

Kuhn's algorithm to find maximum matching in bipartite graph. https://cp-algorithms.com/graph/kuhn_maximum_bipartite_matching.html

Summary

Functions

Given the bipartite graph, a list of vertices int the left partition, and (optional) partial matching %{right_side_vertex => left_side_vertex}, find maximum matching

Functions

initial_matching(graph, left_partition, fixed_matching \\ %{})

run(graph, left_partition, fixed_matching \\ %{}, required_matching_size \\ nil)

Given the bipartite graph, a list of vertices int the left partition, and (optional) partial matching %{right_side_vertex => left_side_vertex}, find maximum matching