ilp_exhaustive.cpp

Go to the documentation of this file.

 
#include <iostream>
 
#include "qbpp.hpp"
#include "qbpp_exhaustive_solver.hpp"
 
int main() {
  // Define variables
  auto x1 = 0 <= qbpp::var_int("x1") <= 5;
  auto x2 = 0 <= qbpp::var_int("x2") <= 4;
  auto x3 = 0 <= qbpp::var_int("x3") <= 3;
  auto x4 = 0 <= qbpp::var_int("x4") <= 6;
 
  // Define the objective function
  auto obj = 6 * x1 + 4 * x2 + 3 * x3 + 5 * x4;
 
  // Define the constraints
  auto c1 = x1 + 2 * x2 + 3 * x3 + 4 * x4;
  auto c2 = 3 * x1 + x2 + 2 * x3 + x4;
 
  // Define QUBO expression
  auto f = -obj + 100 * ((0 <= c1 <= 15) + (0 <= c2 <= 10));
 
  // Simplify the QUBO expression
  f.simplify_as_binary();
 
  // Define the solver
  auto solver = qbpp::exhaustive_solver::ExhaustiveSolver(f);
 
  // Finds all optimal solutions
  auto sol_optimal = solver.search_optimal_solutions();
 
  // Print the solution
  std::cout << sol_optimal;
 
  // Gets the first optimal solution
  auto sol = sol_optimal.get_sol();
 
  // Print the first optimal solution
  std::cout << "x1 = " << eval(x1, sol) << std::endl;
  std::cout << "x2 = " << eval(x2, sol) << std::endl;
  std::cout << "x3 = " << eval(x3, sol) << std::endl;
  std::cout << "x4 = " << eval(x4, sol) << std::endl;
  std::cout << "c1 = " << eval(c1, sol) << std::endl;
  std::cout << "c2 = " << eval(c2, sol) << std::endl;
  std::cout << "Objective value = " << eval(obj, sol) << std::endl;
}