zshg
constant-time graph connectivity test
zshg is an implementation of a constant-time connectivity test for graphs. It is based on "Property Testing in Bounded Degree Graphs" by Oded Goldreich and Dana Ron, "Algorithmic and Analysis Techniques in Property Testing" by Dana Ron.