1 files changed, 43 insertions, 0 deletions
diff --git a/05-advanced_algorithms_and_complexity/03-np-completness/03-budget_allocation/budget_allocation.cpp b/05-advanced_algorithms_and_complexity/03-np-completness/03-budget_allocation/budget_allocation.cpp
new file mode 100644
index 0000000..d2bfc51
--- /dev/null
+++ b/05-advanced_algorithms_and_complexity/03-np-completness/03-budget_allocation/budget_allocation.cpp
@@ -0,0 +1,43 @@
+#include <ios>
+#include <iostream>
+#include <vector>
+
+using namespace std;
+
+struct ConvertILPToSat {
+    vector< vector<int> > A;
+    vector<int> b;
+
+    ConvertILPToSat(int n, int m) : A(n, vector<int>(m)), b(n)
+    {}
+
+    void printEquisatisfiableSatFormula() {
+        // This solution prints a simple satisfiable formula
+        // and passes about half of the tests.
+        // Change this function to solve the problem.
+        cout << "3 2" << endl;
+        cout << "1 2 0" << endl;
+        cout << "-1 -2 0" << endl;
+        cout << "1 -2 0" << endl;
+    }
+};
+
+int main() {
+    ios::sync_with_stdio(false);
+
+    int n, m;
+    cin >> n >> m;
+    ConvertILPToSat converter(n, m);
+    for (int i = 0; i < n; i++) {
+      for (int j = 0; j < m; j++) {
+        cin >> converter.A[i][j];
+      }
+    }
+    for (int i = 0; i < n; i++) {
+      cin >> converter.b[i];
+    }
+
+    converter.printEquisatisfiableSatFormula();
+
+    return 0;
+}