Function ADS::dominoToLp01

• Defined in File Reductions.h

Function Documentation

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

DOMINO LIMITATO to PROGRAMMAZIONE LINEARE 0/1: A x <= b on the m n^2 variables of tileVar(), each equation as two inequalities.

Pre:

n >= 1 and D is not empty

Post:

A has m n^2 columns and as many rows as b