Experimentations with flag algebras for graphs of maximum degree Δ, when both Δ and n/Δ can be large.
This module contains a small set of helper functions and some examples built on top of a flag algebra library.
You need to install cargo to compile Rust.
sudo apt install cargo
You need to have the csdp command line installed to solve semi-definite optimization problems.
sudo apt install cmake gfortran coinor-csdp
First go to the directory of a copy of the repo.
git clone git@github.com:avangogo/local-flags.git
cd local-flags
You can check that cargo is installed and that you are at the right place with
cargo test
To run one of the examples of the example/ folder, for instance example/strong_complete.rs.
cargo run --release --example strong_complete
The first compilation may be quite long. The first execution can also take time because the library needs to compute lists of graphs and the matrices of some flag operators. These later are stored in files for later computations. Eventually, the bottleneck is the SDP solver.