Algorithms, operations, generators, and representations for directed graphs

Installation

Add the following to your Cargo.toml:

[dependencies]
graaf = "0.42.1"

To use stable Rust, turn off the adjacency_matrix feature:

[dependencies]
graaf = { version = "0.42.1", default-features = false }

Overview

Operations

Build and query graphs made with standard collections, or implement the operation traits for your types.

use {
    graaf::{
        gen::EmptyConst,
        op::{
            AddEdge,
            Indegree,
            Outdegree,
            RemoveEdge,
        },
    },
    std::collections::BTreeSet,
};

let mut graph = <[BTreeSet<usize>; 3]>::empty();

// 1 ← 0 → 2

graph.add_edge(0, 1);
graph.add_edge(0, 2);

assert_eq!(graph.outdegree(0), 2);
assert_eq!(graph.indegree(1), 1);
assert_eq!(graph.indegree(2), 1);

graph.remove_edge(0, 1);

assert_eq!(graph.outdegree(0), 1);
assert_eq!(graph.indegree(1), 0);
assert_eq!(graph.indegree(2), 1);

Algorithms

Search, traverse, and analyze graphs built from the types that implement the operation traits.

use graaf::algo::bfs::single_pair_shortest_path as spsp;

// 0  ←  1
// ↑     ↑
// 3  →  2

let graph = [Vec::new(), vec![0], vec![1], vec![0, 2]];

assert_eq!(spsp(&graph, 3, 0), Some(vec![3, 0]));
assert_eq!(spsp(&graph, 3, 1), Some(vec![3, 2, 1]));
assert_eq!(spsp(&graph, 3, 2), Some(vec![3, 2]));
assert_eq!(spsp(&graph, 0, 3), None);

Representations

An adjacency matrix representation is available with the adjacency_matrix feature.

use graaf::{
    op::{
        AddEdge,
        IsSimple,
    },
    repr::AdjacencyMatrix,
};

let mut graph = AdjacencyMatrix::<3>::new();

graph.add_edge(0, 1);

assert!(graph.is_simple());

graph.add_edge(1, 1);

assert!(!graph.is_simple());

Generators

Generate parameterized graphs.

use graaf::gen::Cycle;

let graph = Vec::<Vec<usize>>::cycle(5);

assert_eq!(graph, vec![vec![1], vec![2], vec![3], vec![4], vec![0]]);

Changelog

See CHANGELOG.md.

License

Licensed under either the Apache License, Version 2.0 or the MIT license at your option.