hopcroft-karp

Crates.iohopcroft-karp
lib.rshopcroft-karp
version0.2.1
sourcesrc
created_at2022-08-31 22:34:40.011928
updated_at2022-09-07 21:55:29.156189
descriptionA minimal implementation of the Hopcrof-Karp bipartite matching algorithm.
homepage
repositoryhttps://github.com/microgravitas/hopcroft-karp
max_upload_size
id656204
size16,341
(microgravitas)

documentation

README

crates.io github

This crate implements the Hopcroft-Karp algorithm to find maximum unweighted matchings in bipartite graph.

Basic usage

The crate provides the function hopcroft_karp::matching (plus a few variants) which takes as input a vector of edges (encoding the bipartite graph) and returns a maximum matching as a vector of edges.

Example usage:

    use hopcroft_karp::matching;

    fn main() {
        let edges = vec![(0,10), (0,11), (0,12), (1,11), (2,12)];
        let res = matching(&edges);
        assert_eq!(res.len(), 3);
    }

matching is generic over the vertex type, the trait bounds are Hash + Copy + Eq. For types where the copy operation is potentially expensive (e.g. strings) the crate provides the function hopcrof_karp::matching_mapped which internally maps the vertices onto integers and mostly avoids copying the type.

use hopcroft_karp::{matching, matching_mapped};

fn main() {
    let edges = vec![("spiderman", "doc octopus"), ("spiderman", "sandman"), ("spiderman", "green goblin"),
                     ("silk", "doc octopus"), ("silk", "green goblin"),  ("daredevil", "sandman")];
    let res = matching(&edges);
    assert_eq!(res.len(), 3);

    // For types where copying is expensive, use this instead
    let res = matching_mapped(&edges);
    assert_eq!(res.len(), 3);
}

Variants

The crate exposes further methods geared towards specific use-cases. If only the size of the matching is needed, hopcroft_karp::matching_size avoids constructing the solution matching. If only a matching above a certain size is needed, hopcroft_karp::bounded_matching returns a result as soon as the matching size lies above the provided bound.

These variants come in all possible combinations, e.g. hopcroft_karp::bounded_matching_mapped_size returns the size of a matching above the provided bound (or a smaller value if the bound is larger than the maximum matching) while internally re-mapping the graph's vertices to avoid expensive copy operations.

Commit count: 16

cargo fmt