Function ADS::exactCover3

Function Documentation

inline std::optional<Nodes> ADS::exactCover3(const std::vector<std::array<int, 3>> &Y, int m)

enCopertura(): sets of three of { 0 , … , m - 1 } that partition it, by places, the ones that meet those chosen pruned, or nothing

Pre:

each set has three distinct elements of [ 0 , m )

Post:

the sets returned partition [ 0 , m )