Function ADS::lp01

Function Documentation

inline std::optional<std::vector<int>> ADS::lp01(const std::vector<std::vector<long>> &A, const std::vector<long> &b, int n)

a 0/1 vector x with A x <= b, by enumeration, or nothing

Pre:

n >= 0, A has n columns and as many rows as b

Post:

a vector returned is 0/1 and satisfies A x <= b