Function ADS::cliqueCertificate

Function Documentation

inline bool ADS::cliqueCertificate(const Adjacency &G, const Nodes &S, int k)

certificatoCricca(): S, of distinct nodes, has k of them or more, all adjacent

Pre:

G is square