partition_exhaustive.cpp

Go to the documentation of this file.

 
#include <boost/program_options.hpp>
 
#include "qbpp.hpp"
#include "qbpp_exhaustive_solver.hpp"
#include "qbpp_misc.hpp"
 
namespace po = boost::program_options;
 
int main(int argc, char **argv) {
  // clang-format off
  po::options_description desc(
      "Solving the random partitioning problem using QUBO++ Exhaustive Solver.");
  desc.add_options()("help,h", "produce help message.")
    ("size,s", po::value<size_t>()->default_value(10), "Set the size of the input set.")
    ("random,r", po::value<int>(), "Set the base seed for the random number generator for deterministic behavior.")
    ("max,m", po::value<qbpp::energy_t>()->default_value(1000), "Set the maximum value of the input set.");
  // clang-format on
 
  po::variables_map vm;
  try {
    po::store(po::parse_command_line(argc, argv, desc), vm);
  } catch (const std::exception &e) {
    std::cout << "Wrong arguments. Please use -h/--help option to see the "
                 "usage.\n";
    return 1;
  }
  po::notify(vm);
 
  if (vm.count("help")) {
    std::cout << desc << std::endl;
    return 0;
  }
 
  // Set the random seed for deterministic behavior if seed is provided.
  if (vm.count("random")) {
    qbpp::misc::RandomGenerator::set_seed(vm["random"].as<uint32_t>());
  }
 
  size_t size = vm["size"].as<size_t>();
  qbpp::energy_t max_val = vm["max"].as<qbpp::energy_t>();
 
  qbpp::Vector<qbpp::energy_t> w;
 
  for (size_t i = 0; i < size; i++) {
    w.emplace_back(qbpp::misc::RandomGenerator::gen(max_val));
  }
 
  std::cout << qbpp::str(w, "w") << std::endl;
 
  auto x = qbpp::var("x", w.size());
  auto f = qbpp::sqr(2 * qbpp::sum(w * x) - qbpp::sum(w)).simplify_as_binary();
 
  // Generates a QUBO++ easy solver object from the QUBO model
  auto solver = qbpp::exhaustive_solver::ExhaustiveSolver(f);
 
  // Enables the default callback
  solver.enable_default_callback();
 
  // Executes the QUBO++ easy solver
  auto sol = solver.search();
 
  // Prints the QUBO solution
  std::cout << "Solution = " << sol << std::endl;
 
  // Prints the sum of the input set and the sum of the elements in the set
  std::cout << "sum0 = " << qbpp::eval(qbpp::sum(w * (1 - x)), sol) << " :";
  for (size_t i = 0; i < size; i++) {
    if (sol.get(x[i]) == 0) {
      std::cout << " " << w[i];
    }
  }
  std::cout << std::endl;
  std::cout << "sum1 = " << qbpp::eval(qbpp::sum(w * x), sol) << " :";
  for (size_t i = 0; i < size; i++) {
    if (sol.get(x[i]) == 1) {
      std::cout << " " << w[i];
    }
  }
  std::cout << std::endl;
}