Function ADS::dominoToClique

• Defined in File Reductions.h

Function Documentation

inline std::pair<Adjacency, int> ADS::dominoToClique(const std::vector<Tile> &D, int n)

DOMINO LIMITATO to CRICCA: the graph on the m n^2 places of tileVar(), the ones of ( 0 , 0 ) but u_000 isolated, and k.

Pre:

n >= 1 and D is not empty

Post:

an unoriented graph of m n^2 nodes, and k = n^2