Skip to content

num::structures::debug::verify_handshake_lemma

Defined in header <structures/debug.hpp>

template <class G, std::integral Index = num::idx>
void verify_handshake_lemma(const G &g,
                            std::source_location loc = std::source_location::current());

Verify the handshake lemma \(\sum_u \deg(u) = 2|E|\) for an undirected graph.