#include <iostream>
#include <vector>
#include <algorithm>
#include <limits>
using namespace std;
typedef vector<double> VD;
typedef vector<VD> VVD;
typedef vector<int> VI;
const double EPS = 1e-9;
struct Simplex {
int m, n;
VI B, N;
VVD D;
Simplex(const VVD &A, const VD &b, const VD &c) :
m(b.size()), n(c.size()), B(m), N(n + 1), D(m + 2, VD(n + 2)) {
for (int i = 0; i < m; ++i) B[i] = n + i;
for (int j = 0; j < n; ++j) N[j] = j;
N[n] = -1;
for (int i = 0; i < m; ++i) {
for (int j = 0; j < n; ++j) D[i][j] = A[i][j];
D[i][n] = -1;
D[i][n + 1] = b[i];
}
for (int j = 0; j < n; ++j) D[m][j] = -c[j];
D[m + 1][n] = 1;
}
void pivot(int r, int s) {
double inv = 1.0 / D[r][s];
for (int i = 0; i < m + 2; ++i)
if (i != r)
for (int j = 0; j < n + 2; ++j)
if (j != s)
D[i][j] -= D[r][j] * D[i][s] * inv;
for (int j = 0; j < n + 2; ++j)
if (j != s)
D[r][j] *= inv;
for (int i = 0; i < m + 2; ++i)
if (i != r)
D[i][s] *= -inv;
D[r][s] = inv;
swap(B[r], N[s]);
}
bool bland_simplex(int phase) {
int x = phase == 1 ? m + 1 : m;
while (true) {
int s = -1;
for (int j = 0; j <= n; ++j) {
if (N[j] == -1) continue;
if (D[x][j] < -EPS && (s == -1 || N[j] < N[s])) s = j;
}
if (D[x][s] > -EPS) return true;
int r = -1;
for (int i = 0; i < m; ++i) {
if (D[i][s] > EPS && (r == -1 || (D[i][n + 1] / D[i][s] < D[r][n + 1] / D[r][s] ||
(D[i][n + 1] / D[i][s] == D[r][n + 1] / D[r][s] && B[i] < B[r])))) r = i;
}
if (r == -1) return false;
pivot(r, s);
}
}
double solve(VD &x) {
int r = 0;
for (int i = 1; i < m; ++i)
if (D[i][n + 1] < D[r][n + 1]) r = i;
if (D[r][n + 1] < -EPS) {
pivot(r, n);
if (!bland_simplex(1) || D[m + 1][n + 1] < -EPS) return -numeric_limits<double>::infinity();
for (int i = 0; i < m; ++i)
if (B[i] == -1) {
int s = -1;
for (int j = 0; j <= n; ++j)
if (s == -1 || D[i][j] < D[i][s]) s = j;
pivot(i, s);
}
}
if (!bland_simplex(2)) return numeric_limits<double>::infinity();
x = VD(n);
for (int i = 0; i < m; ++i)
if (B[i] < n)
x[B[i]] = D[i][n + 1];
return D[m][n + 1];
}
};
int main() {
// Bài toán với các ràng buộc
VVD A = {{-1, 2}, {1, -1}, {-2, -1}, {1, 0}, {2, 1}, {1, 1}, {1, 2}, {0, 2}};
VD b = {-1, 2, -6, 5, 16, 12, 21, 10};
VD c = {3, 2};
VD x;
Simplex simplex(A, b, c);
double result = simplex.solve(x);
if (result == numeric_limits<double>::infinity())
cout << "Không giới hạn\n";
else if (result == -numeric_limits<double>::infinity())
cout << "Không khả thi\n";
else {
cout << "Giá trị tối ưu: " << result << "\n";
cout << "Giải pháp: ";
for (double v : x) cout << v << " ";
cout << "\n";
}
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8YWxnb3JpdGhtPgojaW5jbHVkZSA8bGltaXRzPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCnR5cGVkZWYgdmVjdG9yPGRvdWJsZT4gVkQ7CnR5cGVkZWYgdmVjdG9yPFZEPiBWVkQ7CnR5cGVkZWYgdmVjdG9yPGludD4gVkk7Cgpjb25zdCBkb3VibGUgRVBTID0gMWUtOTsKCnN0cnVjdCBTaW1wbGV4IHsKICAgIGludCBtLCBuOwogICAgVkkgQiwgTjsKICAgIFZWRCBEOwoKICAgIFNpbXBsZXgoY29uc3QgVlZEICZBLCBjb25zdCBWRCAmYiwgY29uc3QgVkQgJmMpIDoKICAgICAgICBtKGIuc2l6ZSgpKSwgbihjLnNpemUoKSksIEIobSksIE4obiArIDEpLCBEKG0gKyAyLCBWRChuICsgMikpIHsKICAgICAgICAKICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IG07ICsraSkgQltpXSA9IG4gKyBpOwogICAgICAgIGZvciAoaW50IGogPSAwOyBqIDwgbjsgKytqKSBOW2pdID0gajsKICAgICAgICBOW25dID0gLTE7CiAgICAgICAgCiAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCBtOyArK2kpIHsKICAgICAgICAgICAgZm9yIChpbnQgaiA9IDA7IGogPCBuOyArK2opIERbaV1bal0gPSBBW2ldW2pdOwogICAgICAgICAgICBEW2ldW25dID0gLTE7CiAgICAgICAgICAgIERbaV1bbiArIDFdID0gYltpXTsKICAgICAgICB9CiAgICAgICAgCiAgICAgICAgZm9yIChpbnQgaiA9IDA7IGogPCBuOyArK2opIERbbV1bal0gPSAtY1tqXTsKICAgICAgICBEW20gKyAxXVtuXSA9IDE7CiAgICB9CgogICAgdm9pZCBwaXZvdChpbnQgciwgaW50IHMpIHsKICAgICAgICBkb3VibGUgaW52ID0gMS4wIC8gRFtyXVtzXTsKICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IG0gKyAyOyArK2kpCiAgICAgICAgICAgIGlmIChpICE9IHIpCiAgICAgICAgICAgICAgICBmb3IgKGludCBqID0gMDsgaiA8IG4gKyAyOyArK2opCiAgICAgICAgICAgICAgICAgICAgaWYgKGogIT0gcykKICAgICAgICAgICAgICAgICAgICAgICAgRFtpXVtqXSAtPSBEW3JdW2pdICogRFtpXVtzXSAqIGludjsKICAgICAgICBmb3IgKGludCBqID0gMDsgaiA8IG4gKyAyOyArK2opCiAgICAgICAgICAgIGlmIChqICE9IHMpCiAgICAgICAgICAgICAgICBEW3JdW2pdICo9IGludjsKICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IG0gKyAyOyArK2kpCiAgICAgICAgICAgIGlmIChpICE9IHIpCiAgICAgICAgICAgICAgICBEW2ldW3NdICo9IC1pbnY7CiAgICAgICAgRFtyXVtzXSA9IGludjsKICAgICAgICBzd2FwKEJbcl0sIE5bc10pOwogICAgfQoKICAgIGJvb2wgYmxhbmRfc2ltcGxleChpbnQgcGhhc2UpIHsKICAgICAgICBpbnQgeCA9IHBoYXNlID09IDEgPyBtICsgMSA6IG07CiAgICAgICAgd2hpbGUgKHRydWUpIHsKICAgICAgICAgICAgaW50IHMgPSAtMTsKICAgICAgICAgICAgZm9yIChpbnQgaiA9IDA7IGogPD0gbjsgKytqKSB7CiAgICAgICAgICAgICAgICBpZiAoTltqXSA9PSAtMSkgY29udGludWU7CiAgICAgICAgICAgICAgICBpZiAoRFt4XVtqXSA8IC1FUFMgJiYgKHMgPT0gLTEgfHwgTltqXSA8IE5bc10pKSBzID0gajsKICAgICAgICAgICAgfQogICAgICAgICAgICBpZiAoRFt4XVtzXSA+IC1FUFMpIHJldHVybiB0cnVlOwogICAgICAgICAgICBpbnQgciA9IC0xOwogICAgICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IG07ICsraSkgewogICAgICAgICAgICAgICAgaWYgKERbaV1bc10gPiBFUFMgJiYgKHIgPT0gLTEgfHwgKERbaV1bbiArIDFdIC8gRFtpXVtzXSA8IERbcl1bbiArIDFdIC8gRFtyXVtzXSB8fAogICAgICAgICAgICAgICAgICAgIChEW2ldW24gKyAxXSAvIERbaV1bc10gPT0gRFtyXVtuICsgMV0gLyBEW3JdW3NdICYmIEJbaV0gPCBCW3JdKSkpKSByID0gaTsKICAgICAgICAgICAgfQogICAgICAgICAgICBpZiAociA9PSAtMSkgcmV0dXJuIGZhbHNlOwogICAgICAgICAgICBwaXZvdChyLCBzKTsKICAgICAgICB9CiAgICB9CgogICAgZG91YmxlIHNvbHZlKFZEICZ4KSB7CiAgICAgICAgaW50IHIgPSAwOwogICAgICAgIGZvciAoaW50IGkgPSAxOyBpIDwgbTsgKytpKQogICAgICAgICAgICBpZiAoRFtpXVtuICsgMV0gPCBEW3JdW24gKyAxXSkgciA9IGk7CiAgICAgICAgaWYgKERbcl1bbiArIDFdIDwgLUVQUykgewogICAgICAgICAgICBwaXZvdChyLCBuKTsKICAgICAgICAgICAgaWYgKCFibGFuZF9zaW1wbGV4KDEpIHx8IERbbSArIDFdW24gKyAxXSA8IC1FUFMpIHJldHVybiAtbnVtZXJpY19saW1pdHM8ZG91YmxlPjo6aW5maW5pdHkoKTsKICAgICAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCBtOyArK2kpCiAgICAgICAgICAgICAgICBpZiAoQltpXSA9PSAtMSkgewogICAgICAgICAgICAgICAgICAgIGludCBzID0gLTE7CiAgICAgICAgICAgICAgICAgICAgZm9yIChpbnQgaiA9IDA7IGogPD0gbjsgKytqKQogICAgICAgICAgICAgICAgICAgICAgICBpZiAocyA9PSAtMSB8fCBEW2ldW2pdIDwgRFtpXVtzXSkgcyA9IGo7CiAgICAgICAgICAgICAgICAgICAgcGl2b3QoaSwgcyk7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgfQogICAgICAgIGlmICghYmxhbmRfc2ltcGxleCgyKSkgcmV0dXJuIG51bWVyaWNfbGltaXRzPGRvdWJsZT46OmluZmluaXR5KCk7CiAgICAgICAgeCA9IFZEKG4pOwogICAgICAgIGZvciAoaW50IGkgPSAwOyBpIDwgbTsgKytpKQogICAgICAgICAgICBpZiAoQltpXSA8IG4pCiAgICAgICAgICAgICAgICB4W0JbaV1dID0gRFtpXVtuICsgMV07CiAgICAgICAgcmV0dXJuIERbbV1bbiArIDFdOwogICAgfQp9OwoKaW50IG1haW4oKSB7CiAgICAvLyBCw6BpIHRvw6FuIHbhu5tpIGPDoWMgcsOgbmcgYnXhu5ljCiAgICBWVkQgQSA9IHt7LTEsIDJ9LCB7MSwgLTF9LCB7LTIsIC0xfSwgezEsIDB9LCB7MiwgMX0sIHsxLCAxfSwgezEsIDJ9LCB7MCwgMn19OwogICAgVkQgYiA9IHstMSwgMiwgLTYsIDUsIDE2LCAxMiwgMjEsIDEwfTsKICAgIFZEIGMgPSB7MywgMn07CiAgICBWRCB4OwoKICAgIFNpbXBsZXggc2ltcGxleChBLCBiLCBjKTsKICAgIGRvdWJsZSByZXN1bHQgPSBzaW1wbGV4LnNvbHZlKHgpOwoKICAgIGlmIChyZXN1bHQgPT0gbnVtZXJpY19saW1pdHM8ZG91YmxlPjo6aW5maW5pdHkoKSkKICAgICAgICBjb3V0IDw8ICJLaMO0bmcgZ2nhu5tpIGjhuqFuXG4iOwogICAgZWxzZSBpZiAocmVzdWx0ID09IC1udW1lcmljX2xpbWl0czxkb3VibGU+OjppbmZpbml0eSgpKQogICAgICAgIGNvdXQgPDwgIktow7RuZyBraOG6oyB0aGlcbiI7CiAgICBlbHNlIHsKICAgICAgICBjb3V0IDw8ICJHacOhIHRy4buLIHThu5FpIMawdTogIiA8PCByZXN1bHQgPDwgIlxuIjsKICAgICAgICBjb3V0IDw8ICJHaeG6o2kgcGjDoXA6ICI7CiAgICAgICAgZm9yIChkb3VibGUgdiA6IHgpIGNvdXQgPDwgdiA8PCAiICI7CiAgICAgICAgY291dCA8PCAiXG4iOwogICAgfQoKICAgIHJldHVybiAwOwp9Cg==